# OpenAI Says Its AI Model Disproved a Key Computing Hypothesis

By Simon Yoon

Canonical URL: https://www.tokenpost.com/news/technology/41756
Published: 2026-10-27T13:18:45.000Z
Updated: 2026-10-27T13:18:45.000Z
Section: Technology

> The claimed result passed formal verification in Lean. A review team led by the hypothesis’s proposers and an MIT professor will examine it.

OpenAI says an internal model disproved the Exponential Time Hypothesis, a central assumption in computational complexity, and a group of outside researchers will review the claimed result.

The hypothesis has served as a premise about computational difficulty in hundreds of research papers. OpenAI said the result passed formal verification in Lean. The review team will be led by Russell Impagliazzo and Ramamohan Paturi, who proposed the hypothesis, and MIT professor Ryan Williams.

OpenAI also said the model proved the local smoothing conjecture in arbitrary dimensions, resolving both the Kakeya conjecture and the Stein restriction conjecture. The announcement includes physics work: existence proofs for four-dimensional quantum field theories, including an existence proof for pure Yang-Mills theory.

The pure Yang-Mills result relates to a Millennium Prize problem. Nobel laureate David Gross will lead a group reviewing the pure Yang-Mills existence proof. The announced work spans mathematics, computer science and physics, with the computing claim awaiting outside review.