L'IA a résolu un mystère mathématique vieux de 80 ans — et les experts valident

UNE ANNONCE QUI FAIT PARLER

En mai 2026, OpenAI a déclaré qu’un de ses nouveaux modèles de raisonnement venait de produire une preuve mathématique originale. Cette preuve invalide une célèbre conjecture géométrique non résolue depuis près de 80 ans, posée pour la première fois par le mathématicien Paul Erdős en 1946.

Cette annonce rappelle étrangement celle faite sept mois plus tôt, lorsque Kevin Weil, alors vice-président d’OpenAI, avait posté sur X : « GPT-5 a trouvé des solutions à 10 (.) problèmes d’Erdős non résolus jusqu’ici et a progressé sur 11 autres. »

UNE PREMIÈRE FOIS, LES EXPERTS VALIDENT

Il s’avère que la déclaration de Weil en 2025 était prématurée. Le modèle GPT-5 n’avait pas vraiment résolu ces problèmes : il avait simplement redécouvert des solutions déjà publiées dans la littérature scientifique.

Cette fois, les choses sont différentes. OpenAI a publié des déclarations de soutien émanant de mathématiciens de renom comme Noga Alon, Melanie Wood et Thomas Bloom. Ce dernier, qui gère le site Erdős Problems, avait d’ailleurs qualifié le post de Weil de « fausse représentation dramatique » à l’époque.

Dans son message sur X, OpenAI explique : « Pendant près de 80 ans, les mathématiciens pensaient que les meilleures solutions possibles ressemblaient grosso modo à des grilles carrées. Un modèle d’OpenAI vient de démontrer que cette croyance était fausse, en découvrant une toute nouvelle famille de constructions bien plus performantes. »

POURQUOI CETTE AVANCÉE CHANGE TOUT

Le modèle utilisé n’a pas été spécialement conçu pour résoudre des problèmes mathématiques. Il s’agit d’un modèle généraliste de raisonnement, capable de tenir des raisonnements complexes sur de longues chaînes logiques et de connecter des idées entre différents domaines. Une capacité qui pourrait bouleverser la Recherche en biologie, physique, ingénierie ou médecine.

Thomas Bloom, cité dans le communiqué, résume ainsi l’impact : « L’IA nous aide à explorer plus pleinement la cathédrale des mathématiques que nous avons construite au fil des siècles. Quelles autres merveilles invisibles attendent d’être découvertes ? »

UNE RÉVOLUTION DANS LA RECHERCHE MATHÉMATIQUE

OpenAI insiste sur le fait que cette avancée marque un tournant : les systèmes d’IA sont désormais capables de produire des preuves mathématiques autonomes, sans être guidés vers un problème spécifique. Une première dans l’histoire des mathématiques.

Cette capacité à enchaîner des raisonnements complexes et à faire des liens entre des concepts éloignés ouvre des perspectives inédites. Les chercheurs pourraient désormais s’appuyer sur ces outils pour explorer des territoires mathématiques inexplorés, comme on explore une forêt vierge avec une lampe torche.

LES MATHÉMATICIENS S’INQUIÈTENT… PUIS VALIDENT

La communauté mathématique reste prudente face aux annonces d’OpenAI. Après l’affaire des « fausses solutions » de GPT-5 en 2025, beaucoup avaient accueilli le communiqué de 2026 avec scepticisme. Pourtant, les experts cités par OpenAI confirment que cette fois, la preuve est solide et originale.

Thomas Bloom, qui avait critiqué la précédente annonce, a changé d’avis. Il reconnaît désormais que le travail d’OpenAI est « une avancée majeure » et que la preuve produite est valide. Une volte-face qui en dit long sur la crédibilité de cette nouvelle démonstration.

ET DEMAIN ?

Si cette avancée est confirmée par d’autres équipes indépendantes, elle pourrait marquer le début d’une nouvelle ère pour les mathématiques. Les outils d’IA pourraient devenir des assistants indispensables pour les chercheurs, capables de suggérer des pistes, de vérifier des hypothèses ou même de proposer des preuves partielles.

Mais attention : l’IA ne remplacera pas les mathématiciens. Elle les assistera, comme un télescope aide les astronomes à observer l’univers. La créativité, l’intuition et l’expérience humaine resteront essentielles pour interpréter les résultats et explorer de nouvelles pistes.

UNE QUESTION DE CONFIANCE

La crédibilité d’OpenAI repose désormais sur sa capacité à maintenir ses promesses. Après l’échec de 2025, l’entreprise a tout intérêt à prouver que cette fois, les choses sont différentes. Les mathématiciens, eux, attendent des preuves supplémentaires avant de crier victoire.

Une chose est sûre : si cette preuve est validée, elle restera dans l’histoire comme l’une des plus grandes avancées de l’intelligence artificielle appliquée aux mathématiques.

POUR ALLER PLUS LOIN

Cette annonce soulève des questions passionnantes sur le rôle de l’IA dans la recherche scientifique. Comment les outils d’IA peuvent-ils être intégrés sans perdre la rigueur mathématique ? Quels nouveaux problèmes pourront être résolus grâce à ces avancées ?

Une chose est certaine : l’IA ne cesse de repousser les limites de ce que nous pensions possible. Et cette fois, les mathématiciens semblent prêts à l’écouter.