Project Numina and AI for Theorem Proving | Vidéo | Carmin.tv

00:00:00 / 00:00:00

Project Numina and AI for Theorem Proving

By Yann Fleureau

Appears in collection : Mathematics for an by Large Language Models – 2025 Edition

Project Numina develops open-source open-dataset AI for mathematics. Numina won the AIMO progress prize in 2024 and released NuminaMath, the largest open dataset of math problem and solutions. Numina released the KiminaProver last month, a SOTA formal math prover. We will present the past, present and future developments of Numina along with our AI for theorem proving approaches.

Information about the video

Date of recording 22/05/2025
Date of publication 30/05/2025
Institution IHES
Language English
Audience Researchers
Format MP4

Domain(s)

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow

Copyright Carmin.tv 2025

Give feedback