OpenAI confirme Astra, sa prochaine grande famille de modèles, résolvant dix problèmes mathématiques ouverts à la fois

OpenAI a officiellement confirmé le nom de sa prochaine grande famille de modèles, Astra, et publié un rapport de mathématiques montrant qu'une version interne d'Astra a résolu dix problèmes auparavant non résolus en mathématiques et en informatique théorique. Les problèmes couvrent divers domaines, notamment la géométrie en haute dimension, la théorie des codes, la théorie des groupes, la complexité quantique, la cryptographie sur les réseaux et la combinatoire extrémale. Parmi les problèmes résolus figure une preuve de l'existence de groupes non sofiques, une question ouverte centrale en théorie des groupes. Le mathématicien Thomas Bloom de l'Université de Manchester a qualifié ces résultats de « grande nouvelle » sur X, les jugeant plus importants que le contre-exemple à la conjecture de distance unitaire publié en mai. Noam Brown, figure clé derrière la technologie de raisonnement au moment du test qui sous-tend Astra, a reconnu sur X qu'OpenAI a également échoué sur d'autres problèmes majeurs, notamment les problèmes du prix du millénaire, notant qu'ils n'avaient pas consacré beaucoup de puissance de calcul par problème et que le calcul au moment du test peut être étendu davantage. Brown a décrit Astra comme « une grande avancée pour le raisonnement scientifique ». Le coût de calcul pour les solutions a été remarquablement faible : selon OpenAI, les jetons requis auraient coûté environ 2 000 dollars aux prix API du modèle Sol. Les arguments ont ensuite été traités par des humains avec le même modèle pour produire des manuscrits, et chaque preuve a été formalisée en un certificat Lean, une confirmation vérifiable par machine de l'exactitude mathématique. OpenAI a également publié un récit du processus de réflexion du modèle pour chaque solution. La société a précisé que, bien qu'elle ait aidé à la préparation des manuscrits et à la formalisation et qu'elle assume la responsabilité de l'exactitude, les arguments mathématiques eux-mêmes provenaient du système, et revendiquer la paternité humaine pour une preuve entièrement générée par IA serait une fausse représentation à la fois de la contribution du système et de la nature du travail intellectuel humain authentique, en référence aux signataires de la Déclaration de Leiden sur l'IA et les mathématiques. Bloom a relativisé l'idée que l'IA remplace les mathématiciens, arguant qu'il n'est pas approprié de le dire lorsque l'IA s'appuie sur plus d'un siècle de théorie mathématique, a été construite par des mathématiciens et a été formée sur tout ce que les mathématiciens ont jamais écrit. Des rapports antérieurs indiquaient que le PDG Sam Altman avait présenté Astra à des politiciens et des régulateurs à Washington, D.C., et qu'Astra est une nouvelle classe de modèle distincte des familles existantes Sol, Terra et Luna, avec la possibilité d'être publiée sous le nom de GPT-6 ou comme une variante de la série GPT-5 telle que GPT-5.7. Astra devrait être le premier modèle à être soumis à un nouveau cadre prévu par l'administration Trump qui exige un examen du gouvernement fédéral avant la publication publique. Le modèle est conçu pour une collaboration multi-agents sur des périodes prolongées, visant à résoudre des projets complexes et des tâches mathématiques avancées. OpenAI a déclaré son objectif de développer des systèmes d'IA capables de travailler sur des problèmes pendant des heures ou des jours, et d'ici mars 2028, il vise à achever un chercheur en IA entièrement autonome.