Pendant que le modèle Claude Mythos d’Anthropic fait des découvertes massives de failles de sécurité sur les logiciels, un nouveau modèle d’IA d’OpenAI vient de faire une découverte scientifique. Plus exactement, cette IA a trouvé une nouvelle solution à un problème de géométrie posé par le mathématicien hongrois Paul Erdős, et a réfuté la précédente conjecture. Le défi ? En termes simples : déterminer combien de paires de points peuvent être placées à distance 1, sur une surface plane. Pendant 80 ans, le sujet a été étudié par l’humain et il était admis que les constructions en grille, comme sur l’image en une de cet article, étaient la façon optimale pour maximiser le nombre de paires de points à distance unitaire. Cependant, d’après OpenAI, l’IA a pu apporter la preuve que cela était faux.
Outre le fait que cette découverte pourrait être une percée dans le domaine des mathématiques, il s’agit aussi d’une nouvelle étape franchie par l’IA. “Cette démonstration constitue une étape importante pour les communautés mathématiques et de l’IA. C’est la première fois qu’un problème ouvert majeur, au cœur d’un sous-domaine des mathématiques, est résolu de manière autonome par l’IA. Elle démontre également la profondeur de raisonnement dont ces systèmes sont désormais capables”, écrit le créateur de ChatGPT.
Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946.
For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids.
An OpenAI model has now disproved that… pic.twitter.com/j2g3Ze0zEG
— OpenAI (@OpenAI) May 20, 2026
Un modèle d’IA général qui résout des problèmes scientifiques
Selon OpenAI, ces résultats sont aussi importants, dans la mesure où le problème a été résolu par un modèle d’IA interne à usage général, mais pas par une technologie qui serait optimisée pour les mathématiques. La découverte a été faite alors qu’OpenAI testait les performances de cette IA (dont le nom n’est pas révélé) en utilisant les problèmes posés par Erdős. Par la suite, OpenAI a fait vérifier le résultat produit par son IA par des mathématiciens externes, qui ont rédigé un article scientifique pour expliquer la démonstration.
Cette fois-ci, OpenAI a pris la peine de bien vérifier, avant de faire une annonce. Comme le rappelle TechCrunch, l’année dernière, un responsable d’OpenAI s’est retrouvé dans une situation embarrassante en annonçant que “GPT-5 a trouvé des solutions à 10 (!) problèmes d’Erdős jusque-là non résolus et a progressé sur 11 autres”, alors qu’il ne s’agissait pas vraiment de découvertes. L’entreprise avait été moquée par le chercheur français Yann LeCun et par le patron de Google DeepMind.
Hoisted by their own GPTards
— Yann LeCun (@ylecun) October 18, 2025
Mais, aujourd’hui, la nouvelle découverte de ce modèle interne d’OpenAI est validée par des spécialistes, dont le chercheur Thomas Bloom et propriétaire d’un site dédié aux problèmes d’Erdős. “Il s’agit sans aucun doute de la plus impressionnante réalisation de l’IA en mathématiques à ce jour”, a-t-il écrit sur X.
An internal OpenAI model has disproved one of the most well-known Erdős problems: the unit distance problem.
This is, without doubt, the most impressive achievement of AI in mathematics so far.https://t.co/J0duJXNbph
— Thomas Bloom (@thomasfbloom) May 20, 2026
- OpenAI annonce qu’un modèle interne qu’il était en train de tester a trouvé une nouvelle solution à un problème mathématique étudié pendant près de 80 ans
- D’après l’entreprise, “c’est la première fois qu’un problème ouvert majeur” en mathématique
- L’IA utilisée était une IA à usage général, mais pas une technologie spécialement optimisée pour les maths
📍 Pour ne manquer aucune actualité de Presse-citron, suivez-nous sur Google Actualités et WhatsApp.
