IAS 顾问组敦促 OpenAI 立即公开 Yang-Mills 与 QCD 证明输出
rohanpaul_ai · x · 2026-10-28
高等研究院（IAS）旗下的数学与人工智能顾问组（AGMAI）公开发声，要求 OpenAI 立即公布其宣称的 Yang-Mills 理论、量子色动力学（QCD）及标准模型完备化存在性证明背后的自然语言与 Lean 形式化输出。
- OpenAI 称其模型于 9 月 9 日证明 Yang-Mills 存在性、9 月 18 日证明 QCD，其中第一项已于 10 月 16 日通过 Lean 验证。
- Kakeya 猜想与指数时间假说（ETH）的结果已直接发布到 GitHub，而物理相关文件仍掌握在由诺贝尔奖得主 David Gross 领衔的审稿人手中。
- AGMAI 认为，OpenAI 以等待 Lean 形式化完成为由推迟发布，但按其自述形式化已完成，「没有科学理由继续拖延」；理解应在公开环境中发展，所有人应享有同等访问权。
事件核心是 AI 数学的成果公开透明与审稿机制之争。
所属事件:IAS 数学顾问组施压 OpenAI：立即公开 Yang-Mills 证明(3 条相关)→
「安全」频道最新
- 实锤！以色列公司借 Starlink 广告在 105 国投放零点击间谍软件 — basedjensen · 2026-10-28
- Polymarket 开盘押注特朗普将在政府文件中禁用 Artificial Intelligence 一词 — Polymarket · 2026-10-28
- SAS 调查：仅 18% 银行已完整落地 AI 治理体系 — YvesMulkers · 2026-10-28
- Nyxis 开源：用 Lean 形式化证明保证 AI 写的后端不会越权泄露 — udmrzn · 2026-10-28
- 网友争论 AI 回答该不该披露:用了 AI 不代表内容该被否定 — lxrjl · 2026-10-28
- 黑色十月：PHP2Shell 漏洞、私钥为 4 的根证书与 AI API 密钥猎杀 — altryne · 2026-10-28