Pure Mathematics Specialist – Freelance AI Trainer Project

Especialista técnico en matemáticas puras con Lean 4 para entrenar modelos de IA, enfocándose en construcción y verificación de pruebas y en mejorar la razonamiento de modelos a gran escala.

• Construir y evaluar pruebas complejas.
• Justificar el razonamiento para garantizar corrección y rigor.
• Traducir material a sintaxis .lean y colaborar en mejoras de prompts y marcos de evaluación.

• Doctorado en matemáticas puras o postdoctorado en matemáticas
• Dominio de Lean 4 y experiencia como asistente de pruebas
• Conocimientos en probabilidad, teoría de medida, análisis y álgebra; habilidad de razonamiento metacognitivo