Ce que vous devez savoir avant
Vous commencez
Débute 27 June 2026 21:39
Se termine 27 June 2026
Projet Numina et l'IA pour la démonstration de théorèmes
Institut des Hautes Etudes Scientifiques (IHES)
6078 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
