UN ALGORITHME CONTRE L'ÉTERNITÉ

Et cette fois, les mathématiciens confirment : c'est réel.

Le problème : une question simple, une résistance de 80 ans

Pour comprendre l'ampleur de la découverte, il faut d'abord saisir ce qu'est la conjecture des distances unitaires — un problème d'une formulation trompeusement limpide.

Imaginez n points placés librement dans un plan. Combien de paires de ces points peuvent être séparées par une distance exactement égale à 1 ? Erdős, mathématicien prolifique considéré comme l'un des plus grands esprits du XXe siècle, avait conjecturé en 1946 que ce nombre ne pouvait pas croître plus vite que n à la puissance 1 plus ε — une borne impliquant des logarithmes, suggérant que les grilles carrées constituaient essentiellement la configuration optimale.

Pendant huit décennies, les meilleurs cerveaux de la planète ont buté sur ce problème. Pas de réfutation, pas de preuve définitive. Juste un mur.

La percée : des idées venues d'ailleurs

Le modèle d'OpenAI a non seulement réfuté cette conjecture, mais l'a fait d'une façon que personne n'avait envisagée. Il a découvert une famille infinie de constructions — des arrangements de points dans le plan — qui surpassent la borne d'Erdős par un facteur polynomial explicite.

Ce qui stupéfie les spécialistes, ce n'est pas seulement le résultat. C'est la méthode. Pour résoudre un problème de géométrie discrète élémentaire, le modèle a mobilisé des outils issus de l'algèbre abstraite et de la théorie des nombres — en particulier la théorie de Golod-Shafarevich et les tours de corps de classes infinies. Des notions que même les mathématiciens aguerris ne connecteraient pas spontanément à ce type de question.

Will Sawin, mathématicien à l'Université de Princeton, a par la suite affiné le résultat, précisant que le facteur d'amélioration s'établit à n à la puissance 1,014 — soit δ = 0,014. Un chiffre modeste en apparence, mais qui suffit à renverser une conjecture vieille de huit décennies.

La communauté mathématique valide — et s'emballe

Conscient du contexte — et de l'échec cuisant d'octobre 2025, où OpenAI avait dû reculer sur des prétentions similaires — l'entreprise a cette fois pris soin de soumettre la preuve à plusieurs mathématiciens de premier rang avant toute communication publique.

Le verdict est sans appel. Noga Alon, Melanie Wood et Thomas Bloom — propriétaire du site de référence consacré aux problèmes d'Erdős — ont examiné la démonstration et confirmé sa validité. Tim Gowers, médaillé Fields en 1998, a qualifié le résultat de "milestone in AI mathematics". Gil Kalai, combinatoricien de renommée mondiale, l'a comparé à la démonstration assistée par ordinateur du théorème des quatre couleurs par Appel et Haken en 1976 — une autre date charnière dans l'histoire des mathématiques. Quant à Terence Tao, mathématicien considéré comme le plus grand de sa génération, il aurait qualifié la démonstration de "surprenante et élégante".

Ce qui change tout : l'autonomie du modèle

Ce qui distingue cette avancée de toutes les précédentes tentatives d'IA en mathématiques est précisément sa nature. Il ne s'agit pas d'un système spécialisé entraîné sur des milliers de démonstrations similaires. Il ne s'agit pas d'une exploration exhaustive de l'espace des preuves assistée par ordinateur. Il s'agit d'un modèle de raisonnement généraliste — le même type de modèle qui peut rédiger un rapport, analyser un contrat ou déboguer un programme — qui a, seul, produit un enchaînement conceptuel original.

OpenAI parle d'un "jalon" dans l'utilisation de l'IA en mathématiques. La formulation est prudente. Mais elle pointe vers quelque chose de vertigineux : pour la première fois, une intelligence artificielle a résolu de façon autonome un problème ouvert central dans un sous-domaine des mathématiques — sans aide humaine, sans orientation spécifique, sans que personne ne lui ait dit où chercher.

La question qui suit : et maintenant ?

Ce résultat soulève une question que la communauté scientifique commence à poser à voix haute : si une IA peut résoudre un problème ouvert depuis 80 ans, combien d'autres problèmes non résolus sont à sa portée ?

Les mathématiques regorgent de conjectures célèbres qui résistent depuis des décennies — voire des siècles. L'hypothèse de Riemann. La conjecture de Collatz. Les problèmes du Prix du Millénaire, dotés chacun d'un million de dollars. Personne ne suggère que l'IA les résoudra demain. Mais la question, autrefois rhétorique, est désormais légitime.

Pour les philosophes des sciences, c'est aussi un défi conceptuel profond. Peut-on parler de "compréhension"mathématique pour une machine qui produit une preuve correcte mais ne "sait" pas ce qu'elle fait ? La beauté d'une démonstration a-t-elle encore un sens quand elle est générée par un algorithme ? Erdős lui-même, qui croyait que les preuves les plus élégantes étaient celles que "Dieu aurait écrites dans son Grand Livre", aurait sans doute eu une opinion tranchée sur la question.

Un avertissement dans le triomphe

Tout n'est pas euphorie. Plusieurs chercheurs rappellent que la preuve, aussi valide soit-elle, reste pour l'instant non publiée dans une revue à comité de lecture. La vérification par les pairs, processus lent et rigoureux, n'a pas encore eu lieu dans les formes. Et l'histoire récente de l'IA en mathématiques est jalonnée d'annonces prématurées.

OpenAI a publié un document technique accompagnant l'annonce — un geste de transparence inhabituel qui témoigne d'une volonté de ne pas répéter les erreurs du passé. Mais la prudence reste de mise.

Ce qui est certain, en revanche, c'est que quelque chose a changé. Pas seulement dans le domaine de l'IA. Dans la façon dont l'humanité pense la frontière entre ce qu'une machine peut faire — et ce qu'elle ne pourra jamais faire.

Ce soir, dans les universités du monde entier, des mathématiciens lisent, relisent, et se posent la même question : est-ce que c'est le début de quelque chose ?

— Rédaction Science & Technologies | 23 mai 2026