Carmin.tv

Mathématiques
et Interactions

Merci de nous donner votre avis pour que nous puissions améliorer votre expérience !
Arithmetic and Diophantine Geometry, via Ergodic Theory and o-minimality
4 videos

Arithmetic and Diophantine Geometry, via Ergodic Theory and o-minimality

CEMRACS 2025: Quantum Computing / CEMRACS 2025: Calcul quantique
15 videos

CEMRACS 2025: Quantum Computing / CEMRACS 2025: Calcul quantique

Complex Geometry, Complex Analysis and Dynamics / Géométrie Complexe, Analyse et Dynamique Complexe
5 videos

Complex Geometry, Complex Analysis and Dynamics / Géométrie Complexe, Analyse et Dynamique Complexe

2025 IHES Summer School – Discrete Subgroups of Lie Groups : Dynamics, Actions, Rigidity
36 videos

2025 IHES Summer School – Discrete Subgroups of Lie Groups : Dynamics, Actions, Rigidity

Toutes les collections
CIMPA
CIRM
IHES
IHP
Institut Fourier
LMR
SMF
Tous les instituts
Mathematics for an by Large Language Models – 2025 Edition

Collection Mathematics for an by Large Language Models – 2025 Edition

Organisateur(s) François Charton, Michael Douglas, Amaury Hayat, Yiannis Vlassopoulos
Date(s) 22/05/2025 - 22/05/2025
URL associée https://indico.math.cnrs.fr/event/14253/
00:00:00 / 00:00:00
1 6

Project Numina and AI for Theorem Proving

De Yann Fleureau

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.

Informations sur la vidéo

  • Date de captation 22/05/2025
  • Date de publication 30/05/2025
  • Institut IHES
  • Langue Anglais
  • Audience Chercheurs
  • Format MP4

Domaine(s)

Dernières questions liées sur MathOverflow

Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflow

Poser une question sur MathOverflow




Inscrivez-vous

  • Mettez des vidéos en favori
  • Ajoutez des vidéos à regarder plus tard &
    conservez votre historique de consultation
  • Commentez avec la communauté
    scientifique
  • Recevez des notifications de mise à jour
    de vos sujets favoris
Copyright Carmin.tv 2025
En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies pour améliorer votre expérience. En savoir plus sur notre politique de confidentialité.
Accepter
Donner son avis