What You Need to Know Before
You Start

Starts 27 June 2025 23:34

Ends 27 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)

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