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