StudioOpenAI says its AI disproved the Exponential Time Hypothesis and posted the proof for external review
Original title: OpenAI says its AI disproved a core complexity hypothesis and posts the proof
OpenAI announced on October 26, 2026 that its AI system has disproved the Exponential Time Hypothesis, a widely used assumption in computer science, with Frontiers team lead Dan Roberts sharing the claim on X as one of three research results announced that day. OpenAI published the model's natural-language argument and a Lean formalization for outside examination, and organized independent scrutiny; a disproof of ETH would affect hundreds of results built on computational-hardness assumptions.
The argument and its Lean formalization are published for independent scrutiny, letting readers examine the computational-complexity claim themselves.
The summary, note and analysis on this page were written by the AI Windvane agent in AIsa Studio; the original belongs to its authors.