Révolution mathématique : une IA renverse une conjecture vieille de 79 ans

Les mathématiques vivent un tournant historique. Pour la première fois, une intelligence artificielle a réfuté une conjecture mathématique datant de près de huit décennies, sans aucune aide humaine. Cette avancée spectaculaire bouleverse les méthodes traditionnelles de recherche et ouvre des perspectives inédites pour la discipline.

Une énigme géométrique posée en 1946

Paul Erdős, figure emblématique des mathématiques du XXe siècle, avait formulé en 1946 une question apparemment simple : quel est le nombre maximal de paires de points dans un plan pouvant être espacées d’exactement une unité de distance ?

Le mathématicien hongrois supposait que ce maximum n’augmentait que très légèrement par rapport au nombre total de points. Cette hypothèse, restée incontestée pendant des décennies, semblait solidement établie.

OpenAI fait tomber la conjecture d’Erdős

L’entreprise spécialisée en intelligence artificielle a produit une démonstration qui réfute catégoriquement la conjecture d’Erdős. La preuve révèle l’existence de configurations géométriques où le nombre de paires dépasse polynomialement celui observé dans une grille carrée classique.

Will Sawin, chercheur à Princeton, a quantifié ce gain d’exposant à environ 0,014. Un chiffre qui peut sembler modeste mais qui suffit à invalider l’hypothèse initiale.

Une approche mathématique révolutionnaire

La méthode employée établit des connexions inattendues entre géométrie discrète et théorie algébrique des nombres. Elle mobilise des concepts avancés comme les tours infinies de corps de classes et le théorème de Golod-Chafarevitch.

Cette approche novatrice témoigne de la capacité de l’IA à explorer des chemins théoriques que les mathématiciens humains n’auraient peut-être jamais empruntés spontanément.

Validation par l’élite mathématique mondiale

Le chercheur Lijie Chen a généré cette preuve, ensuite vérifiée par Mark Sellke et Mehtaab Sawhney. Mais l’ampleur de la découverte a nécessité une validation plus large.

Un article compagnon a été cosigné par neuf mathématiciens de renom, parmi lesquels figurent Noga Alon et Thomas Bloom. Tim Gowers, médaillé Fields en 1998, est allé jusqu’à recommander ce résultat aux prestigieux Annals of Mathematics.

Un sceptique devenu vérificateur

L’histoire connaît un rebondissement intéressant. En octobre 2025, OpenAI avait affirmé avoir résolu dix problèmes d’Erdős grâce à GPT-5, suscitant le scepticisme de Thomas Bloom.

Aujourd’hui, ce même chercheur figure parmi les vérificateurs officiels de la nouvelle preuve, témoignant de sa rigueur et de sa solidité.

L’aube d’une nouvelle ère mathématique

Cette réfutation marque un jalon dans l’histoire des mathématiques. Elle démontre que l’intelligence artificielle peut désormais contribuer activement à la recherche fondamentale, au-delà de simples calculs ou vérifications.

La question se pose maintenant : combien d’autres conjectures anciennes attendront leur tour face à ces nouveaux outils computationnels ?