Was Sie vorher wissen sollten
bevor Sie beginnen
Beginnt 7 June 2026 16:26
Endet 7 June 2026
Project Numina and AI for Theorem Proving
Institut des Hautes Etudes Scientifiques (IHES)
6076 Kurse
57 minutes
Optionales Upgrade verfügbar
Not Specified
Lernen Sie in Ihrem eigenen Tempo
Free Video
Optionales Upgrade verfügbar
Übersicht
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.
Fachgebiete
Computer Science
