Ce que vous devez savoir avant
Vous commencez
Débute 7 June 2026 18:52
Se termine 7 June 2026
Projet Numina et l'IA pour la démonstration de théorèmes
Institut des Hautes Etudes Scientifiques (IHES)
6076 Cours
57 minutes
Amélioration optionnelle disponible
Not Specified
Progressez à votre rythme
Free Video
Amélioration optionnelle disponible
Aperçu
Discover Project Numina's open-source AI for mathematics, including NuminaProver for theorem proving, and learn about their AIMO prize-winning work and future developments in mathematical AI.
Matières
Computer Science
