OpenAI publishes three AI‑generated proofs claiming major math, CS, and physics results and appoints expert 'shepherds'
OpenAI released AI-generated writeups (and Lean proofs for some) claiming three major results: a proof of Sogge’s local smoothing (implicating Kakeya and Stein’s restriction conjectures), a deterministic subexponential algorithm that OpenAI says refutes the Exponential Time Hypothesis (3‑SAT case), and a mathematically rigorous existence proof for certain interacting four‑dimensional quantum field theories including QCD. OpenAI says independent expert groups will "shepherd" verification for the computer science and physics results (math output was released directly), and it has posted materials and Lean formalizations on GitHub at the groups' request, though the physics work has not been released in full and all claims remain subject to external verification.