À propos du poste
Gagnez jusqu'à 200 $/h en formalisant des mathématiques avancées en Lean 4 — travaillez à la frontière de la vérification formelle et façonnez l'avenir du raisonnement de l'IA....
La plateforme fournit un bref résumé. Consultez l’offre d’origine pour tous les critères.