What You Need to Know Before
You Start
Starts 5 June 2025 07:38
Ends 5 June 2025
00
days
00
hours
00
minutes
00
seconds
Projet Numina et l'IA pour la démonstration de théorèmes
Découvrez l'IA open-source pour les mathématiques de Project Numina, y compris NuminaProver pour la démonstration de théorèmes, et apprenez-en davantage sur leur travail primé AIMO ainsi que sur les développements futurs de l'IA mathématique.
Institut des Hautes Etudes Scientifiques (IHES)
via YouTube
Institut des Hautes Etudes Scientifiques (IHES)
2463 Cours
57 minutes
Optional upgrade avallable
Not Specified
Progress at your own speed
Free Video
Optional upgrade avallable
Aperçu
Découvrez l'IA open-source pour les mathématiques de Project Numina, y compris NuminaProver pour la démonstration de théorèmes, et apprenez-en davantage sur leur travail primé AIMO ainsi que sur les développements futurs de l'IA mathématique.
Sujets
Informatique