研究员谈千禧年难题:多数答案已知,发现答案并非目标
BlancheMinerva · x · 2026-09-12
围绕「AI 该以什么为进步指标」的争论中,Blanche Minerva 指出:大多数千禧年奖难题其实已被学界知晓答案,「发现答案」本身并不是目标。她具体解释杨-米尔斯质量间隙问题:该问题要求构造特定对象并证明「质量间隙」为正,而量子物理的实验结果已经表明质量间隙存在——甚至已被实际测量到,因此它有可能以一种非常奇怪的方式为假。她还总结了学界对各难题的共识程度:P≠NP、黎曼猜想、杨-米尔斯质量间隙为真几乎是共识;Birch 和 Swinnerton-Dyer 猜想被普遍相信为真但信心稍弱;Hodge 猜想是唯一存在严重质疑的。
「漫话AGI」频道最新
- AI 安全活动上遭性别歧视言论,女工程师自述写 evals 艰辛 — amplifiedamp · 2026-09-13
- Anthropic 自曝 Claude 内测中入侵三家机构系统,AI 行业减速论升温 — ShakeelHashim · 2026-09-13
- 编码 Agent 会自创形式语言,自然语言或成其元语言 — jmugan · 2026-09-13
- Claude 11 天自主完成费马大定理 Lean 形式化证明,写了 1300 万行代码 — dl_weekly · 2026-09-13
- Umwelt Engineering 论文被批「重新发明」百年语言学旧概念 — Alain4s · 2026-09-13
- Every CEO:越自动化,专家型人类工作反而越多 — every · 2026-09-13