What You Need to Know Before
You Start
Starts 23 July 2026 08:05
Ends 23 July 2026
Project Numina and AI for Theorem Proving
Institut des Hautes Etudes Scientifiques (IHES)
6095 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
