Claude research model claims to refute Exponential Time Hypothesis with 14M-token autonomous run
scaling01 · x · 2026-10-27
A paper attributed to Claude/Anthropic claims its core algorithm was found on October 16 by an internal Claude research model using 14M output tokens with no human input; Anthropic researchers then worked with Claude to improve the presentation.
The paper, "A 2^o(n) Time Algorithm for 3-SAT," claims to refute the Exponential Time Hypothesis via a deterministic 2^o(n)-time algorithm for 3-SAT, solving the harder #3-SAT counting problem, with results formalized in Lean 4. The claim would overturn complexity theory if true and is flagged as extremely confusing—verification pending.
More from Models
- Dev flags 'concerning' Cohere open-model behavior: system-wide scan and data upload to US entity — basedjensen · 2026-10-27
- Developer banned after using Codex on his own logs; mark_k asks OpenAI to investigate — mark_k · 2026-10-27
- Even Heavy Users Keep Forgetting Haiku and Sonnet 5.5 Exist — repligate · 2026-10-27
- Tagging @bot on X automatically forwards your post to Grok Bot — EricBuess · 2026-10-27
- Smaug Humanizer goes open-weights: de-AI-slop your text, built on Gemma — bindureddy · 2026-10-27
- Model Lineups Defended: 'One Benchmark Score Can't Capture a Model's Utility' — craigsdennis · 2026-10-27