[listen_playlist]Ce que cette IA vient d'écrire va changer la science

📩 Chaque jour, l'actu IA décryptée et comment vous en servir, dans ma newsletter gratuite The Upgrade. En vous inscrivant cette semaine, vous recevez le guide pour apprendre à utiliser Claude : https://theupgrade.news/guides Le 6 octobre, sans conférence ni keynote, OpenAI met en ligne un dossier de 722 textes de mathématiques, écrits presque tous par une IA interne que personne ne peut utiliser. Dedans : le nombre π, un problème posé par Hilbert en 1900, et l'énigme la plus célèbre des mathématiques, l'hypothèse de Riemann, à un million de dollars. 722 textes, ce n'est pas 722 grands problèmes résolus. Deux jours plus tard, trois textes sont retirés à cause d'un signe moins. Alors, qui va relire tout ça ? Et que devient la science quand les réponses arrivent plus vite qu'on ne peut les comprendre ? Dans cette vidéo : • ce que contient vraiment le dossier d'OpenAI : 722 textes, 372 familles de résultats, 17 domaines, environ 4 000 problèmes soumis à une IA interne ; • cinq textes ouverts : la feuille infinie à colorier, π, l'hypothèse de Riemann, la multiplication de matrices et le 10e problème de Hilbert ; • le signe moins, et l'histoire de l'enveloppe de Dyson, Lieb et Simon : même les meilleurs se trompent ; • Lean, le vérificateur de preuves, et la vérification indépendante du « mur » de Riemann ; • les réactions : Terence Tao, Kevin Buzzard, l'Association for Human Mathematics, les médaillés Fields du groupe consultatif, les étudiants ; • ce qui devient précieux quand la réponse devient moins rare. Chapitres : 00:00 722 textes de maths publiés d'un coup 01:14 Une avalanche jamais vue 02:37 722 textes, ça veut dire quoi ? 04:04 La feuille infinie à colorier 05:30 π, un nombre plus sage que prévu 07:46 Riemann, l'énigme à un million de dollars 09:51 Les calculs au cœur de ChatGPT 11:08 Hilbert : une machine qui démontre ses propres limites 12:23 Et des centaines d'autres résultats 13:40 Trop beau pour être vrai ? L'histoire de l'enveloppe 15:39 Lean, le vérificateur qui ne devine rien 17:13 Le mur de Riemann revérifié de l'extérieur 17:53 Ce que craint Terence Tao 18:47 Les mathématiciens divisés 20:46 Ce qui devient précieux Sources : • OpenAI, l'annonce (06/10) : https://openai.com/index/sharing-ai-progress-in-mathematics/ • Le dossier openai/math (textes, preuves Lean, retraits du 08/10) : https://github.com/openai/math • La vérification indépendante du mur de Riemann : https://github.com/davegoldblatt/openai-zeta-proof-check • Scientific American (06/10) : https://www.scientificamerican.com/article/openai-unleashes-hundreds-more-math-results-upon-a-field-already-in-shock/ • Terence Tao (Mathstodon, 06/10) : https://mathstodon.xyz/@tao/117395267721642920 • Le groupe consultatif AGMAI (06/10) : https://agmai.org/statement-oct6/ • L'Association for Human Mathematics (07/10) : https://www.ahmath.org/statements • Kevin Buzzard (01/10) : https://xenaproject.wordpress.com/2026/10/01/to-grieve-or-not-to-grieve/ • Álvaro Lozano-Robledo, « What should we tell our students? » (08/10) : https://terrytao.wordpress.com/2026/10/08/what-should-we-tell-our-students/ • Hexagon, l'archive de Ben Antieau : https://hexagonmath.org • Google DeepMind, niveau or aux Olympiades (2025) : https://deepmind.google/blog/advanced-version-of-gemini-with-deep-think-officially-achieves-gold-medal-standard-at-the-international-mathematical-olympiad/ #IA #OpenAI #Mathématiques