Astra, le prochain modèle d'OpenAI, résout dix problèmes de maths restés sans réponse depuis des décennies
1 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.
Lire sur Lesnumeriques ↗