Research
OpenAI claims major proofs in math, CS, and physics
The Verge AIhigh confidence
Why it matters
- →Challenges foundational assumptions in computational complexity theory (ETH).
- →Establishes a new 'shepherd' model for verifying high-stakes AI scientific claims.
- →Highlights growing tension between rapid AI discovery and equitable academic access.
OpenAI announced three significant scientific claims generated by its models: a proof regarding local smoothing for the Euclidean wave equation, a refutation of the Exponential Time Hypothesis in computer science, and an existence proof for interacting quantum field theories. For the computer science result, OpenAI partnered with experts including Russell Impagliazzo and Ryan Williams to verify the claim that deterministic algorithms can solve 3-SAT in subexponential time. The physics results are being shepherded by Nobel laureate David Gross and other prominent physicists. OpenAI released the materials publicly but admitted concerns about unequal access, prompting an open letter to the community on how to handle AI-generated breakthroughs.
Read originalThe story around this
Earlier coverage that leads up to this article, and what followed. Lines connect each piece to the closest one after it, converging here.
