Astra : OpenAI annonce son prochain modèle en douce dans un billet de maths
OpenAI a glissé le nom de son prochain modèle, Astra, dans un billet consacré à dix problèmes de mathématiques déclarés résolus. Les preuves sont vérifiables par machine, le modèle reste inaccessible.
3 août 2026
