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
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)

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