Le lancement massif de mathématiques d'OpenAI provoque la crainte d'une crise de carrière chez les mathématiciens universitaires

Le soir du 6 octobre 2026, OpenAI a ouvert un référentiel public contenant 722 manuscrits mathématiques, regroupés en 372 familles de problèmes, produits par un modèle interne non publié, selon le média technologique Unite.AI. L'entreprise a déclaré qu'elle avait posé au système environ 4 000 problèmes ouverts au total et a publié uniquement le sous-ensemble qu'elle a jugé digne d'être publié, couvrant l'algèbre, la théorie des nombres, la topologie, l'informatique théorique et la logique mathématique.

Ce qu'OpenAI a lancé

Unite.AI a rapporté que l'entraînement du modèle interne a commencé le 28 août 2026, avec l'exécution d'évaluation lancée le 1er septembre. Le modèle aurait produit une preuve formalisée dans Lean abordant la question de la singularité de Navier-Stokes — l'un des sept problèmes du Prix du Millénaire de l'Institut Clay de Mathématiques — vers le 5 septembre, OpenAI annonçant le résultat publiquement le 8 septembre. L'entreprise a déclaré qu'elle ne chercherait pas le prix associé d'1 million de dollars. Fortune a rapporté qu'OpenAI a également revendiqué des progrès partiels sur trois autres problèmes du Prix du Millénaire dans le lot du 6 octobre sans les résoudre complètement.

Chaque manuscrit ne s'accompagnait pas d'une vérification vérifiée par machine. Unite.AI a noté que de nombreux, mais pas tous, les articles incluaient des formalisations dans l'assistant de preuve Lean, qui vérifie automatiquement chaque étape logique; les résultats non formalisés comportent un risque plus élevé d'erreurs cachées. Fortune a rapporté que d'ici le 8 octobre, OpenAI avait déjà retiré au moins trois des solutions publiées après la découverte d'erreurs.

Un médaillé Fields dit qu'il a pleuré

Le lancement a touché certains chercheurs personnellement. L'outlet français SenePlus a rapporté que Hugo Duminil-Copin, qui a remporté la Médaille Fields en 2022 pour ses travaux sur les transitions de phase en physique statistique, a découvert que 16 de ses propres questions de recherche ouvertes figuraient parmi les problèmes qu'OpenAI prétendait avoir abordés, déclarant que l'entreprise avait effectivement mis fin à cette ligne de recherche. Il a déclaré qu'il avait pleuré pendant la nuit du mardi 6 octobre au 7 octobre, au point de réveiller sa fille.

Selon SenePlus, Duminil-Copin a soutenu lors d'une vidéoconférence organisée par la Société Mathématique Française le 8 octobre que l'objectif d'un chercheur n'est pas seulement de prouver des théorèmes, mais de produire une compréhension pour les autres humains. Il a déclaré qu'il s'inquiétait surtout des mathématiciens en début de carrière, dont il craignait qu'ils ne soient les plus affectés, car la culture informelle de circulation des idées et des résultats partiels entre collègues s'effondre si les mathématiciens commencent à retenir leurs travaux sous la pression concurrentielle.

Les mathématiciens se rebellent

Le lancement a déclenché une déclaration ouverte de l'Association pour la Mathématique Humaine (AHM), un groupe dont le Groupe de travail des communications l'a publiée comme une contribution d'invité sur le blog du mathématicien Terence Tao le 7 octobre. La déclaration indiquait que les mathématiciens n'avaient pas demandé ce corpus de travaux et qu'OpenAI avait ignoré les conseils antérieurs du Groupe consultatif sur les mathématiques et l'intelligence artificielle, un organe indépendant qui conseille sur la façon dont les entreprises d'IA doivent tester et publier des affirmations mathématiques, selon la déclaration de l'AHM. La déclaration décrivait la publication de plus de 700 fichiers à la fois comme reflétant l'ampleur des ressources d'OpenAI plutôt qu'un examen académique minutieux.

Fortune a rapporté que Terence Tao, écrivant sur Mastodon, a déclaré que l'épisode marque la fin de ce qu'il a appelé Math 1.0, arguant que les problèmes sont de plus en plus résolus par des utilisateurs d'IA n'ayant aucun intérêt dans le domaine au sens large lui-même et que la discipline doit accorder plus de valeur à l'exposition et à la construction de communauté plutôt qu'à la seule résolution de problèmes. Le mathématicien de l'Université de New York Tristan Buckmaster, qui avait précédemment exprimé des préoccupations concernant le travail sur Navier-Stokes, a déclaré au New York Times, cité par Fortune, qu'il soupçonnait que certains des résultats publiés étendaient les travaux antérieurs d'autres mathématiciens à la fin sans crédit approprié.

Le mathématicien de l'Université Columbia Peter Woit, écrivant sur son blog Not Even Wrong, a décrit le lancement comme mal organisé et a déclaré qu'OpenAI avait ignoré les recommandations du groupe consultatif avant de rejeter la responsabilité du tri des résultats sur la communauté mathématique elle-même. Woit a identifié le système derrière les articles comme un modèle auquel il a fait référence en tant qu' 'Astra'. Les commentateurs de son article ont déclaré que bon nombre des preuves générées par l'IA étaient techniquement denses mais offraient peu d'intuition mathématique ou une nouvelle compréhension théorique, même lorsqu'elles étaient correctes.

Ce n'est pas un nouveau combat

La friction entre OpenAI et les mathématiciens est antérieure au lancement d'octobre. TechCrunch a rapporté qu'en octobre 2025, le vice-président d'OpenAI Kevin Weil a publié — puis supprimé — une affirmation selon laquelle GPT-5 avait trouvé des solutions à 10 problèmes d'Erdős auparavant irrésolus et avait progressé sur 11 autres. Thomas Bloom, qui maintient la base de données publique des Problèmes d'Erdős, a déclaré que le cadrage était hautement trompeur, expliquant que les problèmes marqués comme « ouverts » sur son site signifiaient simplement qu'il n'était pas conscient d'une solution publiée, pas qu'aucune n'existait; il a dit que GPT-5 avait localisé des références existantes qu'il avait manquées. Le chercheur d'OpenAI Sebastien Bubeck a ensuite reconnu que le modèle avait simplement localisé les solutions existantes dans la littérature publiée plutôt que d'en découvrir de nouvelles, bien qu'il ait déclaré que cela avait toujours de la valeur.

Les partisans disent que le domaine peut s'adapter

Pas tous les mathématiciens ont traité le lancement comme une crise. Fortune a cité le mathématicien de l'Université de Toronto Dan Litt comme disant qu'il considérait le développement positif dans l'ensemble pour les mathématiques, tout en avertissant que la société doit continuer à financer les mathématiciens humains pour que le domaine ne perde pas le soutien institutionnel en conséquence. Litt a également noté qu'OpenAI n'emploie pas assez de mathématiciens pour rédiger tous ses résultats sous forme d'articles conventionnels, ce qui, a-t-il dit, aidait à expliquer, sans excuser, l'ampleur et la vitesse du lancement.

• 722 manuscrits générés par l'IA sur 372 familles de problèmes ont été publiés le 6 octobre 2026 (Unite.AI).
• OpenAI a testé le modèle sur environ 4 000 problèmes ouverts avant de publier le sous-ensemble sélectionné (Unite.AI).
• Au moins trois résultats publiés ont été retirés avant le 8 octobre après la découverte d'erreurs (Fortune).
• Le médaillé Fields Hugo Duminil-Copin a déclaré que 16 de ses propres questions ouvertes figuraient parmi les problèmes abordés (SenePlus).
• L'Association pour la Mathématique Humaine a exhorté les mathématiciens à cesser de collaborer avec OpenAI (Blog de Terence Tao).