OpenAI releases extraordinary AI-generated proofs for verification
OpenAI released AI-generated natural-language and Lean proofs claiming all-dimensional local smoothing and a refutation of the Exponential Time Hypothesis, while disclosing a separate claimed quantum-field-theory result to an expert group. External working groups are organizing review.
Why it matters: If correct, the claims would affect major areas of mathematics, complexity theory and physics; more immediately, the release tests whether formal checking plus open expert review can turn machine output into scientific understanding.