What You Need to Know Before
You Start
Starts 7 June 2026 18:52
Ends 7 June 2026
Project Numina and AI for Theorem Proving
Institut des Hautes Etudes Scientifiques (IHES)
6076 Courses
57 minutes
Optional upgrade avallable
Not Specified
Progress at your own speed
Free Video
Optional upgrade avallable
Overview
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.
Subjects
Computer Science
