数学与 AI 顾问小组呼吁 OpenAI 公布搁置的 Yang-Mills 证明

Rohan Paul· @rohanpaul_ai · X·2026-10-28 00:00· 24 分钟前AI 评分67

AI 导读

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

正文 · 原文

数学与人工智能顾问小组已公开呼吁 OpenAI 公布其扣留的 Yang-Mills 证明。

他们希望 OpenAI 立即公布其声称的 Yang-Mills 理论、量子色动力学以及标准模型补全存在性证明背后的自然语言和 Lean 输出。

OpenAI 表示，其模型于 9 月 9 日证明了 Yang-Mills 存在性，于 9 月 18 日证明了量子色动力学，并由 Lean 在 10 月 16 日前完成了对第一项的检查。

其 Kakeya 和 Exponential Time Hypothesis 成果直接发布到了 GitHub，而物理相关文件则留在由 David Gross 领导的审稿人手中。

来源：Rohan Paul · x.com