United StatesEn mai 2026, OpenAI a annoncé qu'un modèle interne d'IA avait découvert un contre-exemple du problème de la " distance unitaire ", une conjecture proposée par le célèbre mathématicien Paul Erdős en 1946. Cela a marqué la première percée mathématique majeure attribuée à un modèle d'IA. Bien que le résultat ait nécessité un raffinement par des mathématiciens humains, il a introduit de nouvelles approches dans des domaines non liés des mathématiques. Peu de temps après, OpenAI a révélé de nouvelles avancées par un modèle inédit appelé Astra, qui a résolu trois autres problèmes d'Erdős. Les mathématiciens considèrent ces développements comme un changement transformateur dans la façon dont l'IA contribue à la recherche mathématique.
Lecture du biais (Centre): L'article traite du rôle de l'IA dans la résolution de problèmes mathématiques posés à l'origine par Paul Erdős, en se concentrant sur les réalisations techniques plutôt que sur des questions politiques.
