OpenAI annonce Astra, son prochain modèle, avec dix problèmes de maths résolus

Pas de conférence, pas de démo grand public : le successeur de la série GPT-5.6 s'est présenté au monde via un billet de blog scientifique. Dix problèmes ouverts depuis des décennies, environ 2 000 dollars de tokens.

Par Tom Valois, le 4 août 2026. Catégorie : Tech & IA.

Samedi matin, tu scrolles ton feed tech en attendant le café. Pas de keynote annoncée, pas de compte à rebours mystérieux, pas de tweet cryptique de Sam Altman. Juste un billet de blog au titre le plus aride possible : « Ten advances in mathematics and theoretical computer science ». Et au détour du troisième paragraphe, lâché comme une note de bas de page, le nom du prochain grand modèle d'OpenAI : Astra. C'est probablement l'annonce la plus discrète de l'histoire de l'entreprise la plus bruyante de la tech.

Le fond est nettement moins discret. Selon le billet publié le 1er août, une version interne d'Astra a résolu dix problèmes ouverts de mathématiques et d'informatique théorique sur lesquels aucun progrès central n'avait été fait depuis au moins dix ans, souvent beaucoup plus. Au menu : l'existence de groupes non-sofiques, la réfutation d'une conjecture de rigidité de Connes, de nouvelles bornes pour l'empilement de sphères en haute dimension, et plusieurs problèmes posés par le légendaire Paul Erdős. Le tout pour un coût de génération estimé à environ 2 000 dollars de tokens au tarif de l'API Sol.

Pourquoi « problème ouvert » ne veut pas dire « exercice difficile »

Précision utile si les maths sont loin derrière toi : un problème ouvert, ce n'est pas un exercice de concours corsé. C'est une question à laquelle personne sur Terre ne connaissait la réponse, sans corrigé caché quelque part. Et surtout, OpenAI ne demande pas de le croire sur parole : chaque argument a été formalisé en certificat Lean, un assistant de preuve où c'est la machine qui vérifie chaque étape logique. Soit la preuve compile, soit elle ne compile pas. Pour un secteur régulièrement accusé de gonfler ses benchmarks, publier des preuves vérifiables est un choix de communication radicalement différent.

OpenAI a glissé l'annonce de son prochain modèle d'IA dans un billet de blog sur les maths.

Gizmodo

Après Sol, Terra et Luna, cap sur les étoiles

Astra, « les étoiles » en latin, prolonge la cosmologie maison entamée avec la série GPT-5.6 et ses déclinaisons Sol, Terra et Luna, celle-là même qu'on suivait en juillet lors de l'offensive éclair GPT-5.6 et GPT-Live. D'après The Information, la spécialité de cette nouvelle famille serait le travail au long cours : plusieurs agents qui collaborent pendant des heures, voire des jours, sur un même projet complexe. Sam Altman en a d'ailleurs fait la démonstration à Washington fin juillet devant des responsables de l'administration et des sénateurs des deux bords. Le nom reste provisoire, et OpenAI n'a pas tranché entre GPT-6, GPT-5.7 ou une classe à part.

Et la recherche humaine dans tout ça ?

Reste la question vertigineuse que le billet ne pose jamais frontalement. Si un modèle règle pour 2 000 dollars des questions restées fermées pendant des décennies, qu'est-ce que ça change pour les mathématiciens et mathématiciennes qui y consacrent des carrières entières ? Les optimistes y voient un accélérateur : l'outil défriche, l'humain oriente, comprend et donne du sens. Les autres y voient le début d'un déclassement, où le travail de fond devient une ligne de facture API. Les deux lectures peuvent être vraies en même temps, et c'est bien ça le vertige.

Aucune date de sortie publique n'est annoncée, et c'est le prochain point à surveiller : le choix du nom définitif dira beaucoup de l'ambition (GPT-6 assumerait la rupture, GPT-5.7 jouerait la continuité). En face, Anthropic laisse monter les rumeurs autour de Claude Opus 5 qu'on évoquait fin juillet. L'automne 2026 des labos d'IA s'annonce nettement moins calme qu'un billet de blog de maths.