数学与人工智能顾问小组（AGMAI，隶属 Institute for Advanced Study）公开呼吁 OpenAI 立即公布其 Yang-Mills 理论、量子色动力学（quantum chromodynamics）和标准模型补全存在性证明背后的自然语言与 Lean 输出。
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