OpenAI a dévoilé sa prochaine grande famille de modèles, Astra, via dix problèmes mathématiques résolus, alors que des rivaux chinois en open weight s’arrogent une part croissante du trafic mondial d’IA.
À retenir
- OpenAI a révélé Astra le 1er août dans un billet de recherche revendiquant la résolution de 10 problèmes ouverts depuis au moins dix ans.
- Le modèle n’a ni date de sortie, ni nom définitif, et devra passer un nouveau contrôle fédéral avant d’être proposé aux utilisateurs.
- Les modèles chinois en open weight traitent désormais la majorité des jetons routés, même si les laboratoires américains captent encore l’essentiel des dépenses.
Astra résout 10 problèmes mathématiques ouverts
La société a baptisé le modèle Astra le 1er août dans un article de recherche en mathématiques, plutôt que dans une annonce produit classique.
Une version interne d’Astra a produit de nouveaux résultats sur 10 problèmes en mathématiques et en informatique théorique, tous restés sans solution pendant au moins une décennie.
OpenAI a publié un manuscrit de 249 pages, accompagné de certificats de preuve Lean 4 vérifiables par machine, mis en ligne sur GitHub sous licence ouverte.
Le résultat phare est la première construction explicite d’un groupe non sofic, une question de théorie des groupes restée ouverte depuis 1999. Les chercheurs estiment que les jetons nécessaires aux dix démonstrations auraient coûté environ 2 000 dollars aux tarifs API de Sol, le modèle vedette actuel d’OpenAI.
À lire aussi : OpenAI a emmené des influenceurs dans un resort à la ferme, leurs abonnés ont vivement réagi
Les mathématiciens scrutent les preuves d’Astra
Thomas Bloom, mathématicien à l’Université de Manchester, qui tient une base publique de problèmes d’Erdős, a qualifié ces travaux d’événement majeur, les jugeant plus significatifs encore que le résultat de géométrie annoncé par OpenAI en mai.
Il récuse toutefois l’idée que les machines remplaceraient sa discipline, rappelant que le système a été entraîné sur plus d’un siècle d’écrits de mathématiciens. Noam Brown, chercheur chez OpenAI, précise que l’équipe s’est également attaquée, sans succès, à plusieurs autres questions célèbres. Aucun problème du prix du millénaire n’est tombé, mais il souligne que chaque tentative a consommé relativement peu de calcul et y voit une étape clé pour le raisonnement scientifique.
Sam Altman a présenté en avant-première le système à des parlementaires à Washington la semaine dernière, et Astra devrait être le premier modèle examiné dans le cadre d’un nouveau dispositif fédéral. L’entreprise n’a fixé aucune date de commercialisation et n’a pas tranché entre un lancement sous le nom GPT-6 ou comme nouvelle déclinaison de GPT-5.
Les open weights chinois rebattent les cartes de la demande en jetons
Ce calendrier est crucial, car le camp open weight ne compte plus attendre que les laboratoires américains tracent la frontière technologique. Le patron de Nvidia, Jensen Huang, a rallié le mois dernier plusieurs géants technologiques américains derrière les modèles à poids ouverts, tandis que le directeur général d’Anthropic, Dario Amodei, appelait à des tests de sûreté obligatoires et à un renforcement des contrôles à l’export sur les puces.
Moonshot AI a lancé Kimi K3 en juillet, un modèle de 2,8 billions de paramètres avec poids ouverts, présenté comme le plus grand modèle open weight jamais construit.
Sur OpenRouter, la part de jetons routés vers des modèles américains a reculé d’environ 70 % en juin 2025 à près de 30 % un an plus tard. En juin, les laboratoires américains captaient néanmoins encore près de 95 % des dépenses sur une grande passerelle d’IA dédiée aux entreprises, et c’est précisément ce fossé de revenus qu’Astra doit contribuer à défendre.
À suivre : Dogecoin se heurte au seuil de 0,05 $ avant un possible rallye vers 0,12 $
