Reddit 称 OpenAI 杨-米尔斯存在性「精益证明」已发布并通过验证
FateOfMuffins · reddit · 2026-11-11
Reddit 用户发帖称，OpenAI 关于杨-米尔斯存在性与质量间隙的「Lean 证明」已公开发布并通过验证，附 GitHub 仓库链接(yang-mills-group/OpenAI-YM-20261028)。
若属实，这是 AI for Science 的标志性进展——形式化验证的数学重大猜想证明。帖内未附更多细节与官方确认，真实性有待后续核实。
所属事件:物理学家工作组验证 OpenAI 杨-米尔斯 Lean 构造：证实 Wightman 公理但未证质量隙(5 条相关)→
「研究」频道最新
- 金融 Agent 开放世界评测 FINCOSMOS：150 场测试无一通过，全部死于隐藏程序检查 — TheFinAI · 2026-11-11
- Blaise Agüera y Arcas 演示：1024 条随机字节磁带竟涌现出自我复制程序 — Machine Learning Street Talk · 2026-11-11
- NBER 模型：「锯齿状超智能」未必转化为科技进步与增长 — JMateosGarcia · 2026-11-11
- 3D 纳米打印造出多芯光纤扇入扇出器件，插入损耗超低 — jwt0625 · 2026-11-11
- Anthropic:Fable 5.2 用 1000 个 Agent 30 小时形式化费马大定理证明 — sven_ai · 2026-11-11
- Manheim 论 AI 进展分化:可验证任务快、「软性」任务受稀疏奖励拖累 — davidmanheim · 2026-11-11