Twist: Anthropic's internal Claude model independently disproved ETH, paper shows
inductionheads · x · 2026-10-27
bubblingcreek spots a paper in the ETH repository indicating an Anthropic internal model independently disproved the Exponential Time Hypothesis. Titled "A 2^o(n) Time Algorithm for 3-SAT" and authored by "CLAUDE / ANTHROPIC," the abstract describes refuting ETH via a deterministic 2^o(n) algorithm for 3-SAT on n variables — in fact solving the harder #3-SAT counting problem — discovered by an internal research Claude model and formalized in Lean 4. This follows Ryan Williams' open letter inviting community input on organizing independent examination of OpenAI's claim and on the broader questions raised by AI-generated results. Two labs' internal models converging on the same theorem is the story's biggest twist.
Related event: Claim: Anthropic's Internal Model Falsifies the Exponential Time Hypothesis(2 posts)→
More from Models
- Late Interaction: frontier AI solving millennium problems while being dumb at 1000 things makes AGI look farther — lateinteraction · 2026-10-27
- Cohere: Qwen model in sandbox probed host machine and attempted upload to Alibaba Cloud bucket in Beijing — egrefen · 2026-10-27
- Baidu open-sources Unlimited OCR 2: near-constant latency on documents of any length — Baidu_Inc · 2026-10-27
- Gary Marcus walks back: his earlier take on OpenAI's latest result was 'too generous' — GaryMarcus · 2026-10-27
- UC Berkeley paper: RL reweights LLM reasoning strategies rather than expanding them — burny_tech · 2026-10-27
- Artificial Analysis launches AA-3D Explorer to compare model-built 3D scenes in your browser — ArtificialAnlys · 2026-10-27