« Aucune hésitation » : une IA d’OpenAI a terrassé un problème de géométrie vieux de 80 ans

Une avancée frappante se dessine dans l’intelligence artificielle. Publié le 21 mai 2026 à 10h35 Tech Intelligence artificielle « Aucune hésitation » : une IA d’OpenAI a terrassé un problème de géométrie vieux de 80 ans GG 5 min Lisa Imperatrice Lisa Imperatrice 5 min 5 min Lisa Imperatrice Lisa Imperatrice Ne plus voir cette pub Lecture Zen Résumer l'article Résumé de l'article Résumé par IA, vérifié par Numerama ? Nous générons pour vous un résumé de l’article grâce à une IA et nous le vérifions afin de nous assurer qu’il n’y ait aucune erreur, pour garantir l’authenticité de l’info. En savoir plus Le 20 mai 2026, OpenAI affirme qu’un modèle généraliste d’IA a fait tomber la conjecture d’Erdős (1946) sur les distances unitaires dans le plan.

La construction obtenue atteint, pour une infinité de n, au moins n^(1+δ) paires de points à distance 1 (avec δ > 0). Tim Gowers salue l’article et dit qu’il l’aurait recommandé aux Annals of Mathematics « sans la moindre hésitation ». Le 20 mai 2026, OpenAI affirme qu’un modèle généraliste d’IA a fait tomber la conjecture d’Erdős (1946) sur les distances unitaires dans le plan.

Détails techniques

La construction obtenue atteint, pour une infinité de n, au moins n^(1+δ) paires de points à distance 1 (avec δ > 0). Tim Gowers salue l’article et dit qu’il l’aurait recommandé aux Annals of Mathematics « sans la moindre hésitation ». Recevez tous les soirs un résumé de l’actu importante avec Le Récap’ Le 20 mai 2026, OpenAI a affirm qu'un de ses mod les d'IA avait contribu r futer une conjecture math matique formul e par Paul Erdős en 1946.

Le probl me consiste d terminer combien de paires de points peuvent tre plac es exactement distance 1 dans un plan. Petit petit, les IA commencent s'attaquer efficacement des probl mes de maths rest s ouverts pendant des d cennies — ou en proposer des solutions inattendues. Le planar unit distance problem part d'une question tr s simple, pos e par le math maticien Paul Erdős en 1946 : si l'on place n points dans le plan, combien de paires de points peuvent, au maximum, tre exactement distance 1 ?

Le 20 mai 2026, OpenAI a annonc qu'un de ses mod les internes, pr sent comme un general-purpose reasoning model — un mod le g n raliste, non con u sp cifiquement pour les math matiques — avait permis de trouver une nouvelle famille de configurations de points. Celle-ci d passe la borne que l'on pensait impos e par la conjecture classique d'Erdős. En clair, le mod le aurait propos une structure de contre-exemple que les math maticiens n'avaient pas envisag e en pr s de 80 ans.

Répercussions sectorielles

OpenAI a utilis un mod le g n raliste, pas sp cifiquement con u pour les maths. // Source : OpenAI Dans le d tail (pour les plus courageux) OpenAI affirme que cette construction produit, pour une infinit de valeurs de n, au moins n^(1+ ) paires distance 1, pour un certain > 0. En quoi consiste ce probl me de g om trie vieux de 80 ans ?

Concr tement, en g om trie plane, la distance entre deux points est la longueur du segment droit qui les relie.

Cette avancée envoie des signaux importants sur l’avenir du secteur, et le monde de la tech observe attentivement.