Anthropic publicó una prepublicación el 27 de octubre de 2026 que afirma contar con un algoritmo determinista de tiempo subexponencial para 3-SAT, un resultado que refutaría la Hipótesis del Tiempo Exponencial si supera la revisión.
En la prepublicación de Anthropic, el tiempo de ejecución declarado es 2^o(n), y el artículo afirma que el mismo enfoque también ofrece un resultado subexponencial para #3-SAT. Anthropic afirma que el algoritmo central fue hallado el 16 de octubre por un modelo interno de investigación Claude que utilizó 14M tokens de salida sin intervención humana, antes de que los investigadores trabajaran con Claude para desarrollar el artículo.
Anthropic también publicó un artefacto de Lean 4 junto con la prepublicación. Su README indica que Lean verifica las demostraciones, pero ninguna máquina comprueba que las afirmaciones de Lean coincidan exactamente con el artículo. El mismo repositorio también señala que el resultado es puramente asintótico, no una afirmación sobre la resolución práctica de SAT.
La principal salvedad es que sigue siendo una afirmación sin revisión. El artículo y la formalización son artefactos públicos, pero no sustituyen el escrutinio externo de teóricos de la complejidad.