OpenAI releases AI-generated math manuscript claiming the Exponential Time Hypothesis is false
jiqizhixin · x · 2026-11-08
OpenAI published an AI-generated mathematical manuscript with a Lean formalization titled "The Exponential Time Hypothesis Is False," challenging a central assumption in computational complexity theory. The proposed algorithm counts satisfying assignments — not just deciding existence — claiming deterministic subexponential time and polynomial space for fixed clause widths, using algebraic representations and shared linear summaries. The sharper sparse-formula bound carries conditions: clause count must be at most a fixed constant times variables. The result is under independent examination, not an established replacement for existing complexity theory.
More from Models
- Musk says Grok bot fixes underway for better token efficiency and smarter behavior — elonmusk · 2026-11-08
- OpenAI oddly silent on Astra 6.x, KOL suspects major hidden tech — haider1 · 2026-11-08
- Open-source Qwopus3.8-27B-Coder-Flash: a 27B Qwen finetune built for agentic coding — jacek2023 · 2026-11-08
- 2x256GB M5 Ultra tested: two separate models beat clustering, GLM q4 beats DeepSeek API for coding — Viktri1 · 2026-11-08
- User shows same-prompt comparison alleging Anthropic quietly nerfed Opus 5.5 after 5x price jump — cyrus_zei · 2026-11-08
- GPT-6.2 Sol reportedly rolling out to some ChatGPT users, release eyed next week — kimmonismus · 2026-11-08