Advisory group demands OpenAI release withheld Yang–Mills AI proofs
Article timeline
The articles in this story. Times are ET.
Miles BrundageXMathematicians question how OpenAI shared its claimed proofs with physicistsAIMiles Brundage reposts a quote from mathematician W. T. Gowers criticizing the handling of OpenAI's recent drop. The quoted post says the drop includes a refutation of ETH, a proof of local smoothing implying the full Kakeya conjecture, and a proof of the existence of pure Yang-Mills theory. AGMAI asks for immediate release of the materials connected to the Yang-Mills result.
Andrew CurranXYang-Mills Working Group responds to the Council's questionAIThe Yang-Mills Working Group has sent its answer to the Advisory Group on Mathematics and Artificial Intelligence, which is calling for immediate release of the AI output from yesterday's announcement. The post does not say what the answer contains.
Rohan PaulXPickAdvisory group urges OpenAI to release withheld Yang-Mills proofsAIThe Advisory Group on Mathematics and Artificial Intelligence publicly calls on OpenAI to release the natural-language and Lean outputs behind its claimed existence proofs for Yang-Mills theory, quantum chromodynamics and a completion of the Standard Model. OpenAI says its model proved Yang-Mills existence on 9 September and quantum chromodynamics on 18 September, with Lean checking the first by 16 October. The group argues that since OpenAI has said it delayed release until Lean formalization was complete, there is no scientific reason to delay further.
- Andrew CurranXAdvisory group on mathematics and AI calls for immediate release of Yang–Mills AI output
AIThe Advisory Group on Mathematics and Artificial Intelligence is calling for the immediate release of the Yang–Mills AI output announced yesterday. The post itself gives no further details about the output or the announcement.
