Le 1er août 2026, OpenAI a publié un billet de recherche accompagné d’un manuscrit de 249 pages et de preuves formalisées en Lean 4, vérifiables par quiconque dispose d’un ordinateur.Dix problèmes, issus de huit champs distincts (géométrie en haute dimension, théorie des groupes, algèbres d’opérateurs, complexité quantique, cryptographie sur réseaux,…
Cet article est paru en premier sur le site https://www.lesnumeriques.com/intelligence-artificielle/astra-le-prochain-modele-d-openai-resout-dix-problemes-de-maths-restes-sans-reponse-depuis-des-decennies-n260000.html