Présentation
Le 20 mai 2026, OpenAI a annoncé qu'un modèle d'IA interne avait trouvé un contre-exemple au problème de la « distance unitaire », une conjecture posée par le mathématicien hongrois Paul Erdős en 1946. Ce problème était à la fois simple à expliquer et mathématiquement profond. Il s'agit du premier résultat historiquement significatif obtenu à partir d'un modèle d'IA.
Contexte technique
Le modèle d'IA d'OpenAI a utilisé des idées issues d'une branche éloignée des mathématiques qui n'avaient jamais été appliquées à ce problème auparavant. Les résultats obtenus ont été innovants et influents, car des techniques liées ont été utilisées pour résoudre d'autres problèmes importants dans les jours qui ont suivi. Le mathématicien Noga Alon de l'Université de Princeton a déclaré que ces modèles d'IA « changent dramatiquement la façon dont la recherche mathématique est réalisée ».
Implications et limites
Les problèmes d'Erdős ont longtemps fasciné les mathématiciens. Erdős a posé des milliers de questions, mais ce problème était spécial en raison de sa simplicité et de sa profondeur mathématique. Le travail de Thomas Bloom, un mathématicien anglais, a joué un rôle crucial dans la résolution de ces problèmes. Il a créé un site web, erdosproblems.com, qui recense les problèmes posés par Erdős et permet aux mathématiciens de discuter et de partager leurs progrès. Le site a permis à une communauté de se former et a facilité la résolution de nombreux problèmes.
Avancées récentes
Le 1er août 2026, OpenAI a annoncé que son modèle Astra avait réalisé 10 avancées mathématiques supplémentaires, dont la résolution de trois autres problèmes posés par Erdős. Ces résultats démontrent les capacités croissantes des modèles d'IA dans la résolution de problèmes mathématiques complexes. Les mathématiciens considèrent ces développements comme une transition de phase dans les capacités mathématiques des modèles d'IA, changeant ainsi la façon dont la recherche mathématique est menée.
