Révolution algorithmique : deux intelligences artificielles bousculent un paradigme mathématique vieux de 25 ans

L’informatique théorique vit un séisme. Deux géants de l’intelligence artificielle revendiquent avoir percé un mystère mathématique qui tient en échec les chercheurs depuis un quart de siècle. Une révolution qui pourrait redessiner les fondements d’un domaine entier, mais dont les implications pratiques restent encore à démontrer.

Deux annonces quasi simultanées bouleversent le monde scientifique

Le 26 octobre 2026 restera une date marquante pour l’informatique théorique. OpenAI a dévoilé ce jour-là avoir réussi à invalider une conjecture formulée en 1999 concernant l’hypothèse du temps exponentiel (ETH). Moins de six heures plus tard, Anthropic emboîtait le pas avec sa propre annonce.

Cette double révélation ne provient pas de cerveaux humains, mais de modèles d’intelligence artificielle. Les démonstrations mathématiques ont été générées automatiquement et font désormais l’objet d’un examen minutieux par des spécialistes du domaine.

Des algorithmes théoriques aux limites pratiques évidentes

Les solutions proposées par les deux entreprises permettent de surpasser les méthodes par force brute pour certaines formules logiques spécifiques. Toutefois, leur application concrète demeure problématique.

L’algorithme développé par Anthropic illustre parfaitement cette limite : il exige un volume colossal de variables pour fonctionner efficacement. Au-delà d’une centaine de variables, l’approche par énumération exhaustive devient totalement irréalisable.

Pas de menace immédiate pour la cryptographie

Ryan Williams, figure respectée du domaine, rapporte qu’OpenAI est « raisonnablement confiante » qu’aucun système cryptographique clé n’est compromis. Les systèmes de sécurité actuels ne semblent donc pas directement menacés par ces avancées théoriques.

De même, l’article d’Anthropic affirme que les résultats ne concernent pas la résolution pratique des formules. Les solveurs SAT utilisés dans l’industrie, qui s’appuient sur des heuristiques éprouvées, restent inchangés.

Une révolution théorique aux ramifications considérables

Si la validation définitive intervient, les conséquences pour l’informatique théorique seront majeures. Plus de 800 travaux scientifiques s’appuient sur l’ETH et pourraient nécessiter une réévaluation complète.

Des problèmes mathématiques classiques comme le calcul de clique ou la couverture par sommets pourraient bénéficier d’algorithmes nettement plus performants. Cette perspective ouvre des horizons inédits pour la recherche fondamentale.

La question P contre NP demeure intacte

Malgré l’ampleur de la découverte, la célèbre énigme mathématique « P contre NP » reste non résolue. Cette question fondamentale continue de défier les meilleurs esprits de l’informatique théorique, qu’ils soient humains ou artificiels.

Un processus de vérification complexe et chronophage

Les démonstrations formelles ont déjà franchi une première étape cruciale grâce à des outils de vérification automatique comme Lean et nanoda. Mais le travail ne fait que commencer.

Un comité d’experts de premier plan, incluant Russell Impagliazzo, Ramamohan Paturi et Ryan Williams, coordonne actuellement l’examen humain approfondi. Selon Lance Fortnow, l’ETH peut d’ores et déjà être considérée comme réfutée.

Une submersion de publications mathématiques

La tâche des vérificateurs s’annonce titanesque. OpenAI avait déjà publié début octobre pas moins de 722 articles mathématiques générés par ses modèles. Ryan Williams qualifie ce déluge d’« attaque DDoS contre les mathématiciens ».

Cette accumulation massive de productions artificielles pose des défis inédits à la communauté scientifique, qui doit développer de nouvelles méthodes pour absorber et valider ces volumes de recherche.

D’autres percées mathématiques revendiquées

OpenAI ne s’est pas contentée de s’attaquer à l’ETH. L’entreprise revendique également des avancées sur la conjecture de lissage local de Christopher Sogge et sur l’existence de la théorie de Yang-Mills en quatre dimensions.

Ces affirmations, si elles sont confirmées, marqueraient des progrès spectaculaires dans des domaines mathématiques réputés pour leur difficulté. Les mois à venir seront déterminants pour établir la validité de ces résultats.