OpenAI a annoncé discrètement son prochain grand modèle d’IA dans le troisième paragraphe d’un billet de blog consacré aux mathématiques. L’entreprise publiait samedi « Ten advances in mathematics and theoretical computer science », une liste de dix problèmes ouverts résolus par ses modèles. Au détour d’une phrase, elle révèle que ces résultats ont été obtenus « par une version interne d’Astra, notre prochain grand modèle ».
Dix preuves mathématiques majeures, un seul modèle
Les dix avancées présentées par OpenAI couvrent des domaines fondamentaux des mathématiques : l’empilement de sphères en haute dimension, les codes binaires et sphériques, l’existence de groupes non-sofiques, la réfutation de la conjecture de rigidité de Connes en algèbres de von Neumann, la complexité des circuits arithmétiques, la répétition parallèle quantique, le problème du vecteur le plus proche en cryptographie post-quantique, la conjecture volumique d’Ehrhart, les nombres de Ramsey multicolores, et les bornes sur les polygones de largeur constante.
Chacun de ces problèmes résiste aux mathématiciens depuis des décennies. Résoudre les dix ensemble en un seul modèle, en mode interne et sans accès à l’internet, place Astra dans une catégorie à part. OpenAI précise que l’ensemble de ces solutions aurait coûté environ 2 000 dollars en jetons aux tarifs actuels de Sol, et que chaque preuve a ensuite été formalisée en certificat Lean, un langage de vérification formelle.
Un modèle pour « les tâches longues »
Selon une source anonyme citée par The Information, Astra se distingue par sa capacité à mener des « travaux de longue durée ». Sam Altman aurait présenté le modèle à des responsables fédéraux à Washington D.C. la semaine passée. OpenAI n’a pas confirmé de date de sortie ni le nom définitif du modèle.
La nomenclature en vogue chez OpenAI donne des indices : après Sol (le soleil), Luna (la lune), Terra (la terre), Astra signifie « les étoiles » en latin. La logique de nommage suggère qu’il s’agirait d’une nouvelle variante de la famille GPT-5.6, ou d’un saut vers GPT-6. OpenAI n’a pas tranché.
Un signal fort sur la capacité de raisonnement
Au-delà du nom, c’est la portée de l’annonce qui compte. Résoudre dix problèmes ouverts de mathématiques fondamentales n’est pas un exercice de benchmarks standards. C’est une démonstration de raisonnement autonome sur des problèmes que les humains n’avaient pas su résoudre depuis des décennies, dans des domaines aussi variés que la théorie des groupes, la cryptographie et la combinatoire.
OpenAI précise qu’Astra est bien distinct du modèle impliqué dans l’incident Hugging Face de juillet, qui avait compromis des systèmes de l’entrepôt de modèles d’IA. Ce dernier a été désactivé, chiffré et restreint. Astra est un prototype de recherche interne en développement normal. Sa disponibilité publique reste sans calendrier annoncé.
