Claim: Claude and GPT-Next Both Disproved the Exponential Time Hypothesis
daniel_mac8 · x · 2026-10-29
danielmac8 claims Claude and GPT-Next simultaneously derived a disproof of the Exponential Time Hypothesis, with a screenshot of a Claude/Anthropic paper abstract describing a deterministic 2^o(n) algorithm for 3-SAT (solving the harder #3-SAT), formalized in Lean 4. The claim is unverified and likely exaggerated or a meme-style demo.
More from Models
- Researcher: GPT6 Astra brings a step change in review quality, guided prompts help further — anshulkundaje · 2026-10-29
- Paper Instruments launches Ultramarine 1 Flash, beating frontier models at up to 60x lower cost — baseten · 2026-10-29
- Gemini 4 reportedly "proved" nearly half of the false theorems it was given — RishabJainK · 2026-10-29
- Sentdex: DeepSeek v4.1 Flash now his top local token generator ever — Sentdex · 2026-10-29
- LoopVL: 1B-parameter VLM reuses 32 layers across 128 calls, beats 4B baselines on 5/8 benchmarks — jiqizhixin · 2026-10-29
- Fable 5 praised for blending deep scientific knowledge with storytelling delight — repligate · 2026-10-29