Pourquoi les problèmes légendaires d'Erdős cèdent face à l'intelligence artificielle

OpenAI a annoncé qu'un modèle d'IA interne avait trouvé un contre-exemple au problème de la distance unité de Paul Erdős, une conjecture datant de 1946. Le résultat a ensuite été amélioré par des mathématiciens humains, mais il était novateur car il utilisait des idées provenant d'un domaine éloigné des mathématiques. Le 1er août, OpenAI a annoncé qu'un autre modèle, Astra, avait réalisé 10 percées mathématiques supplémentaires, résolvant trois autres problèmes d'Erdős. Noga Alon a noté que ces modèles transforment radicalement la recherche mathématique. Thomas Bloom a créé le site web erdosproblems.com début 2023 pour compiler les problèmes d'Erdős, et en août 2025, il y a ajouté une section de commentaires, favorisant ainsi une communauté. Un mathématicien amateur, Wouter van Doorn, a résolu le problème 1102 avec l'aide de la communauté, recevant des retours de Terence Tao. Plus tard, Kevin Barreto et Liam Price, utilisant GPT-5.2 et GPT-5.2 Pro, ont tenté de résoudre des problèmes ; ils ont résolu le problème 333, mais il s'est avéré qu'Erdős l'avait déjà résolu en 1977, puis ils ont résolu le problème 728 sans qu'aucune solution préalable n'ait été trouvée.