
ASTRA : le prochain modèle d'OpenAI vient de résoudre 10 problèmes ouverts en mathématiques
Dévoilé discrètement dans un billet de blog sur dix avancées mathématiques, ASTRA est le prochain grand modèle d'OpenAI. Preuves formalisées en Lean, manuscrit de 249 pages, coût sous les 2 000 $ : décryptage d'une annonce qui redéfinit l'IA de recherche.
2 août 2026·Équipe Gennn
OpenAIASTRALLMbenchmarkGPT

