Original post · AI translation
Rohan Paul@rohanpaul_ai
数学与人工智能顾问小组已公开呼吁 OpenAI 发布其尚未公开的杨－米尔斯证明。
他们希望 OpenAI 现在就公布其声称已完成的杨－米尔斯理论、量子色动力学存在性证明以及标准模型的一种完善方案背后的自然语言和 Lean 输出。
OpenAI 表示，其模型于 9 月 9 日证明了杨－米尔斯理论的存在性，于 9 月 18 日证明了量子色动力学的存在性，而 Lean 已在 10 月 16 日前核验了首个证明。
其有关挂谷问题和指数时间假设的成果直接发布到了 GitHub，而物理学相关文件则仍由 David Gross 领导的评审人员保管。
Original
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.
· UTC+8