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