What You Need to Know Before
You Start

Starts 5 June 2025 07:38

Ends 5 June 2025

00 days
00 hours
00 minutes
00 seconds
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)

2463 Cours


57 minutes

Optional upgrade avallable

Not Specified

Progress at your own speed

Free Video

Optional upgrade avallable

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