Qué necesitas saber antes de
comenzar
Inicio 7 June 2026 18:52
Fin 7 June 2026
Proyecto Numina e IA para la Demostración de Teoremas
Institut des Hautes Etudes Scientifiques (IHES)
6076 Cursos
57 minutes
Actualización opcional disponible
Not Specified
Avanza a tu propio ritmo
Free Video
Actualización opcional disponible
Resumen
Discover Project Numina's open-source AI for mathematics, including NuminaProver for theorem proving, and learn about their AIMO prize-winning work and future developments in mathematical AI.
Materias
Computer Science
