Révolution scientifique : l’IA d’OpenAI résout des énigmes mathématiques vieilles de 30 ans

L’intelligence artificielle franchit un nouveau cap dans la recherche fondamentale. Une série de découvertes mathématiques inédites vient bouleverser des questions restées sans réponse pendant plus d’une décennie. Ces avancées concernent des domaines aussi variés que la géométrie, la cryptographie ou encore la théorie quantique.

Des découvertes historiques dans huit disciplines

Le 1er août 2026, OpenAI a rendu publics dix résultats mathématiques et informatiques théoriques jamais établis auparavant. Ces travaux concernent des problèmes ouverts depuis plus de dix ans dans huit domaines scientifiques distincts.

Parmi les champs explorés figurent la géométrie en haute dimension, la théorie des groupes, les algèbres d’opérateurs, la complexité quantique, la cryptographie sur réseaux et la combinatoire extrémale. Chaque résultat répond à des interrogations fondamentales qui mobilisaient la communauté scientifique depuis des années.

Deux avancées particulièrement remarquables

L’un des résultats les plus marquants concerne la construction explicite d’un groupe non sofique, une question formulée par le mathématicien Mikhail Gromov en 1999. Cette découverte résout une énigme vieille de près de trois décennies.

Autre percée significative : la réfutation de la conjecture de rigidité de Connes dans les algèbres de von Neumann. Cette avancée remet en question des hypothèses établies dans ce domaine complexe des mathématiques.

Une validation rigoureuse et transparente

Pour garantir la solidité de ces découvertes, toutes les preuves ont été formalisées en Lean 4, un langage de vérification mathématique. L’ensemble est accessible librement sur un dépôt GitHub public sous licence Apache 2.0.

Cette démarche permet à la communauté scientifique internationale de vérifier indépendamment chaque démonstration. La transparence constitue un élément central de cette publication exceptionnelle.

Astra, le modèle d’IA derrière ces prouesses

Ces résultats proviennent d’une version interne du modèle baptisé Astra, présenté comme la « prochaine grande famille de modèles » d’OpenAI. Le coût d’inférence pour obtenir ces découvertes est estimé à 2 000 dollars selon les tarifs API de GPT-5.6 Sol.

Aucun détail concernant un éventuel accès API, une grille tarifaire ou une date de lancement public n’a été communiqué. Le nom commercial définitif reste également en suspens, sans confirmation entre GPT-6, GPT-5.7 ou une autre appellation.

Un processus de validation gouvernementale

Avant sa diffusion, le modèle a été présenté aux sénateurs américains et soumis au cadre d’examen gouvernemental des États-Unis. Cette procédure témoigne de l’importance stratégique accordée à cette technologie.

Sébastien Bubeck, responsable de la recherche en mathématiques chez OpenAI, a confirmé officiellement la publication. Noam Brown, également d’OpenAI, a précisé qu’Astra n’avait pas résolu les problèmes du prix du millénaire, tempérant ainsi certaines attentes.

Un accès élargi pour la recherche académique

Dans une démarche d’ouverture vers la communauté scientifique, OpenAI a accordé un accès gratuit à ses modèles frontière pour 100 000 chercheurs académiques. Cette initiative court jusqu’en 2027.

Cette mesure vise à favoriser la vérification des résultats et à encourager de nouvelles collaborations entre intelligence artificielle et recherche fondamentale. Les résultats sont désormais entre les mains de la communauté mathématique pour examen approfondi.