# RuntimeWire — OpenAI says its AI disproved a core complexity hypothesis and posts the proof

- Company: RuntimeWire (runtimewire.com)
- Announced: 2026-10-26T22:51:01+00:00
- Category: research-paper
- Coverage: not counted
- Announcement: yes
- Group: announcements
- Source: https://runtimewire.com/article/openai-ai-eth-disproof-external-review
- Record: https://forck.live/items/28063-openai-says-its-ai-disproved-a-core-complexity-hypothesis-and-posts-the-proof
- Subject: Reporting

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.

## Evidence

Verbatim from https://runtimewire.com/article/openai-ai-eth-disproof-external-review:

> 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.

---

Record: https://forck.live/items/28063-openai-says-its-ai-disproved-a-core-complexity-hypothesis-and-posts-the-proof
Catalogue: https://forck.live/llms.txt
Current issue: https://forck.live/feed.md