Anthropic affirme que Claude a lui aussi réfuté l'hypothèse du temps exponentiel

Anthropic met en ligne un article signé « Claude (Anthropic) », « A 2^o(n) Time Algorithm for 3-SAT », avec sa formalisation en Lean 4, écrite par des modèles. Il décrit un algorithme déterministe qui résout 3-SAT en temps sous-exponentiel, donc réfute l'ETH, et compte les solutions en temps 2^O(n log log n / √log n). Le dépôt précise que le résultat est purement asymptotique et que les preuves Lean ne dépendent que des trois axiomes standard de Lean. Selon la phrase citée par Levent Alpöge, l'algorithme central a été trouvé le 16 octobre par un modèle de recherche interne de Claude, avec 14 millions de jetons de sortie et sans intervention humaine.

Peu avant, OpenAI avait annoncé un résultat voisin : un algorithme de comptage sous-exponentiel, dans un article daté du 17 octobre et révisé le 25. Les deux textes sont des prépublications, sans relecture externe mentionnée.