OpenAI a présenté le 1er août Astra, son prochain grand modèle, en dévoilant dix résultats à des problèmes de mathématiques et d’informatique théorique restés ouverts depuis au moins dix ans. Sam Altman en a fait la démonstration à des régulateurs à Washington, mais le modèle n’est pas public : il reste en test et devra passer un futur cadre fédéral d’approbation avant toute sortie.
Pour résumer
- Astra a produit dix résultats sur des problèmes ouverts depuis une décennie, du côté géométrie, cryptographie sur réseaux et théorie des groupes.
- OpenAI a formalisé les preuves en Lean et revendique la responsabilité de leur exactitude, les arguments venant du modèle.
- Le modèle reste en phase de test, sans date de sortie, et serait le premier soumis au nouveau cadre d’approbation fédéral américain.
Dix problèmes ouverts depuis une décennie
Le geste est inhabituel : OpenAI ne montre pas un benchmark, mais des résultats. L’entreprise a publié dix solutions à des problèmes qui n’avaient connu aucun progrès sur leur résultat principal depuis au moins dix ans, et souvent bien davantage.
Les domaines couverts ne sont pas anodins. Ils vont de la géométrie en haute dimension à la théorie du codage, en passant par la complexité des circuits arithmétiques, la théorie des groupes, la complexité quantique, la cryptographie sur réseaux et la combinatoire extrémale. Autant de terrains où une avance se compte d’ordinaire en années de travail humain.
Le point de méthode compte autant que le résultat. OpenAI précise que les arguments mathématiques ont été générés par le système, tandis que l’entreprise a préparé les manuscrits et formalisé les preuves en Lean, un langage qui transforme une démonstration en certificat vérifiable par machine. Elle assume la responsabilité de leur exactitude.
Ce n’est pas le premier signal de ce type. En mai, OpenAI avait déjà partagé la réfutation, générée par un modèle non publié, d’une conjecture ancienne sur les distances unités. La démonstration de dix résultats d’un coup change toutefois d’échelle, et déplace la question du coup d’éclat isolé vers une capacité revendiquée comme reproductible.
Un modèle taillé pour les tâches longues
Astra n’est pas présenté comme un chatbot plus rapide, mais comme un modèle conçu pour des tâches qui s’étendent sur des heures, voire des jours. Il coordonne plusieurs agents qui travaillent ensemble, une orientation qui prolonge le virage déjà pris avec l’application agent qui a remplacé le vieux ChatGPT conversationnel.
Le coût raconté par OpenAI surprend par sa modestie. Générer l’ensemble des dix solutions aurait coûté environ 2 000 dollars en tarifs d’API. Les équipes de recherche insistent sur ce point : chaque problème a mobilisé peu de calcul, et il resterait une large marge pour pousser le calcul au moment de l’inférence bien plus loin.
Cette économie change la lecture. Si des résultats de ce niveau tiennent dans un budget de quelques milliers de dollars, la variable limitante n’est plus le prix du calcul, mais la capacité à orchestrer un modèle sur une tâche longue sans qu’il dérive. C’est exactement le terrain où OpenAI concentre ses efforts produit, comme lorsque GPT-5.5 Instant est devenu le modèle par défaut pour absorber le volume courant.
L’implication concurrentielle est directe. Un modèle capable de tenir un raisonnement scientifique sur plusieurs jours vise un marché que personne n’occupe encore vraiment, celui de la recherche assistée à grande échelle. Les autres labs devront montrer non pas un meilleur score d’examen, mais une endurance comparable sur des problèmes réels.
D’autres articles sur Horizon
- DeepSeek V4 Flash talonne GPT-5.6 Luna à 60 % moins cher
- GPT-5.6 Luna : OpenAI casse son prix de 80 %
- Gemini Robotics ER 2 fait collaborer plusieurs robots
Pas encore public, et un feu réglementaire à passer
La nuance qui tempère l’annonce tient en un mot : Astra n’est pas disponible. Le modèle reste en test, sans date de sortie annoncée, et OpenAI n’a pas tranché s’il sortirait sous le nom GPT-6 ou sous une variante intermédiaire.
Un obstacle inédit se dresse en amont. Astra serait le premier modèle soumis à un nouveau cadre du gouvernement américain, qui impose une approbation fédérale avant toute mise à disposition. L’administration prévoyait de finaliser ce cadre dans la même semaine, ce qui fait de la démonstration à Washington autant une opération scientifique qu’un exercice de lobbying.
Le contraste avec le reste de la gamme est frappant. Pendant qu’Astra vise la recherche fondamentale, OpenAI pousse ses modèles courants vers l’usage quotidien, comme ChatGPT Voice qui pilote désormais tout l’ordinateur. Deux fronts, une même logique : occuper à la fois le sommet scientifique et le volume grand public.
Reste la prudence d’usage. Dix preuves formalisées et vérifiables en Lean sont un signal sérieux, mais une démonstration triée sur le volet ne dit rien de la fiabilité du modèle sur un problème choisi au hasard. La vraie épreuve viendra quand des chercheurs extérieurs pourront lancer Astra sur leurs propres questions.
Le calendrier réglementaire pèsera lourd. Si le cadre fédéral se durcit, Astra pourrait rester en vitrine plusieurs mois, le temps que l’approbation suive. Le modèle qui résout des problèmes ouverts depuis dix ans devra d’abord patienter devant un guichet administratif tout neuf.
Affaire à suivre sur Horizon.
