OpenAI says its models disproved the Exponential Time Hypothesis

Published 28 October 2026

Three model-generated results span harmonic analysis, complexity theory, and quantum field theory, including a Lean-verified proof claiming the Exponential Time Hypothesis is false. Independent researchers will validate and interpret the findings.