What You Need to Know Before
You Start
Starts 5 June 2025 01:32
Ends 5 June 2025
00
days
00
hours
00
minutes
00
seconds
Project Numina and AI for Theorem Proving
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.
Institut des Hautes Etudes Scientifiques (IHES)
via YouTube
Institut des Hautes Etudes Scientifiques (IHES)
2458 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