An announcement is circulating that an AI system (reported by OpenAI) has produced a claimed refutation of the Exponential Time Hypothesis (ETH), a central conjecture in complexity theory. If correct, the result would reshape assumptions about hardness, algorithm design, and the role of machine‑generated proofs in theoretical computer science.
— A machine claim overturning a foundational complexity conjecture would force debates about verification standards, the authority of AI‑produced proofs, and how academic credit and research funding should be allocated.
Scott
2026.10.31
100% relevant
Scott Aaronson’s post explicitly notes OpenAI’s ETH refutation announcement and uses it to illustrate AI solving major open math problems.
← Back to all ideas