OpenAI posts claimed math, computing, and physics breakthroughs
Original title: OpenAI announces three big science discoveries and a new way to work with academics
Outside groups will examine an ETH refutation and a QCD proof, while the math write-up is released unverified.
OpenAI said it is releasing three results in mathematics, computer science, and physics, with outside “shepherds” for the latter two. It posted model output claiming a proof of Sogge’s local smoothing for waves and, with it, the Kakeya and Stein restriction conjectures, plus a write-up and Lean proof that it says refutes the Exponential Time Hypothesis. A group including Russell Impagliazzo, Ramamohan Paturi, and Ryan Williams will examine the computing claim. David Gross is to lead review of a four-dimensional quantum-field-theory existence proof covering QCD, which has not been released in full. OpenAI’s AGMAI advisers separately recommended against giving selected people early access.
Unconfirmed: None of the three claimed proofs is described as independently verified, and the physics materials are incomplete.
- The math materials were posted to GitHub in the same style as the October 6 release.
- The ETH claim covers exact counting for fixed-width CNF, including 3-SAT.
- The physics result is described as mathematically rigorous but is not fully public.
- AGMAI cited unequal access, borrowed reputation, and biased selection as concerns.
- Organizations
- OpenAI
From the original article
3 min read at theverge.com
Less than a month after its mass release of hundreds of manuscripts that it said contained solutions to long-standing mathematics questions, OpenAI is back with three more "major" discoveries in math, computer science, and physics.
By Richard Lawler · theverge.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.