Acerca del puesto
Cobra hasta $150/h por formalizar demostraciones matemáticas de vanguardia en Lean: ayuda a ampliar la frontera del razonamiento de la IA. Remoto y flexible....
La plataforma proporciona un resumen breve. Lee todos los requisitos en la oferta original.