RuntimeWire· 16h agoOpenAI says its AI disproved a core complexity hypothesis and posts the proof
Company posts proof and Lean formalization for outside review
Research paper
OpenAI says its AI system has disproved the Exponential Time Hypothesis, a widely used assumption in computer science, and published the model's argument with a Lean formalization for outside examination.
- The claim is one of three research results announced on October 26th, 2026 by Dan Roberts, who leads OpenAI's Frontiers team, and described in a thread on X.
- A disproof of ETH would affect hundreds of results built on computational-hardness assumptions, according to the report.
- OpenAI organized independent scrutiny of the finding, making verification and access part of the release process.
From the source
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.
runtimewire.com