Un artículo presentado por Anthropic afirma que un modelo interno de Claude también refutó la hipótesis del tiempo exponencial

Un preprint en hexagonmath.org, que figura como presentado por Anthropic el 27 de octubre de 2026, afirma que existe un algoritmo determinista para 3-SAT con n variables que se ejecuta en 2^o(n) tiempo, lo que refutaría la hipótesis del tiempo exponencial (ETH). Señala que el algoritmo también resuelve el problema más difícil de #3-SAT, que cuenta las asignaciones que satisfacen la fórmula, y que el resultado se formalizó en Lean 4.

Según la declaración de procedencia del artículo, un modelo interno de investigación de Claude encontró el algoritmo central el 16 de octubre utilizando 14 millones de tokens de salida y sin intervención humana, y luego investigadores de Anthropic trabajaron con Claude para mejorar la presentación. El artículo añade que un modelo interno de OpenAI afirma haber demostrado, de forma independiente y simultánea, un resultado similar; cita un preprint propio de OpenAI del 26 de octubre. Todo esto es una afirmación de los autores y no se ha verificado de forma independiente.

El artículo se compartió en Hacker News (22 puntos y 6 comentarios al 27 de octubre), donde un comentarista señaló que la fecha de descubrimiento que se afirma es la misma que la de OpenAI.