Math and AI advisory group calls on OpenAI to disclose Yang-Mills proof
The Mathematics and Artificial Intelligence Advisory Group publicly called on OpenAI to release its undisclosed Yang-Mills proof, requesting the related natural-language and Lean output. OpenAI says its model proved Yang-Mills existence on September 9 and proved quantum chromodynamics on September 18, with Lean completing the first check on October 16. Its Kakeya and exponential-time hypothesis results were published directly to GitHub, while the physics-related documents remain held by reviewers led by David Gross.
Why read this
AI score 70
The incident presents public pressure from the mathematics community on OpenAI over its undisclosed physics proof, as well as the difference in release compared with its already open-sourced results.
Topics
Body
The Advisory Group on Mathematics and Artificial Intelligence has publicly called on OpenAI to release its withheld Yang-Mills proofs.
They want the natural-language and Lean outputs behind OpenAI’s claimed existence proofs for Yang-Mills theory, quantum chromodynamics and a completion of the Standard Model released now.
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.
Its Kakeya and Exponential Time Hypothesis results went straight to GitHub, while the physics files stayed with reviewers led by David Gross.