Pourquoi les mathématiciens s'inquiètent de l'avenir de leur discipline

Thanks to NordVPN for the partnership on this video. Find the sponsored offer here: https://nordvpn.com/monsieurphi Summary 0:00 - Intro 1:44 - NordVPN Sponsorship 3:42 - Erdős's Problems 4:30 - October-November 2025: A Modest Beginning (This Is Embarrassing) 7:15 - January 2026: First Original Proofs 10:57 - April 2026: Dozens of Proofs 13:40 - April 16, 2026: Thomas Bloom's Top 10 Erdős Problems 14:58 - May 20, 2026: One of These Problems Was Solved by an OpenAI Model 16:49 - A Look Back at the Trajectory Followed in Recent Months and Years 18:10 - Erdős's Conjecture on Unit Distances 21:53 - The Refutation of the OpenAI model (and why it eluded humans) 25:05 - What OpenAI doesn't say about other attempts 28:48 - A little more on the model's CoT 30:19 - Tim Gowers' cautious perplexity 33:45 - And then what? What future for mathematics (and everything else)? 38:28 - Outro ___________________________ The channel's main source of funding is crowdfunding. Thank you for all your donations! Support the channel on Patreon! 💸 PATREON:   / monsieurphi   💸 TIPEEE: https://fr.tipeee.com/monsieurphi Or directly via PayPal: https://www.paypal.com/paypalme/monsi... 📗 "La parole aux machines : Philosophie des grands modèles de langage" (Giving Voice to Machines: Philosophy of Major Language Models): https://www.grasset.fr/livre/la-parol... 📘 "Curiosités philosophiques, de Platon à Russell" (Philosophical Curiosities, from Plato to Russell): https://www.seuil.com/ouvrage/curiosi... 🎧 The audiobook version of "Curiosités philosophiques" (read by me) is available on Audible: https://www.audible.fr/pd/Curiosites-... My social media (in descending order of activity): 💬 Discord:   / discord   ❌ X/Twitter:   / monsieurphi   🌌 Bluesky: https://bsky.app/profile/monsieurphi.... 🎙️ Twitch:   / monsieurphi   🌷 Instagram:   / monsieur.phi   😱 TikTok:   / monsieurphi   👴 Facebook:   / graindephilo   Other links 🎙️ Twitch Replay Channel:    / @mrphi-replaytwitch730   🍻 Axiom, podcast with Lê ​​(Science4All):    / @axiome7403   🎙️ "Readings" podcast with Redek:    / @podcastlectures   We read texts to each other and discuss them; it's really cool.