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

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.

RuntimeWire · 2026-10-26T22:51:01.018Z