Un modèle d'IA non publié d'OpenAI produit 719 articles de mathématiques et divise les mathématiciens

OpenAI a mis en ligne sur GitHub un ensemble de résultats mathématiques produits par un modèle d'IA qu'elle n'a pas encore rendu public. Publiée début octobre 2026, cette collection comprend des centaines d'articles de recherche que l'entreprise présente comme résolvant des problèmes ouverts de longue date. La publication a provoqué des réactions très partagées chez les mathématiciens.

La collection comptait 722 articles lors de son annonce initiale. Le 7 octobre, trois ont été retirés après la découverte d'une erreur dans une démonstration, ramenant le total à 719. Aucune objection concrète visant les articles restants n'a été rendue publique à ce jour. OpenAI indique que chaque résultat a mobilisé une puissance de calcul environ équivalente à trois heures de raisonnement avec ChatGPT Pro.

La vérification se poursuit

Pour vérifier ces travaux, OpenAI s'appuie sur Lean, un système qui exprime les démonstrations dans un langage formel permettant à un ordinateur de contrôler chaque étape logique. Près de la moitié des articles ont été confirmés de cette manière. Un examen indépendant reste toutefois nécessaire, ne serait-ce que pour s'assurer que l'énoncé vérifié formellement correspond bien à l'affirmation faite dans chaque article. L'acceptation scientifique de ces résultats reste donc en suspens.

Le mathématicien français Hugo Duminil-Copin, connu pour ses travaux en théorie des probabilités et en physique statistique, a déclaré lors d'une visioconférence que 16 problèmes sur lesquels il avait travaillé pendant des années figurent dans la collection. Selon lui, le problème central n'est pas qu'une machine les ait résolus en premier, mais que les résultats soient arrivés à une échelle si considérable que la communauté n'a pas eu le temps de les assimiler. Une lettre ouverte antérieure, signée par 25 médailles Fields, avait averti que la publication simultanée de nombreuses solutions laisse trop peu de place pour comprendre les idées et méthodes qui les sous-tendent.

Appel au boycott et voix dissidentes

L'Human Mathematics Association (HMA) est allée plus loin, affirmant que ce travail relève davantage d'une démonstration de puissance technologique que d'une contribution scientifique, et exhortant les mathématiciens à boycotter toute collaboration avec OpenAI. Le médaillé Fields Timothy Gowers adopte une position différente : selon lui, le simple nombre de résultats ne doit pas être automatiquement considéré comme négatif. Sa préoccupation porte sur le long terme : les problèmes ouverts contribuent à attirer les jeunes vers les mathématiques, et il est incertain que ce vivier continue de se renouveler.

OpenAI a annoncé qu'elle financera des ateliers, des conférences et des programmes de recherche dédiés afin d'aider la communauté à donner un sens à ces résultats. L'entreprise partage également des résumés de raisonnement, des estimations de calcul et des supports de vérification. Cet épisode marque une nouvelle étape dans le débat sur le rôle de l'IA dans la production scientifique, et sur la manière dont les chercheurs humains peuvent suivre le rythme.