Ça ne passera probablement pas aux infos
Personne n’en parlera à votre travail
Et ça n’intéressera peut-être pas votre entourage
Mais les mathématiques tel que nous les connaissons viennent de mourir cette nuit
OpenAI a publié 722 preuves à des problèmes de mathématiques ouverts
Certains chiffrent poussent à dire qu’il s’agit de 80% de ce que l’humanité a découvert depuis 3 ans
En moyenne, 3 heures de calcul par résultat
3 heures
Pour des problèmes qui résistaient parfois depuis des décennies
Le métier de mathématicien ne disparaît pas. Car quand les preuves deviennent abondantes, le travail se déplace vers la vérification et la compréhension
Le monde des maths est sous le choc, et divisé. Des médaillés Fields dénoncent la course des labos aux problèmes ouverts, d'autres conseillent OpenAI
C’est le moment le plus fascinant pour les mathématiques, l’histoire retiendra peut-être que les maths modernes ont commencé vers 2024-2026
We’re releasing a broad range of new mathematical results produced by an internal frontier model.
We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results.
github.com/openai/math