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

Merci à NordVPN pour le partenariat sur cette vidéo. Retrouvez l'offre sponsorisée ici : https://nordvpn.com/monsieurphi Sommaire 0:00 - Intro 1:44 - Sponso NordVPN 3:42 - Les problèmes d'Erdős 4:30 - Octobre-novembre 2025 : des débuts modestes (this is embarassing) 7:15 - Janvier 2026 : premières preuves originales 10:57 - Avril 2026 : des preuves par dizaines 13:40 - 16 avril 2026 : le top 10 des problèmes d'Erdős par Thomas Bloom 14:58 - 20 mai 2026 : un de ces problèmes a été résolu par un modèle d'OpenAI 16:49 - Un peu de recul sur la trajectoire suivie ces derniers mois et années 18:10 - La conjecture d'Erdős sur les distances unitaires 21:53 - La réfutation du modèle d'OpenAI (et pourquoi elle échappait aux humains) 25:05 - Ce qu'OpenAI ne dit pas quant aux autres tentatives 28:48 - Un peu plus sur la CoT du modèle 30:19 - La perplexité prudente de Tim Gowers 33:45 - Et après ? Quel futur pour les mathématiques (et le reste) ? 38:28 - Outro ___________________________ La principale source de financement de la chaîne est le financement participatif. Merci pour tous vos dons ! Soutenez la chaîne sur Patreon ! 💸 PATREON :   / monsieurphi   💸 TIPEEE : https://fr.tipeee.com/monsieurphi Ou directement via PayPal : https://www.paypal.com/paypalme/monsi... 📗 "La parole aux machines : Philosophie des grands modèles de langage" : https://www.grasset.fr/livre/la-parol... 📘​ "Curiosités philosophiques, de Platon à Russell" : https://www.seuil.com/ouvrage/curiosi... 🎧 La version audio de "Curiosités philosophiques" (lu par mes propres soins) est disponible sur Audible : https://www.audible.fr/pd/Curiosites-... Mes réseaux sociaux (par ordre décroissant d'activité) : 💬 Discord :   / discord   ❌ X/Twitter :   / monsieurphi   🌌​ Bluesky : https://bsky.app/profile/monsieurphi.... 🎙️ Twitch:   / monsieurphi   🌷 Instagram :   / monsieur.phi   😱 Tiktok :   / monsieurphi   👴 Facebook :   / graindephilo   Autres liens 🎙️ Chaîne de Replay Twitch :    / @mrphi-replaytwitch730   🍻 Axiome, podcast avec Lê (Science4All) :    / @axiome7403   🎙️ Podcast "Lectures" avec Redek :    / @podcastlectures   On se lit des textes et on en discute, c'est très cool.