Aller au contenu principal

OpenAI Astra : la note terrain de preview

Intermédiaire

Le 1er août 2026, OpenAI a prévisualisé sa prochaine grande famille de modèles — Astra — non pas par une keynote ou une page de lancement, mais en poussant dix preuves formalisées en Lean-4 de problèmes précédemment non résolus en mathématiques et en informatique théorique vers un dépôt GitHub public. Il n'y a pas d'API, pas de tarif, pas de surface ChatGPT, et pas de date de sortie. Chaque guide d'achat « Astra vs GPT-5.6 » ou « Astra vs Claude » que vous lirez cette semaine est de la spéculation habillée en reportage.

Cette page est la note terrain honnête pour un utilisateur Claude : ce qui est réellement confirmé, ce qui ne l'est pas, et si cela devrait changer quoi que ce soit à ce que vous faites aujourd'hui.

What you'll learn
  • Apprendre le mécanisme exact de l'annonce et ce qu'OpenAI a dit (et n'a PAS dit) le 1 août 2026
  • Lire les dix problèmes qu'Astra a résolus et comprendre pourquoi maths/TCS a été choisi comme surface de révélation
  • Séparer les faits confirmés (multi-agents, long-horizon, interne seulement) de la spéculation (taille de contexte, tarif, rollout ChatGPT, benchmarks)
  • Décider si continuer à construire sur Claude Opus 5 / Fable 5 aujourd'hui, ou attendre — avec une règle empirique concrète

La version en une phrase​

Astra est le modèle de prochaine génération multi-agents, long-horizon, interne seulement d'OpenAI, révélé via dix preuves math vérifiables en Lean ; ce n'est pas la même chose que GPT-5.6 Sol / Terra / Luna, et il n'a pas de surface produit — donc toute décision de migration que vous prenez ce mois-ci est encore une décision sur Claude vs GPT-5.6 vs Gemini 3.6, pas sur Astra.

Ce qu'OpenAI a réellement dit (et n'a pas dit)​

La divulgation est inhabituelle : OpenAI a annoncé son « prochain grand modèle » dans le troisième paragraphe d'un post de recherche, sans communiqué de presse, sans benchmarks, sans disponibilité, et sans tarif. Ce cadrage vous dit autant que le modèle lui-même — il dit « pas encore un produit, encore sous revue réglementaire. »

Confirmé le 1 août 2026​

  • Astra est un nom de famille de modèles. OpenAI le décrit comme « notre prochain grand modèle ». Il se place aux côtés — pas à l'intérieur — des tiers GPT-5.6 Sol / Terra / Luna.
  • Les résultats sont venus d'une version interne. Pas l'app ChatGPT, pas l'API, pas un checkpoint partenaire seulement.
  • La surface de révélation est maths + TCS. Dix problèmes précédemment non résolus, chacun avec une preuve Lean-4 poussée vers github.com/openai/ten-proofs sous Apache-2.0.
  • Le système est multi-agents et long-horizon. Le cadrage propre d'OpenAI est qu'Astra est « conçu pour coordonner plusieurs agents travaillant ensemble sur des tâches long-running sur des heures ou des jours », visé à la recherche, au codage et aux problèmes scientifiques.
  • Ancre de coût (pas tarif du modèle). OpenAI a écrit que les tokens utilisés pour générer les dix solutions « auraient coûté environ 2 000 $ aux tarifs API de Sol ». Ce n'est pas le prix catalogue d'Astra, le coût par preuve, ni la garantie de reproductibilité — c'est une ancre de volume de tokens tarifée contre le compteur d'un autre modèle.
  • Chemin de revue gouvernement. Sam Altman a fait une démo du système à des officiels fédéraux U.S. à Washington, D.C. fin juillet 2026. Le reportage positionne Astra comme susceptible d'être le premier modèle soumis sous le nouveau cadre U.S. exigeant une revue fédérale avant sortie publique.
  • Citation nommée. Le chercheur OpenAI Noam Brown a appelé Astra « une étape majeure pour le raisonnement scientifique » et a noté, « malheureusement, aucun Problème du Prix du Millénaire (pour l'instant). »

Non confirmé, malgré ce que vous pourriez lire​

  • Pas de date de sortie. Pas de calendrier de rollout ChatGPT, pas de GA API, pas d'inscription bêta.
  • Pas de tarif. Ni par token, ni par run, ni par tier.
  • Pas de taille de fenêtre de contexte, pas de max output.
  • Pas de revendications multi-modales. Rien sur l'image, l'audio, ou la vidéo n'est affirmé.
  • Pas de benchmarks tête-à-tête. Pas de SWE-Bench, pas d'ARC-AGI, pas de chiffres Frontier-Bench.
  • Pas de réponse à « est-ce GPT-6 ? ». OpenAI n'a pas dit si Astra sort comme GPT-6, comme une autre release ponctuelle GPT-5.x, ou sous son propre nom.
  • Pas de confirmation de la structure de tiers. Le pattern Sol/Terra/Luna de GPT-5.6 n'a pas été mappé sur Astra.

Si un titre vous donne l'un des éléments ci-dessus comme fait cette semaine, l'article spécule.

Les dix preuves, en un écran​

Le choix de révéler Astra à travers des preuves Lean-4 formalisées de problèmes ouverts fait beaucoup de travail : cela permet à OpenAI de faire une revendication de capacité qui est vérifiable par machine, pas un chiffre de leaderboard qui pourrait être manipulé. Si les preuves vérifient avec lake build All, la revendication mathématique est réelle indépendamment de ce que vous pensez du modèle.

#ProblèmeDomaine
1Bornes supérieures asymptotiques améliorées sur la densité d'empilement de sphèresGéométrie de haute dimension
2Bornes supérieures exponentiellement plus fortes pour codes binairesThéorie du codage
3Une construction d'un groupe non-sofiqueThéorie des groupes / algèbres d'opérateurs
4Un contre-exemple à la conjecture de rigidité de ConnesAlgèbres d'opérateurs
5Nouvelles bornes inférieures pour calculer le permanentComplexité de circuits arithmétiques
6Répétition parallèle exponentielle pour jeux finis arbitrairesComplexité quantique
7Dureté d'approximation polynomiale pour le Problème du Vecteur le Plus ProcheCryptographie sur réseaux
8Le volume maximum affiné dans chaque dimension (Ehrhart)Géométrie discrète
9Une borne inférieure superexponentielle pour les nombres de Ramsey multi-couleursCombinatoire extrémale
10Contre-exemples aux conjectures de compacité et de dégénérescenceThéorie des nombres extrémale

Pourquoi maths + TCS était la surface de révélation​

Trois raisons pratiques — aucune mystérieuse une fois que vous les remarquez :

  1. Les revendications vérifiables par machine ne peuvent pas être filées. Un chiffre de benchmark est un pixel marketing ; une preuve Lean soit type-check soit non. C'est la déclaration de capacité la plus propre possible dans une année où les revendications de chaque labo sont mises en question.
  2. Pas d'accusations de gaming de leaderboard. Personne ne soupçonne Astra d'avoir mémorisé les solutions à des problèmes précédemment non résolus.
  3. Optique réglementaire. OpenAI fait marcher Astra à travers le nouveau processus de revue fédérale U.S. « Notre nouveau modèle a avancé des questions ouvertes en cryptographie et complexité quantique » est un cadrage très différent de « notre nouveau modèle a fait 96% sur SWE-Bench ».

Ce que cela change à votre décision Claude vs GPT-5.6 aujourd'hui​

Rien qui exige une action ce mois-ci. Astra n'a pas de surface produit : vous ne pouvez pas construire dessus. Votre arbitrage en direct est encore celui de Choisir un modèle :

  • Ingénierie logicielle sur vrai dépôt, gros refactors, longues boucles d'outils sur une plateforme bien gérée → Claude Opus 5 (claude-opus-5) ou Fable 5 (voir Guide terrain Opus 5, Fable 5 / Mythos 5 flagship).
  • Travail long-contexte haut-volume au tier viable le moins cher → GPT-5.6 Luna à 1 $ in / 6 $ out avec le contexte complet 1,05M (Sol / Terra / Luna).
  • Tâches browser-lourdes ou de forme agent-indexé → GPT-5.6 Sol ou Gemini 3.6 Flash (Famille Gemini 3.6 Flash).
  • Recherche multi-agents long-horizon ou ingénierie — la forme exacte qu'Astra vise — le plus proche disponible aujourd'hui est la bêta APIs multi-agents natives sur l'API Responses OpenAI, et les managed agents + memory stores d'Anthropic. Les deux sont des produits en livraison ; Astra n'en est pas.

Devez-vous attendre Astra ?​

Guided walkthrough1 of 4
  1. Astra n'a pas d'API, pas de tarif, et pas de fenêtre de sortie publiquement déclarée. La divulgation est un post de recherche, pas une annonce produit. Livrez sur ce qui existe ; migrez plus tard si le prix/qualité en vaut la peine.

Vérifier les dix preuves localement

# Requires elan (Lean toolchain manager)
# Install: curl -sSf https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh | sh
git clone https://github.com/openai/ten-proofs.git
cd ten-proofs
lake exe cache get     # pre-built mathlib artifacts
lake build All         # type-checks every proof; exits 0 on success

Si lake build All sort 0, chacune des dix preuves type-check contre mathlib. C'est la revendication de capacité la plus forte qu'OpenAI a publiée cette année et elle est vérifiable sur votre laptop.

Trois choses que les journalistes se trompent en permanence​

Appuyez sur Entrée ou Espace pour retourner la carte. Utilisez les flèches gauche et droite pour naviguer entre les cartes.Terme affiché.
1 / 5

Où AILmanac mettra à jour cette page​

Nous bumperons lastVerified sur cette page uniquement quand OpenAI publiera une model card, un endpoint API, une feuille de tarif, ou une note officielle de rollout ChatGPT — pas sur rumeur. Pendant ce temps, les dix preuves et le cadrage multi-agents sont les faits durables à retenir.

  • Quand il y aura une page de tarif → cette page deviendra un guide terrain Astra complet avec une table de tiers, dans la même forme que Sol / Terra / Luna et Opus 5.
  • Quand il y aura une API → nous ajouterons une section « portez votre prompt Claude Opus 5 vers Astra », aux côtés de notre guide existant porter les prompts entre modèles.
  • Si Anthropic livre une primitive « multi-agents long-horizon » comparable → nous mettrons à jour managed agents et cross-linkerons.

Check yourself

0/3
  1. Qu'est-ce qu'OpenAI a réellement confirmé sur Astra le 1 août 2026 ?
  2. Le chiffre « Astra coûte environ 2 000 $ » dans la divulgation fait référence à…
  3. Lequel de ceux-ci devrait changer dans votre architecture Claude en production ce mois-ci à cause d'Astra ?

Sources & lectures complémentaires​

Suite​

  • Modèles & tarifs actuels — la table de tarif en direct qu'AILmanac garde sourcée aux docs officiels (Astra sera ajouté le jour où il a un prix officiel).
  • Ce mois-ci en Claude & IA — le digest roulant où les nouveaux faits Astra atterrissent à mesure qu'OpenAI les publie.
  • Harnais d'agents long-running — l'écriture de frontière sur la forme de travail qu'Astra vise, depuis le côté Claude / Managed-Agents.