RESEARCH · RESEARCH · #2611
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.
KEY POINTS
- 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.
- If validated, these AI‑generated proofs would reshape core assumptions across mathematics, theoretical computer science (refuting ETH) and quantum field theory, but verification by human experts is essential before acceptance.
WHY IT MATTERS
If validated, these AI‑generated proofs would reshape core assumptions across mathematics, theoretical computer science (refuting ETH) and quantum field theory, but verification by human experts is essential before acceptance.