Ce que vous devez savoir avant
de commencer

Débute 27 June 2025 18:14

Se termine 27 June 2025

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)

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