OpenAI a confirmé le 1er août Astra comme sa prochaine grande famille de modèles, un système qui a résolu 10 problèmes de maths, dévoilé une semaine après Claude Opus 5 d’Anthropic.
Points clés
- OpenAI a officialisé le nom Astra le 1er août dans un billet de recherche présentant dix problèmes de maths résolus.
- Astra orchestre plusieurs agents sur un même problème pendant des heures, voire des jours, et reste pour l’instant non publié, sans calendrier de sortie.
- Claude Opus 5 est disponible depuis le 24 juillet à 5 et 25 dollars le million de tokens, avec une fenêtre de contexte d’un million de tokens.
OpenAI Astra : ce que l’on sait du modèle
OpenAI a annoncé le nom Astra dans un article de recherche attribuant à une version interne du modèle dix avancées en mathématiques et en informatique théorique, sur des problèmes ouverts depuis au moins dix ans. Les travaux couvrent la géométrie de haute dimension, la théorie des codes et la complexité quantique, et l’une des preuves établit l’existence de groupes non sofiques.
Le positionnement d’Astra met davantage l’accent sur la durée des raisonnements que sur la vitesse brute : le système coordonne plusieurs agents qui travaillent de concert sur un même problème pendant des heures ou des jours entiers.
Des révélations précédentes le plaçaient aux côtés des familles Sol, Terra et Luna, sans date de sortie annoncée ni décision arrêtée sur un éventuel label GPT‑6 ou GPT‑5.7. Sam Altman a présenté le système à des responsables politiques à Washington, et cette famille de modèles devrait être la première examinée dans le cadre d’un futur dispositif fédéral d’agrément.
À lire aussi : Infrastructures IA : le pivot désespéré à 1 milliard de dollars d’un prêteur sur salaire vers les data centers
Claude Opus 5 : prix et performances
Anthropic a lancé Claude Opus 5 le 24 juillet, au tarif de 5 dollars par million de tokens en entrée et 25 dollars par million de tokens en sortie, soit le même barème que pour Opus 4.8. Le modèle a pris la tête de l’Artificial Analysis Intelligence Index avec un score de 61 points, tout en coûtant environ deux fois moins par tâche que Fable 5.
Le modèle gère une fenêtre de contexte d’un million de tokens et limite la sortie à 128 000 tokens. Il a obtenu 30,2 % sur ARC‑AGI‑3, soit environ trois fois le meilleur résultat publié précédent, et 89,1 % sur Terminal‑Bench 2.1 avec les paramètres d’effort maximum. Un porte‑parole d’Anthropic a recommandé aux clients de tester plusieurs modèles concurrents sur une tâche bien bornée et sur un scénario long terme avant de s’engager.
Astra : réactions d’experts
Astra n’a ni grille tarifaire publique, ni tableau de benchmarks, ni tests indépendants, ce qui oblige les décideurs à arbitrer entre un produit opérationnel et une promesse de recherche.
Thomas Bloom, mathématicien à l’université de Manchester, a salué sur X ces dix résultats comme une « grande nouvelle » et les a jugés plus significatifs que la précédente preuve publiée par OpenAI.
Bloom a aussi réfuté l’idée que le modèle rende les mathématiciens obsolètes, rappelant que des humains l’ont conçu et qu’il a été entraîné sur l’ensemble de la littérature produite par la communauté mathématique. Noam Brown, chercheur chez OpenAI, a souligné qu’aucun Problème du millénaire n’avait été résolu et que l’équipe n’avait pas investi des budgets colossaux sur chacun des cas étudiés.
Le cognitiviste Gary Marcus a estimé que les résultats étaient réels, mais largement survendus comme si le domaine était « réglé ».
Cette annonce intervient après un résultat obtenu en mai par la même famille de modèles à horizon long, qui a réfuté la conjecture d’Erdős sur les distances unités, un problème vieux de 80 ans en géométrie discrète. Le médailleur Fields Tim Gowers avait alors déclaré qu’il recommanderait sans hésiter cette preuve aux Annals of Mathematics.
À suivre : Rumeurs sur l’iPhone pliable : 2 500 dollars, pas de Face ID, pas de téléobjectif
