# Anthropic's internal Claude model reportedly refutes the Exponential Time Hypothesis

> Original title: This is extremely confusing, but an internal Claude research model also independently refuted the Exponential Time Hypothesis on October ...

- Source: Andrew Curran
- Published: 2026-10-27T04:20:24.000Z
- Bad Influence: https://badinfluence.news/items/n2qas0f2mcmalym579hy54hri
- Original: https://x.com/AndrewCurran_/status/2114935219539345486

## Summary

Andrew 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. The paper says the result was formalized in Lean 4.

## Post

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.'

![](https://badinfluence.news/api/img-proxy?u=https%3A%2F%2Fpbs.twimg.com%2Fmedia%2FHVnCX2_a0AA1qSo.jpg&mode=thumb&exp=1793404800&sig=976b206771aabe77)

## Quoted post @__alpoge__

> “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/eth

https://x.com/__alpoge__/status/2114930095009968506