OpenAI asks experts to check AI proofs in math, CS, and physics
Original title: OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics
OpenAI says models disproved the Exponential Time Hypothesis and proved local smoothing in every dimension; reviewers have not endorsed the claims.
OpenAI asked outside experts to act as shepherds for AI-produced results in math, computer science, and physics, and says it translated the math and computer science proofs into Lean. It says its system proved the Exponential Time Hypothesis false and produced a proof of Christopher Sogge’s 1991 local smoothing conjecture in every dimension, which would also imply the Kakeya and Stein restriction conjectures. Ryan Williams, Russell Impagliazzo, and Ramamohan Paturi are independently checking the ETH claim without NDAs or pay and say their role is not an endorsement. At their request, OpenAI is publishing the written and Lean proofs and has committed to fund a conference on the result.
Unconfirmed: The proofs are OpenAI’s claims and have not been independently confirmed; the reviewers explicitly say involvement is not an endorsement.
- Lean checks that a proof matches the formalized statement, not that the statement matches the intended problem.
- Williams, Impagliazzo, and Paturi plan to share interim findings as they review the ETH claim.
- Williams said practical SAT-solving gains within 12 months are possible, or there may be none.
- Local smoothing had previously been proved only in two dimensions, by Guth, Wang, and Zhang in 2019.
- OpenAI says it is handling each field differently based on the shepherds’ advice.
- Vendors
- OpenAI
- Organizations
- MITUC San Diego
From the original article
8 min read at the-decoder.com
OpenAI says its internal AI models have cracked three major open questions in math, computer science, and physics. One of them is part of a famous Millennium Prize Problem, each of which carries a $1 million prize. Outside experts, including a Nobel laureate, are now checking whether the proofs hold up.
By Maximilian Schreiner · the-decoder.com
A short excerpt; the article and its images belong to the publisher. Summary, key facts and assessment above are AI-written from the article and can be wrong.