alignerr · 과학·기술·공학·수학

수학 형식화 전문가

Alignerr

$50–$150/시간근무 지역: Atlanta원격 근무거주 지역 요건 미기재

이 공고는 자동 번역되었습니다. 지원서는 원래 플랫폼에서 처리하므로 지원 전에 원래 요건을 확인하세요. 원래 페이지 보기

직무 소개

Lean으로 최첨단 수학 증명을 형식화하고 시간당 최대 $150를 받으세요 — AI 추론의 한계를 넓히는 데 기여하세요. 원격, 유연한 근무....

플랫폼은 간단한 요약을 제공합니다. 전체 요건은 원래 공고에서 확인하세요.