数学与AI顾问小组呼吁 OpenAI 公开 Yang-Mills 证明
The Advisory Group on Mathematics and Artificial Intelligence has publicly called on OpenAI to release its withheld Yang-Mills proofs.
数学与人工智能顾问小组公开呼吁 OpenAI 发布其未公开的 Yang-Mills 证明，要求提供相关自然语言与 Lean 输出。OpenAI 称其模型于 9 月 9 日证明 Yang-Mills 存在性、9 月 18 日证明量子色动力学，Lean 于 10 月 16 日完成第一项检查。其 Kakeya 与指数时间假说结果直接发布到 GitHub，而物理相关文件仍由 David Gross 领导的审稿人保管。
推荐理由
AI 评分 70
事件呈现了数学界对 OpenAI 未公开物理证明的公开施压，以及其与已开源结果的发布差异。
主题
正文
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.