Un mathématicien face aux avancées de l'IA : « J'ai vraiment peur »
Original : ‘I’m Really Terrified’: A Mathematician Grapples With AI’s Recent Breakthroughs
Pourquoi c'est important
L'IA redessine les frontières de la recherche mathématique, soulevant des questions sur le rôle humain dans la science fondamentale.
Le mathématicien de Cornell Steven Strogatz exprime sa crainte face aux percées de l'IA en mathématiques. En septembre 2026, OpenAI a résolu un problème vieux de 90 ans avec des dizaines de milliers d'agents, et Anthropic a formalisé 29 500 théorèmes. L'année 2026 marque un tournant pour la discipline.
Steven Strogatz, professeur à Cornell et coauteur du livre Big Math (parution en novembre), confie avoir fondu en larmes en évoquant les récentes avancées de l'IA dans son domaine. « La science est exaltante, mais il y a beaucoup de choses humainement désagréables qui l'accompagnent », dit-il.
En septembre 2026, OpenAI a annoncé avoir résolu un problème mathématique vieux de 90 ans — assorti d'un prix d'un million de dollars — en mobilisant des dizaines de milliers d'agents IA. La solution reste à vérifier indépendamment. L'annonce a été ternie par des accusations du mathématicien Tristan Buckmaster, qui affirme qu'OpenAI a précipité la publication après avoir eu connaissance de ses travaux menés avec le chercheur d'Anthropic Levent Alpöge, et aurait tenté d'influer sur l'attribution des crédits.
Une semaine plus tôt, Anthropic avait annoncé que Claude avait prouvé 29 500 petits théorèmes en formalisant une preuve existante du dernier théorème de Fermat. En août, OpenAI avait déjà signalé des avancées sur dix autres problèmes mathématiques de longue date.
Le coauteur de Strogatz, Alex Townsend, utilise déjà ChatGPT pour accélérer ses recherches — il a récemment résolu un problème d'algèbre linéaire numérique vieux de plusieurs décennies. Mais cette efficacité a un coût émotionnel : « J'ai dédié 15 ans à la recherche mathématique, et au moment où je suis à mon pic, quelque chose peut me surpasser. Je me sens totalement menacé », déclare Townsend. Strogatz prédit que « l'on ne pourra plus faire de mathématiques de pointe sans IA ».