Une IA d'OpenAI résout un problème mathématique vieux de 80 ans
OpenAI a révélé qu'un modèle d'IA généraliste a résolu un problème de géométrie posé par Paul Erdős en 1946. Le modèle a trouvé une nouvelle configuration de points qui dépasse les bornes établies par la conjecture originale. Cette avancée montre la capacité croissante des IA à résoudre des problèmes mathématiques complexes.
« 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. » — Numerama
Que faut-il retenir ?
- OpenAI a utilisé un modèle généraliste, non conçu spécifiquement pour les mathématiques.
- Le modèle a trouvé une nouvelle famille de configurations de points dépassant la conjecture d'Erdős.
- Le problème concerne le placement de points dans un plan pour maximiser les paires à distance 1.
- La conjecture datait de 1946 et résistait aux mathématiciens depuis près de 80 ans.
Pourquoi cette nouvelle compte-t-elle ?
Cette avancée démontre la capacité des IA généralistes à résoudre des problèmes mathématiques complexes non résolus depuis des décennies. Elle ouvre de nouvelles perspectives pour la recherche en mathématiques et en IA. Les professionnels de l'IA et des mathématiques devront intégrer ces nouvelles capacités dans leurs travaux.
n^(1+δ) paires à distance 1 pour un certain δ > 0
Public concerné : développeurs, entreprises
Comment un modèle d'IA généraliste a-t-il pu résoudre un problème mathématique complexe ?
Le modèle d'OpenAI, bien que généraliste, a pu explorer des configurations de points inédites grâce à ses capacités de raisonnement. Il a proposé une structure de contre-exemple que les mathématiciens n'avaient pas envisagée, dépassant ainsi les bornes établies par la conjecture d'Erdős.
