OpenAI dévoile Astra : percées mathématiques inédites révélées

OpenAI dévoile Astra : percées mathématiques inédites révélées

OpenAI travaille sur une nouvelle famille de modèles d'IA appelée Astra, conçue pour gérer des tâches de longue durée et des problèmes complexes en coordonnant plusieurs agents travaillant ensemble.

Le PDG Sam Altman a déjà présenté Astra à Washington, D.C. Les modèles sont actuellement en phase de test et seront les premiers à passer par un processus d'examen gouvernemental américain prévu, qui nécessite une approbation officielle avant leur publication publique.

Le projet reflète l'ambition plus large d'OpenAI de construire des systèmes d'IA capables de travailler sur des problèmes en continu pendant des heures, voire des jours.

Mise à jour – 1er août 2026

OpenAI a publié son rapport mathématique, confirmant officiellement le nom Astra pour la première fois. La société indique qu'une version interne d'Astra, sa "prochaine grande famille de modèles," a résolu dix problèmes ouverts en mathématiques et en informatique théorique. Les mathématiciens n'avaient fait aucun progrès sur ces problèmes depuis au moins une décennie, et souvent bien plus longtemps.

Les résultats couvrent des domaines allant de la géométrie haute dimension et de la théorie des codes à la théorie des groupes, la complexité quantique, la cryptographie sur réseaux et la combinatoire extrémale. Une preuve établit l'existence de groupes non-sofiques, résolvant une question majeure en théorie des groupes.

Thomas Bloom, un mathématicien de l'Université de Manchester qui gère erdosproblems.com, a qualifié les résultats de "grande nouvelle" sur X. Il les considère comme plus significatifs que le contre-exemple à la conjecture de distance unitaire publié en mai. "Peut-être pas plus important qu'une preuve de distance unitaire, mais en termes de constructions, c'est énorme," a écrit Bloom.

Bloom a également rejeté l'idée que l'IA remplace les mathématiciens, arguant que cette affirmation n'a guère de sens 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.

Noam Brown, l'un des chercheurs derrière la technologie de raisonnement en temps de test utilisée par Astra, a déclaré sur X qu'OpenAI avait également essayé et échoué à résoudre d'autres problèmes majeurs. "Malheureusement, pas encore de problèmes du Prix du Millénaire," a-t-il écrit. L'Institut Clay de mathématiques offre 1 million de dollars pour la résolution de chacun des sept problèmes du Prix du Millénaire, mais un seul a été résolu depuis l'annonce des prix en 2000. Brown a ajouté, "Mais aussi, nous n'avons pas investi beaucoup sur chaque problème. Il est possible de pousser le calcul en temps de test beaucoup plus loin." Il a qualifié Astra de "pas majeur pour le raisonnement scientifique."

Les solutions d'Astra coûteraient environ 2 000 dollars aux tarifs API

OpenAI indique que les tokens utilisés pour générer les dix solutions auraient coûté environ 2 000 dollars aux tarifs API de Sol. Après que le modèle ait produit ses arguments, des humains ont travaillé avec le même modèle pour les transformer en articles de recherche. Le modèle a également formalisé chaque preuve dans Lean, créant des certificats de vérification machine de la correction mathématique, et OpenAI a publié un guide du processus de raisonnement du modèle pour chaque solution.

OpenAI a déclaré que ses chercheurs avaient aidé à préparer les articles et à formaliser les preuves, et que l'entreprise assume la responsabilité de leur exactitude. Cependant, les arguments mathématiques eux-mêmes provenaient d'Astra.

L'entreprise a soutenu que revendiquer l'autorité humaine pour une preuve générée entièrement par l'IA déformerait à la fois la contribution du système et la nature du véritable travail intellectuel humain, se référant à la Déclaration de Leiden sur l'IA et les Mathématiques comme référence pour la manière dont le crédit devrait être attribué dans la recherche assistée par l'IA.