The Exponential Time Hypothesis shapes hundreds of computer-science results; OpenAI has published its model's natural-language argument and Lean formalization for outside examination.
By [Ryan Merket](https://runtimewire.com/author/ryan-merket)
· Published
· Updated
Primary source: [x.com](https://x.com/danintheory/status/2114833682469122314?s=46)
Why it matters #
A disproof of ETH would affect hundreds of results built on computational-hardness assumptions. OpenAI has published the argument and Lean formalization and organized independent scrutiny, making verification and access part of the release process.
OpenAI says its AI system has disproved the Exponential Time Hypothesis, a widely used assumption in computer science, and has published the model's argument and a Lean formalization for outside examination. The claim is one of three research results announced on October 26th, 2026 by Dan Roberts (@danintheory), who leads OpenAI's Frontiers team. Roberts also described the release in a thread on X.…
When you purchase through links in our articles, we may earn a small commission. This doesn’t affect our editorial independence.