Un modèle de raisonnement interne d'OpenAI a accompli ce que les mathématiciens ne sont pas parvenus à faire en près de huit décennies : réfuter de manière autonome une célèbre conjecture de géométrie discrète posée par le prolifique mathématicien Paul Erdős en 1946.
L'annonce a été faite le 20 mai 2026, marquant ce que les experts qualifient de tournant décisif pour l'intelligence artificielle dans la recherche scientifique de pointe.
Le problème : 80 ans sans solution
Le problème des distances unités dans le plan pose une question en apparence simple : parmi n points disposés dans un plan, combien de paires peuvent être séparées d'exactement 1 unité de distance ? Erdős avait émis en 1946 l'hypothèse que les grilles carrées étaient la configuration optimale — une conviction qui a perduré sans être contestée pendant des générations de mathématiciens.
Ce problème ne se limitait pas à un exercice théorique : il se situe à l'intersection de la combinatoire, de la géométrie et de la théorie des nombres, et est resté ouvert malgré les travaux des plus grands mathématiciens du monde.
Ce que le modèle a découvert
Le modèle de raisonnement d'OpenAI n'a reçu que l'énoncé du problème — aucun indice, aucune guidance. Il a produit une preuve de 125 pages démontrant l'existence d'une famille infinie de configurations de points générant n^(1+δ) paires de distances unités, avec δ = 0,014. Cet exposant positif fixe représente une amélioration polynomiale réelle sur les grilles carrées, réfutant définitivement l'hypothèse établie depuis des décennies.
Le modèle a eu recours à la théorie de Golod-Shafarevich et aux tours de corps de classes infinis, des outils issus de la théorie algébrique des nombres, habituellement appliqués à des questions de théorie des anneaux et de groupes de classes — et non à la géométrie euclidienne.
Comme l'ont noté les experts externes, l'application de ces concepts à des questions géométriques dans le plan euclidien "est venue comme une grande surprise."
Validé par les meilleurs du domaine
Quatre mathématiciens de premier plan ont examiné indépendamment la preuve :
- Tim Gowers (Médaille Fields, Cambridge) : "une étape majeure dans les mathématiques de l'IA"
- Noga Alon (Princeton, combinatoire) : "une réalisation remarquable"
- Arul Shankar (Toronto) : a validé la profondeur du raisonnement
- Jacob Tsimerman (Toronto) : a confirmé l'originalité de la démonstration
Le mathématicien de Princeton Will Sawin a ensuite raffiné l'exposant au-delà du δ = 0,014 initial, en s'appuyant sur le cadre développé par l'IA.
Pourquoi cela importe
Contrairement aux précédentes réussites de l'IA en mathématiques — comme les résultats d'AlphaProof au niveau des Olympiades Internationales de Mathématiques — la conjecture d'Erdős sur les distances unités était une frontière de recherche ouverte, intouchée pendant 80 ans.
Le modèle était généraliste, non spécialisé en mathématiques. Le fait qu'un modèle de raisonnement à vocation générale ait pu relier de manière autonome la théorie algébrique des nombres et la géométrie discrète — en maintenant une logique cohérente sur 125 pages — signale que l'IA entre dans une nouvelle ère de la découverte scientifique.
Les chercheurs soulignent que l'expertise humaine reste essentielle : pour identifier les problèmes qui comptent, interpréter les résultats dans un contexte plus large, et orienter les prochaines étapes de la recherche. Mais le modèle a démontré que l'IA peut désormais apporter des contributions originales aux problèmes mathématiques non résolus les plus difficiles.
Et maintenant ?
OpenAI n'a pas divulgué l'identité du modèle précis ayant produit ce résultat, le décrivant uniquement comme un modèle de raisonnement interne généraliste. La société a indiqué qu'elle travaille avec la communauté mathématique pour explorer de nouvelles applications de ces modèles à des problèmes ouverts.
Le résultat est actuellement soumis à une revue formelle pour publication. Son émergence pose une question tranchante au domaine : si une conjecture vieille de 80 ans peut être réfutée en une seule session, quels problèmes non résolus seront les prochains à tomber ?
Source : OpenAI