Comment l'IA résout les problèmes mathématiques d'Erdős
Le 20 mai 2026, OpenAI a annoncé qu'un modèle IA interne a résolu le problème de « distance unitaire » posé par Paul Erdős en 1946. Cette découverte a marqué la première preuve historiquement significative provenant d'une IA. En août 2026, OpenAI a annoncé que son modèle Astra a résolu trois autres problèmes d'Erdős.
« These models are 'changing dramatically the way mathematical research is being done,' » - Quanta Magazine
Que faut-il retenir ?
- Le 20 mai 2026, OpenAI a annoncé une preuve IA du problème de « distance unitaire » de Paul Erdős.
- En août 2026, OpenAI a annoncé que son modèle Astra a résolu trois autres problèmes d'Erdős.
- Paul Erdős a posé des milliers de problèmes mathématiques, souvent avec des récompenses financières.
- Thomas Bloom, mathématicien anglais, a créé un site web pour recenser les problèmes d'Erdős en 2023.
Pourquoi cette nouvelle compte-t-elle ?
Les avancées de l'IA dans la résolution de problèmes mathématiques complexes changent fondamentalement la manière dont la recherche est menée. Cela ouvre de nouvelles perspectives pour les mathématiciens et pourrait accélérer les découvertes dans ce domaine. Les modèles IA deviennent un outil essentiel pour explorer des conjectures historiques et développer de nouvelles techniques.
10 avancées mathématiques supplémentaires annoncées par OpenAI en août 2026
💬 Noga Alon, Professeur à l'Université de Princeton
Public concerné : développeurs, entreprises
Quel est l'impact de l'IA sur la recherche mathématique ?
L'IA transforme la recherche mathématique en résolvant des problèmes complexes comme ceux posés par Paul Erdős, ouvrant de nouvelles perspectives et accélérant les découvertes.
🔧 Outils mentionnés