Lo que necesitas saber antes de
que comiences
Comienza 27 June 2025 23:49
Termina 27 June 2025
Proyecto Numina e IA para la Demostración de Teoremas
Institut des Hautes Etudes Scientifiques (IHES)
2765 Cursos
57 minutes
Actualización opcional disponible
Not Specified
Progreso a tu propio ritmo
Free Video
Actualización opcional disponible
Resumen
Descubre la IA de código abierto para matemáticas de Project Numina, incluyendo NuminaProver para la demostración de teoremas, y aprende sobre su trabajo galardonado con el premio AIMO y los futuros desarrollos en la IA matemática.
Asignaturas
Ciencias de la Computación