OpenAI a dévoilé sa prochaine grande famille de modèles, Astra, à travers 10 problèmes de mathématiques résolus, au moment même où les rivaux chinois en open-weight captent une part croissante du trafic mondial d’IA.
Points clés :
- OpenAI a présenté Astra le 1er août dans un article de recherche revendiquant la résolution de 10 problèmes restés 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’atteindre les utilisateurs.
- Les modèles open-weight chinois concentrent désormais la majorité des jetons acheminés, même si les laboratoires américains captent encore l’essentiel des dépenses.
Astra résout 10 problèmes ouverts de mathématiques
La société a baptisé le modèle Astra le 1er août, dans un billet de recherche en mathématiques plutôt que par une annonce produit classique.
Une version interne d’Astra a produit de nouveaux résultats sur dix problèmes en mathématiques et en informatique théorique, tous restés sans solution depuis au moins une décennie.
OpenAI a publié un manuscrit de 249 pages ainsi que des certificats de preuve Lean 4 vérifiables par machine 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 en suspens depuis 1999. Selon les chercheurs, les jetons nécessaires aux dix solutions auraient coûté environ 2 000 $ aux tarifs API de Sol, le modèle vedette actuel de la société.
À lire aussi : OpenAI a emmené des influenceurs dans une ferme-resort, leurs communautés ont vivement réagi
Les mathématiciens examinent les preuves d’Astra
Thomas Bloom, mathématicien à l’Université de Manchester qui tient une base de données publique des problèmes d’Erdős, a qualifié ces travaux de grande nouvelle, les situant au‑dessus du résultat de géométrie annoncé par OpenAI en mai.
Il rejette l’idée d’un remplacement des mathématiciens par les machines, en rappelant que le système a été entraîné sur plus d’un siècle de littérature mathématique. Noam Brown, chercheur chez OpenAI, indique que l’équipe a aussi tenté – sans succès – de s’attaquer à plusieurs autres questions célèbres. Aucun problème du Prix du Millénaire n’a été résolu, mais il souligne que chaque tentative a consommé relativement peu de calcul et présente l’ensemble comme un progrès majeur 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 sortie et n’a pas décidé si cette famille serait commercialisée comme GPT‑6 ou comme une nouvelle variante de GPT‑5.
Les open weights chinois redessinent la demande en jetons
Ce calendrier est crucial, car le camp open-weight a cessé d’attendre que les laboratoires américains fixent la frontière technologique. Le patron de Nvidia, Jensen Huang, a rallié le mois dernier plusieurs géants technologiques américains derrière les open weights, tandis que le directeur général d’Anthropic, Dario Amodei, plaidait pour des tests de sécurité obligatoires et un renforcement des contrôles à l’exportation de puces.
Moonshot AI a lancé Kimi K3 en juillet, avec 2,8 billions de paramètres et des poids ouverts, présenté comme le plus grand modèle open-weight construit à ce jour.
Sur OpenRouter, la part des jetons dirigés vers les 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 percevaient toutefois encore près de 95 % des dépenses sur une grande passerelle d’IA pour entreprises, et c’est précisément cet écart de revenus qu’Astra devra défendre.
À suivre : Dogecoin teste le seuil de 0,05 $ avant un possible rallye vers 0,12 $