OpenAI says AI models refuted the Exponential Time Hypothesis

OpenAI claims Lean-verified AI proofs refute the ETH and settle the local smoothing and Yang–Mills existence problems, handing verification to outside experts under new collaboration rules.