Tech Meridian
← ENTITY INDEX
COMPANY · ENTITY #24227
Related event timeline, sources and context from the news index.
OpenAI says internal models produced manuscripts including a claimed disproof of the Exponential Time Hypothesis (ETH) and a partial result related to a Millennium Prize Problem. The company published the raw writeups and Lean formalizations, is funding independent review, and has asked outside experts (including a Nobel laureate) to act as "shepherds" to check and interpret the proofs.
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.
Allow Google Analytics to measure visits? It stays off until you choose. You can change your choice at any time.