Un article déposé par Anthropic affirme qu’un modèle Claude interne a lui aussi réfuté l’Exponential Time Hypothesis

Un préprint publié sur hexagonmath.org, indiqué comme ayant été déposé par Anthropic le 27 octobre 2026, affirme proposer un algorithme déterministe pour 3-SAT sur n variables, dont le temps d’exécution est de 2^o(n), ce qui réfuterait l’Exponential Time Hypothesis (ETH). Il indique que l’algorithme résout également le problème plus difficile de #3-SAT, qui consiste à compter les affectations satisfaisantes, et que le résultat a été formalisé dans Lean 4.

Selon la déclaration de provenance de l’article, un modèle de recherche interne de Claude a trouvé l’algorithme central le 16 octobre, en utilisant 14 millions de jetons de sortie et sans intervention humaine, puis des chercheurs d’Anthropic ont travaillé avec Claude pour améliorer sa présentation. L’article ajoute qu’un modèle interne d’OpenAI affirme avoir prouvé, indépendamment et simultanément, un résultat similaire ; il cite le préprint d’OpenAI publié le 26 octobre. Toutes ces affirmations viennent des auteurs et n’ont pas été vérifiées indépendamment.

L’article a été partagé sur Hacker News (22 points et 6 commentaires au 27 octobre), où un commentateur a relevé que la date de découverte revendiquée est la même que celle d’OpenAI.