What You Need to Know Before
You Start
Starts 6 June 2025 12:14
Ends 6 June 2025
00
days
00
hours
00
minutes
00
seconds
Proyecto Numina e IA para la Demostración de Teoremas
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.
Institut des Hautes Etudes Scientifiques (IHES)
via YouTube
Institut des Hautes Etudes Scientifiques (IHES)
2484 Cursos
57 minutes
Optional upgrade avallable
Not Specified
Progress at your own speed
Free Video
Optional upgrade avallable
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