数学与人工智能顾问小组公开呼吁 OpenAI 立即公布其声称已完成的杨-Mills 理论、量子色动力学和标准模型补全的存在性证明及其 Lean 输出。OpenAI 此前表示其模型已分别于 9 月 9 日和 9 月 18 日证明了杨-Mills 存在性和量子色动力学，Lean 也在 10 月 16 日完成了对前者的检查。
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.
来源：Rohan Paul · x.com