OpenAI a confirmé le 1er août qu’Astra serait sa prochaine grande famille de modèles, un système ayant résolu 10 problèmes de mathématiques, annoncé une semaine après Claude Opus 5 d’Anthropic.
À retenir
- OpenAI a officialisé le nom Astra le 1er août dans un billet de recherche décrivant dix problèmes de mathématiques résolus.
- Astra orchestre plusieurs agents sur un même problème pendant des heures, voire des jours, et reste pour l’instant non commercialisé, sans calendrier annoncé.
- Claude Opus 5 est disponible depuis le 24 juillet à 5 et 25 dollars par 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 dévoilé le nom dans un article de recherche attribuant à une version interne d’Astra dix avancées en mathématiques et en informatique théorique, sur des problèmes restés ouverts depuis au moins dix ans. Les travaux couvrent la géométrie de haute dimension, la théorie du codage et la complexité quantique, et l’une des démonstrations établit l’existence de groupes non sofiques.
La promesse ne repose pas sur la vitesse brute mais sur la durée de calcul : Astra coordonne plusieurs agents qui attaquent ensemble un même problème pendant des heures, parfois des jours.
Des révélations précédentes le situaient aux côtés des familles Sol, Terra et Luna, sans date de sortie ni décision 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 virage 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 à 5 dollars par million de tokens en entrée et 25 dollars par million de tokens en sortie, soit les mêmes tarifs qu’Opus 4.8. Le modèle a pris la tête de l’Artificial Analysis Intelligence Index avec 61 points, tout en revenant environ deux fois moins cher 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 près de trois fois le meilleur score public précédent, et 89,1 % sur Terminal-Bench 2.1 à effort maximal. Un porte-parole d’Anthropic a recommandé aux clients de tester plusieurs modèles concurrents sur une tâche bornée et sur un travail de long terme avant de s’engager.
Astra : avis des experts
Astra n’a ni prix public, ni tableau de benchmarks, ni évaluation indépendante, ce qui oblige les décideurs à arbitrer entre un produit disponible et une promesse de recherche.
Thomas Bloom, mathématicien à l’université de Manchester, a qualifié ces dix résultats de « grande nouvelle » sur X, et les a jugés plus significatifs que la précédente preuve publiée par OpenAI.
Bloom a aussi rejeté l’idée que le modèle remplace les mathématiciens, rappelant que ce sont des humains qui l’ont conçu et entraîné sur l’ensemble de la littérature produite par la communauté. Noam Brown, chercheur chez OpenAI, a noté qu’aucun Problème du Millénaire n’a été résolu et que l’équipe n’a pas dépensé de sommes considérables sur chaque cas.
Le spécialiste des sciences cognitives Gary Marcus a estimé que les résultats sont réels mais largement survendus, lointains d’un « problème réglé » pour les mathématiques.
Cette annonce intervient après un résultat publié en mai par la même famille de modèles de long horizon, qui a réfuté la conjecture d’Erdős sur la distance unité, un problème vieux de 80 ans en géométrie discrète. Le médaille Fields Tim Gowers avait alors déclaré qu’il recommanderait cette preuve aux Annals of Mathematics sans hésitation.
À suivre : Rumeurs sur l’iPhone pliable : 2 500 dollars, sans Face ID ni téléobjectif