Ce que vous devez savoir avant
Vous commencez

Débute 7 June 2026 18:52

Se termine 7 June 2026

00 Jours
00 Heures
00 Minutes
00 Secondes
course image

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)

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