Ce que vous devez savoir avant
de commencer
Débute 27 June 2025 18:14
Se termine 27 June 2025
Projet Numina et l'IA pour la démonstration de théorèmes
Institut des Hautes Etudes Scientifiques (IHES)
2765 Cours
57 minutes
Mise à niveau optionnelle disponible
Not Specified
Progressez à votre rythme
Free Video
Mise à niveau optionnelle disponible
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
