Anthropic a publié une prépublication le 27 octobre 2026, affirmant disposer d’un algorithme déterministe en temps sous-exponentiel pour 3-SAT, un résultat qui réfuterait l’hypothèse du temps exponentiel (ETH) s’il résiste à l’examen.
Dans la prépublication d’Anthropic, le temps d’exécution annoncé est 2^o(n), et l’article indique que la même approche produit également un résultat sous-exponentiel pour #3-SAT. Anthropic affirme que l’algorithme central a été découvert le 16 octobre par un modèle interne de recherche Claude, avec 14M jetons générés et sans intervention humaine, avant que des chercheurs ne collaborent avec Claude pour rédiger l’article.
Anthropic a également publié un artefact Lean 4 avec la prépublication. Son README indique que Lean vérifie les preuves, mais qu’aucun outil ne vérifie que les énoncés Lean correspondent exactement à l’article. Le même dépôt précise également que le résultat est purement asymptotique et ne constitue pas une affirmation sur la résolution pratique de SAT.
La principale réserve est qu’il s’agit toujours d’une affirmation non évaluée par les pairs. L’article et la formalisation sont publics, mais ils ne remplacent pas l’examen externe par des théoriciens de la complexité.