AI Disproves Decades‑Old Computer Theory
Tap title to read story
Anthropic and OpenAI announced that they have disproved the exponential time hypothesis, a twenty‑seven‑year‑old assumption that underpins much of theoretical computer science. The claim was made public this week, and the proofs were posted on GitHub in both natural language and Lean format. Linköping University professor Peter Jonsson, whose work will be presented at the IEEE Symposium on Foundations of Computer Science, said that much of his research is now “dead” because the hypothesis is false. Researchers have not yet independently verified the proofs, and the academic community is beginning to assess the implications for algorithm design and complexity theory.
More context
Timeline
- 2026-10-29 — AI Disproves Decades‑Old Computer Theory
Why it matters
Immediate US impact: Researchers reassess algorithmic research foundations Possible long-term US impact: Potential shift in computational complexity studies Most affected groups: Theoretical computer scientists Reader priority: Understand impact on current research
Coverage notes
Center: Coverage from Forbes, The Korea Times, aiflashreport.com frames this as a developing news story: AI Disproves Decades‑Old Computer Theory. Reporting emphasizes verified facts, named sources, and near-term impact for readers. Left: Left-leaning desks covering the same development typically emphasize public impact, institutional accountability, and who is most affected. Right: Right-leaning desks covering the same development typically emphasize practical outcomes, market or security stakes, and institutional response.
Primary report
WIRED — AI Disproves Decades‑Old Computer Theory
Sources
JQJO Editorial Desk · Human reviewed · AI assisted. Report a correction.
