Lo que necesitas saber antes de
que comiences

Comienza 27 June 2025 23:49

Termina 27 June 2025

00 Días
00 Horas
00 Minutos
00 Segundos
course image

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)

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