OpenAI Astra решила 10 задач высшей математики, не поддававшихся десятилетиями

OpenAI a publié le 3 août 2026 les premiers résultats mathématiques de la version interne d'Astra — son prochain modèle phare : le système a obtenu de manière autonome dix solutions originales dans sept domaines des mathématiques avancées, dont certains n'avaient connu aucune progression depuis plus de dix ans.

Ce qu'Astra a résolu

Astra est le nom de code du prochain lancement principal d'OpenAI, successeur de l'actuelle gamme GPT. L'entreprise a dévoilé la « fiche d'évaluation » du modèle précisément dans le domaine des mathématiques — une discipline où le progrès se mesure traditionnellement non pas en mois, mais en années et en décennies.

Les dix nouveaux résultats couvrent sept sections :

• Géométrie en haute dimension — objets 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 clés pour la cryptographie et la physique théorique
• Complexité des circuits arithmétiques — estimation des ressources pour les calculs polynomiaux
• Complexité quantique — limites théoriques des algorithmes quantiques
• Cryptographie sur les réseaux euclidiens — mathématiques des chiffrements post-quantiques résistants aux ordinateurs quantiques
• Combinatoire extrémale — recherche de structures extrémales en mathématiques discrètes

Selon les documents officiels d'OpenAI, certains problèmes étaient restés ouverts « pendant au moins dix ans ». L'entreprise n'a pas divulgué les théorèmes spécifiques — seulement les domaines et le nombre total de résultats.

Pourquoi les mathématiciens ont été déstabilisés

La réaction de la communauté académique a été vive : dans les forums professionnels et les réseaux sociaux, les scientifiques ont décrit ce qui se passait avec des mots allant de l'« admiration » à la « crise existentielle ».

La source d'inquiétude n'est pas seulement la vitesse. Si un système d'IA a obtenu des résultats que la communauté humaine n'avait pas pu obtenir en plusieurs décennies, cela remet en question la substance du métier : que signifie être un mathématicien chercheur dans un monde où un modèle de langage est capable de résoudre un problème ouvert ?

Particularly painful was the specificity of the method : Astra ne travaille pas avec la logique déductive à partir d'axiomes, mais avec des régularités statistiques dans d'immenses ensembles de données. Les philosophes des mathématiques ont immédiatement soulevé la question — un tel résultat constitue-t-il une « découverte » ou une « recherche » de configurations déjà existantes ?

«

Les résultats représentent un progrès réel dans des domaines qui attirent 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 les réseaux euclidiens revêt une importance pratique particulière : c'est sur elle que sont construits les standards de chiffrement post-quantique adoptés par le NIST en 2024. Les nouveaux résultats théoriques dans ce domaine sont susceptibles d'affecter les standards réels de protection des données.

Ce que cela signifie

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 AI, cela signifie un potentiel fondamentalement différent dans le traitement de problèmes d'une haute 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 l'actuelle gamme GPT. L'entreprise ne présente pour l'instant que la 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 démontré des résultats dans sept domaines des mathématiques avancées : la géométrie en haute dimension, la théorie des codes, la théorie des groupes, la complexité des circuits arithmétiques, la complexité quantique, la cryptographie sur les réseaux euclidiens et la combinatoire extrémale — dix résultats spécifiques au total.