This is extremely confusing, but an internal Claude research model also independently refuted the Exponential Time Hypothesis on October 16, with 14M output tokens and no human input. 'Anthropic researchers worked with Claude to improve the presentation, resulting in this paper.'
Anthropic's internal Claude model reportedly refutes the Exponential Time Hypothesis
AIAndrew Curran reposts a claim that an internal Claude research model found a deterministic algorithm for 3-SAT running in 2^o(n) time, refuting the Exponential Time Hypothesis. The quoted post says the core algorithm was found on October 16 with 14M output tokens and no human input, and that Anthropic researchers helped refine the paper's presentation.
Andrew CurranVerified on X
@AndrewCurran_
“The core algorithm was found on October 16 by an internal Claude research model with 14M output tokens and no human input. Anthropic researchers worked with Claude to improve the presentation, resulting in this paper.” https://github.com/anthropics/formal-math/tree/16a5ce41304fcdaea4e0be7c132e1c361dc26da5/ethView quoted post on X
Source details
Andrew Curran · x.comPublished
Original title: This is extremely confusing, but an internal Claude research model also independently refuted the Exponential Time Hypothesis on October ...