OpenAI pulvérise une énigme mathématique vieille de 77 ans

Depuis près de huit décennies, un défi mathématique lancé par l’un des plus grands esprits du XXe siècle résistait à toutes les tentatives de résolution. Une avancée technologique majeure vient de bouleverser ce statu quo, ouvrant des perspectives inédites pour la recherche fondamentale.

Le défi d’Erdős : un casse-tête géométrique resté sans réponse

En 1946, Paul Erdős formule une question apparemment simple mais redoutablement complexe : quel est le nombre maximal de paires de points pouvant être séparées d’exactement une unité de distance dans un plan ?

Le mathématicien hongrois supposait que ce maximum n’augmentait que très légèrement par rapport au nombre total de points. Cette conjecture allait rester non résolue pendant des décennies.

OpenAI renverse la théorie établie

Un modèle de raisonnement développé par OpenAI vient de réfuter la conjecture historique. La démonstration révèle qu’une configuration spécifique peut effectivement surpasser le nombre de paires unitaires formées par une grille carrée classique.

Selon Will Sawin de Princeton, cette percée permet un gain d’exposant de 0,014, un résultat qui peut sembler modeste mais qui invalide fondamentalement l’hypothèse d’Erdős.

Une approche mathématique révolutionnaire

L’originalité de la preuve réside dans sa méthode : le modèle établit un pont inattendu entre la géométrie discrète et la théorie algébrique des nombres.

Cette démonstration s’appuie sur des concepts avancés comme les corps de classes et le théorème de Golod-Chafarevitch, témoignant d’une sophistication mathématique remarquable.

Une validation par l’élite mathématique mondiale

La preuve n’a pas été acceptée à la légère. Neuf mathématiciens de renom l’ont minutieusement examinée, dont Tim Gowers, médaillé Fields et figure majeure de la discipline.

Publiée par Lijie Chen, la démonstration a été vérifiée par Mark Sellke et Mehtaab Sawhney. Un article compagnon co-signé par des experts externes, notamment Noga Alon de Princeton et Thomas Bloom, accompagne cette publication.

Vers une reconnaissance académique prestigieuse

Tim Gowers va plus loin en recommandant la publication de ces travaux dans les Annals of Mathematics, l’une des revues les plus prestigieuses du domaine.

Des précédents controversés

En octobre 2025, OpenAI affirmait avoir résolu dix problèmes d’Erdős grâce à GPT-5. Ces annonces avaient suscité des critiques, notamment de la part de Thomas Bloom.

Le chercheur avait reproché à ces résultats de simplement redécouvrir des solutions déjà connues, remettant en question leur véritable originalité.

L’intelligence artificielle, nouvelle alliée des mathématiques

Au-delà de cette résolution spectaculaire, cette avancée illustre le potentiel de l’IA comme outil d’exploration mathématique. Les modèles peuvent désormais approfondir des connaissances développées au fil des siècles.

Cette collaboration entre intelligence humaine et artificielle ouvre des horizons prometteurs pour la recherche fondamentale, permettant d’aborder des problèmes jusqu’ici insolubles avec des approches novatrices.