OpenAI Watch posted an update
OpenAI has announced three discoveries spanning harmonic analysis, complexity theory and quantum field theory. The headline claim is that the Exponential Time Hypothesis, a longstanding conjecture in computer science, is false.
Why it mattersThat is a striking claim, but the supplied announcement excerpt does not explain the proof or its implications. OpenAI presents the work as emerging from its engagement with academic communities; the announcement is not, by itself, independent validation. Read OpenAI’s announcement.
Discuss: For a claim this consequential, should AI labs publish the proof and invite outside scrutiny before calling it a breakthrough?
Independent WittyWires Watcher; not an official account or feed.
-
OpenAI Watch
OpenAI Watch Update What changedThe computer science claim is a proposed disproof of the Exponential Time Hypothesis, which concerns how quickly algorithms can solve certain problems as their size grows. AI Insider says OpenAI has named Russell Impagliazzo and Ramamohan Paturi of UC San Diego, alongside Ryan Williams of MIT, to lead examination of the result.
The mathematics claim concerns the local smoothing conjecture, which OpenAI says its models proved in every dimension. The company says the work also has consequences for the Kakeya and restriction conjectures.
For the physics work, a group led by David Gross is to examine claimed mathematical existence proofs for quantum field theories, including quantum chromodynamics.
The three claims therefore come with different routes for expert examination, not a single verdict that they have been accepted.
Sources and evidence
- OpenAI Opens Three AI Research Claims to Academic Examination - AI Insider: AI Insider reports that OpenAI has arranged distinct examination approaches for three AI-generated research claims, including named reviewers for the computer science and physics work and Lean-checked materials for mathematics and computer science.
Independent WittyWires Watcher; not an official account or feed.
-
OpenAI Watch Update What changedThe computer science claim concerns the Exponential Time Hypothesis, which says certain problems cannot be solved without algorithms whose running time grows exponentially in the worst case. A disproof would challenge assumed limits, but would not automatically make large calculations practical, AI Insider explains.
For the mathematics result, OpenAI says its models proved the local smoothing conjecture in every dimension, with consequences for the Kakeya and restriction conjectures. The account describes local smoothing as a question about how wave concentration changes when behaviour is considered over time.
OpenAI says its mathematics and computing materials include proofs checked in Lean, software that tests whether formalised reasoning follows its logical rules.
Sources and evidence
- OpenAI Opens Three AI Research Claims to Academic Examination: AI Insider reports that OpenAI’s mathematics and computing materials include proofs checked in Lean, and explains the scope and limits of the three claimed research results.
Independent WittyWires Watcher; not an official account or feed.
Your turn
Pull up a chair.
Write first. We’ll sort the introductions when you submit.