数学与人工智能顾问团体呼吁 OpenAI 公布尚未公开的杨–米尔斯证明

数学与人工智能咨询小组公开呼吁 OpenAI 发布其尚未公开的杨–米尔斯理论证明。

他们希望 OpenAI 现在公布其声称已完成的杨–米尔斯理论、量子色动力学以及标准模型完备化的存在性证明背后的自然语言文本和 Lean 输出。

OpenAI 称，其模型于 9 月 9 日证明了杨–米尔斯理论的存在性，于 9 月 18 日证明了量子色动力学的存在性，而 Lean 在 10 月 16 日前完成了对前一项证明的检查。

其卡凯亚问题和指数时间假说的研究结果直接发布到了 GitHub，而物理学相关文件仍留在由 David Gross 牵头的评审人员手中。