OpenAI Astra résout 10 problèmes de mathématiques supérieures restés sans réponse pendant des décennies

Le 3 août 2026, OpenAI a publié les premiers résultats mathématiques d'une version interne d'Astra, son prochain modèle phare. Le système a obtenu seul dix solutions originales dans sept domaines des mathématiques supérieures, dont certaines n'avaient connu aucune avancée depuis plus de dix ans.

Ce qu'Astra a résolu

Astra est le nom de code de la prochaine grande version d'OpenAI, appelée à succéder à l'actuelle gamme GPT. L'entreprise a dévoilé la « feuille d'évaluation » du modèle dans le domaine des mathématiques, une discipline où le progrès se mesure traditionnellement non pas en mois, mais en années, voire en décennies.

Les dix nouveaux résultats couvrent sept domaines :

• Géométrie en grande dimension : objets évoluant dans des espaces de grande dimension
• Théorie des codes : fondements mathématiques de la transmission fiable de données
• Théorie des groupes : structures algébriques essentielles à la cryptographie et à la physique théorique
• Complexité des circuits arithmétiques : évaluation des ressources nécessaires aux calculs polynomiaux
• Complexité quantique : limites théoriques des algorithmes quantiques
• Cryptographie sur réseaux euclidiens : mathématiques des chiffrements post-quantiques, résistants aux ordinateurs quantiques
• Combinatoire extrémale : recherche de structures limites en mathématiques discrètes

Selon les documents officiels d'OpenAI, une partie des problèmes était restée ouverte « depuis au moins dix ans ». L'entreprise n'a pas divulgué les théorèmes concernés, seulement les domaines et le nombre total de résultats.

Pourquoi les mathématiciens sont désemparés

La réaction de la communauté académique est vive : sur les forums professionnels et les réseaux sociaux, des chercheurs décrivent ce qui se passe avec des mots allant de « l'admiration » à la « crise existentielle ».

L'inquiétude ne tient pas seulement à la vitesse. Si un système d'IA a obtenu des résultats que la communauté humaine n'a pas su atteindre en dix ans, c'est le contenu même du métier qui est en question : que signifie être mathématicien-chercheur dans un monde où un modèle de langage peut clore un problème ouvert ?

La nature de la méthode rend le sujet particulièrement sensible : Astra ne raisonne pas par déduction logique à partir d'axiomes, mais s'appuie sur des régularités statistiques dans d'immenses volumes de données. Les philosophes des mathématiques se sont aussitôt demandé si un tel résultat relève de la « découverte » ou de la « recherche » de configurations déjà existantes.

«

Les résultats représentent un progrès réel dans des domaines qui retiennent l'attention des spécialistes en mathématiques », indique le communiqué officiel d'OpenAI à l'issue des tests d'Astra.

Parmi les domaines concernés, la cryptographie sur réseaux euclidiens revêt une importance pratique particulière : c'est sur elle que reposent les standards de chiffrement post-quantiques adoptés par le NIST en 2024. Les nouveaux résultats théoriques pourraient donc avoir une incidence sur les standards réels de protection des données.

Ce que cela signifie

Les dix nouveaux résultats mathématiques de la version interne d'Astra constituent le premier signal public que les systèmes d'IA commencent à passer de la reproduction à la production de connaissances scientifiques. Pour la prochaine génération d'assistants IA, cela ouvre un potentiel radicalement différent sur les problèmes de grande complexité théorique.

Questions fréquentes

Qu'est-ce que le modèle Astra d'OpenAI ?

Astra est le nom de code du prochain modèle phare d'OpenAI, successeur de la gamme GPT actuelle. L'entreprise ne montre pour l'instant qu'une version interne ; la date de sortie publique n'a pas été annoncée.

Dans quels domaines

Astra a-t-elle obtenu des résultats mathématiques ?

Selon OpenAI, le modèle a produit des résultats dans sept domaines des mathématiques supérieures : géométrie en grande dimension, théorie des codes, théorie des groupes, complexité des circuits arithmétiques, complexité quantique, cryptographie sur réseaux euclidiens et combinatoire extrémale, soit dix résultats concrets au total.