Mathématiques, IA et société

L'intelligence artificielle est désormais capable de produire des démonstrations mathématiques complexes, parfois sur des problèmes étudiés depuis des années par les chercheurs. Mais si démontrer devient de plus en plus accessible, qu'est-ce qui fait encore la valeur du travail mathématique ? Dans ce podcast de Tioh Academy, je reviens sur les récentes avancées de l'IA en mathématiques, les annonces d'OpenAI, les travaux de formalisation avec Lean et les réflexions de Terence Tao autour de « Math 2.0 ». Je partage également mon point de vue sur les défis qui attendent la recherche scientifique : vérifier, comprendre, interpréter et évaluer les résultats dans un contexte où leur production s'accélère considérablement. 📚 Ressources • OpenAI — Sharing AI progress in mathematics (2026) https://openai.com/index/sharing-ai-progress-in-mathematics/ • Terence Tao — Math 2.0 (2026) https://terrytao.wordpress.com/2026/10/10/math-2-0/ • Anthropic — Formalizing Fermat's Last Theorem (2026) https://www.anthropic.com/research/formalizing-fermats-last-theorem • Google DeepMind — Olympiades internationales de mathématiques (2025) https://deepmind.google/blog/advanced-version-of-gemini-with-deep-think-officially-achieves-gold-medal-standard-at-the-international-mathematical-olympiad/ 🎙️ Dr Clotilde Djuikem Mathématicienne, chercheuse en mathématiques appliquées et fondatrice de Tioh Academy. ▶️ YouTube : https://www.youtube.com/@tiohacademy #TiohAcademy #Mathématiques #IntelligenceArtificielle #RechercheScientifique

🎙️ L’IA va-t-elle remplacer les mathématiciens ? Pourquoi ce réveil tardif ? Les progrès récents de l’intelligence artificielle suscitent de nombreuses inquiétudes dans la communauté mathématique. Dans cet épisode, je partage mon regard de mathématicienne et de chercheuse sur les réactions de grands mathématiciens comme Cédric Villani, Terence Tao et Hugo Duminil-Copin. Pourquoi cette prise de conscience semble-t-elle si tardive ? La perception élitiste des mathématiques a-t-elle contribué à sous-estimer les capacités de l’IA ? Et surtout, quelles conséquences pour les étudiants, les doctorants et les futurs chercheurs ? Au-delà du remplacement des mathématiciens, je m'interroge sur l'avenir de la recherche et sur la nécessité de repenser notre manière d'enseigner les mathématiques. 📚 Ressources pour approfondir : Cédric Villani — Les mathématiciens ont été « naïfs » face à l'IA (Public Sénat, 2026) : https://www.publicsenat.fr/actualites/politique/ia-les-mathematiciens-ont-ete-naifs-regrette-aujourdhui-cedric-villani Hugo Duminil-Copin — Un grave défaut d'alignement de l'IA en mathématiques (Société mathématique de France, 2026) : https://smf.emath.fr/index.php/node/3700535 Terence Tao — Can maths survive AI? (Nature, 2026) : https://www.nature.com/articles/d41586-026-03389-1 🎓 À propos de moi Je suis Dr Clotilde Djuikem, mathématicienne, chercheuse en mathématiques appliquées et fondatrice de Tioh Academy. ▶️ Ma chaîne YouTube Tioh Academy : https://www.youtube.com/@tiohacademy N'hésitez pas à partager votre avis et à vous abonner pour suivre les prochains épisodes. #TiohAcademy #Mathématiques #IntelligenceArtificielle