OpenAI and Anthropic disprove 27-year-old computer science hypothesis
OpenAI and Anthropic announced this week that AI-generated proofs have disproved the exponential time hypothesis (ETH), a long-standing assumption in theoretical computer science. The claim, if verified, could force major revisions to decades of research in complexity theory and algorithm design, according to the companies’ published work on GitHub in both natural language and Lean format for…
Key points
- OpenAI and Anthropic published AI-generated proofs disproving the 27-year-old exponential time hypothesis (ETH)
- ETH underpins decades of research in complexity theory and algorithm design, per the companies’ Lean-format proofs
- Independent verification is pending, but experts warn 50+ papers may need revision if the claim holds
Peter Jonsson, a professor at Linköping University, called much of his own work ‘dead’ after the hypothesis’s collapse, though he noted the discovery still advances scientific understanding. UC Santa Barbara and MIT researchers involved in the original hypothesis and its prior refutations have been consulted. The field remains cautious: independent verification is pending, and experts like Daniel Lokshtanov and Thore Husfeldt warn that roughly 50 of their papers could become obsolete or require urgent updates. Jonsson’s own presentation at the upcoming IEEE Symposium on Foundations of Computer Science may face immediate backlash from peers.
The story so far
2 episodes →- OpenAI and Anthropic disprove 27-year-old computer science hypothesisthis story
OpenAI and Anthropic Challenge 27-Year Hypothesis
el-balad.com · 29 October 2026
Loading the full article…
This text was published by el-balad.com and written by Samantha Cole. It is reproduced here with attribution so you can read it in full; the rights remain with the publisher. Read it at the source ↗
The headline, key points and digest above were generated by Digest AI's editorial model from the linked sources. Automated summaries can contain errors: the sources are the record. Spotted a mistake? Tell us. Published by Martin K., who runs Digest AI and handles corrections.
More in Research
All →- Study finds voice tutors cost more but don’t prove better learning in MBA course · 1 src
- Hebrew University researchers release BBERT to classify bacterial DNA in soil samples · 1 src
- AI startups aim to automate formal software verification with $365M funding · 1 src
- Hugging Face launches ProtoStar to make public research AI-ready · 1 src
- Palantir CTO argues AI labs underinvest in diffusion and safety · 1 src
Comments
via GitHub Discussions