OpenAI a résolu un problème mathématique de 80 ans sans modèle spécialisé

Le modèle de raisonnement généraliste d’OpenAI vient de briser une conjecture vieille de 80 ans en géométrie discrète. Le système n’a pas été entraîné pour faire des mathématiques. Il fait tourner la même architecture qui rédige des courriels et écrit du Python, et mardi il a produit une nouvelle famille de configurations géométriques que quatre mathématiciens ont depuis vérifiée.

L’énoncé du problème est trompeusement simple. Prenons n points dans un plan. Combien de paires peuvent se trouver exactement à la même distance les unes des autres, disons à une unité ? Paul Erdős a posé la question en 1946 et proposé une borne supérieure : de l’ordre de n puissance (1 plus o(1)), une façon de dire « à peine plus que linéaire ». Pendant des décennies les meilleures configurations connues sortaient de variantes du quadrillage carré, et le quadrillage frôlait ce plafond. Les mathématiciens travaillaient avec cette borne comme si elle était serrée.

Le modèle d’OpenAI n’a pas resserré la borne. Il l’a brisée. Le système a produit toute une famille de dispositions de points avec au moins n puissance (1 plus δ) paires à distance unitaire, pour un δ fixe strictement positif. Ce n’est pas un raffinement ; c’est un contre-exemple au cœur de la conjecture. Will Sawin, l’un des quatre mathématiciens qui ont relu le travail, a raffiné le nouvel exposant en une expression propre. Thomas Bloom, Melanie Wood et Noga Alon, les autres membres de l’équipe de vérification, ont confirmé que la construction tenait.

Vous pourriez aussi aimerAnthropic rachète Stainless et ferme le pipeline de SDK utilisé par OpenAI

Le point intéressant de la méthode, c’est qu’elle n’est pas venue de l’intérieur de la géométrie. Le modèle est passé à la théorie algébrique des nombres, en étendant les entiers de Gauss à d’autres corps de nombres algébriques et en traitant les points du réseau obtenu comme configurations candidates. Ce pont, la géométrie tirée vers la théorie des nombres, c’est le saut que les humains avaient manqué pendant huit décennies. C’est le genre de mouvement qui, dans un séminaire de mathématiques, déclenche un hochement de tête lent et un long silence.

Les réactions des mathématiciens sont arrivées dans la première journée. Timothy Gowers, médaillé Fields, a parlé du « premier exemple vraiment net d’une IA résolvant un problème mathématique vraiment connu ». Alexander Wei, chercheur chez OpenAI, a écrit que le résultat est de ceux qu’un arbitre des Annals of Mathematics accepterait « sans la moindre hésitation ». Cette dernière affirmation est testable. La preuve a été publiée sous forme de PDF, avec un document de remarques en annexe, et la communauté mathématique élargie est en train de lire.

Le cadre auquel OpenAI se rattache, c’est qu’il s’agit de la première fois qu’un système d’IA résout de façon autonome un problème ouvert majeur et central d’un domaine mathématique. Le mot « autonome » porte là un poids énorme. Le modèle a produit la construction ; la preuve a été examinée, raffinée et soumise à des tests par quatre mathématiciens humains avant la moindre annonce. La distinction compte, car OpenAI est déjà passée par là.

En octobre 2025, l’entreprise avait fait circuler l’affirmation qu’un autre modèle interne avait résolu dix problèmes ouverts posés par Erdős. En quelques jours, les mathématiciens ont montré que plusieurs de ces « solutions » étaient déjà connues ou tout simplement fausses. OpenAI a retiré l’affirmation générale. Cet épisode explique pourquoi l’annonce de cette semaine met en tête les noms des vérificateurs plutôt que celui du modèle. Les quatre mathématiciens sont la garantie.

L’autre détail à retenir, c’est quel type de modèle a produit le résultat. OpenAI n’a pas divulgué le nom du système, seulement qu’il s’agit d’un modèle de raisonnement généraliste, la même famille que celle qui tient les conversations, rédige du code et répond aux tickets du service client. Il n’y a pas de variante spécialisée en mathématiques dans la boucle. C’est la même architecture qui gère les échanges du quotidien qui a géré cela. L’implication, c’est que le goulot d’étranglement pour les mathématiques pilotées par l’IA n’était peut-être pas un modèle calibré pour les mathématiques. C’était peut-être du calcul et de la patience.

Que ce goulot saute, c’est la vraie histoire. Pendant longtemps, l’hypothèse de travail chez les chercheurs voulait que des mathématiques authentiquement originales exigent des systèmes faits sur mesure : démonstrateurs de théorèmes, cadres de vérification formelle, modèles étroits entraînés sur un corpus de preuves. Ce qui a atterri mardi est un autre type de preuve empirique. Un raisonneur pointé sur un problème célèbre, ouvert depuis quatre-vingts ans ; avec assez de marge pour penser, il a produit quelque chose que Sawin, Bloom, Wood et Alon ont jugé correct. Le chemin entre une fenêtre de chat et Erdős s’est avéré plus court qu’on ne le pensait.

Lectures recommandéesDeux points sous Opus 4.6, cinq fois moins cher : Gemini 3.5 Flash refait le calcul

Quelques réserves s’imposent. Le modèle n’est pas public. Des groupes indépendants extérieurs au panel initial de quatre mathématiciens vont lire la preuve dans les semaines qui viennent, et le processus complet de relecture par les pairs des Annals ou d’une autre revue de premier rang prendra des mois. L’exposant δ est petit. La construction ne règle pas le problème des distances unitaires sur la sphère ni en dimensions supérieures. Rien de tout cela ne diminue ce qui s’est passé mardi. Cela en fixe la place.

Ce qui change, c’est l’attente. Il y a un an, la question pour l’IA en mathématiques était de savoir si ces systèmes pourraient un jour produire des preuves originales d’importance. À partir de cette semaine, la question est de savoir quel est le prochain problème ouvert qui tombe, et si les mathématiciens qui vérifient les preuves continueront d’être crédités comme l’ont été Alon et ses collègues ici.

Une conjecture de 1946 est l’un de ces objets silencieux qui attendent sur une étagère que la bonne main vienne les décrocher. La main qui l’a décrochée cette semaine tournait sur un cluster de GPU, n’avait pas été entraînée pour la tâche, et a fini le travail pendant que quatre mathématiciens regardaient.