What You Need to Know Before
You Start
Starts 27 June 2025 23:34
Ends 27 June 2025
Project Numina and AI for Theorem Proving
Institut des Hautes Etudes Scientifiques (IHES)
2765 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