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
course image

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