千禧年难题被评最强 AI 基准，专家预测一年内七成开放数学题告破
DimitrisPapail · x · 2026-10-29
Ofir Press 称当前最好的 AI 基准是千禧年大奖难题，「按目前成功率，预测约 70% 的开放数学问题在一年内被解决并非离谱」。Dimitris Papailiopoulos 回应提出保留：开放问题之所以开放，是因为其证明难度与所需 token 数大致成正比；无论模型多强，总存在需要比当前前沿多 10 倍、100 倍证明行数的开放问题——它们未必有趣，但必然存在，开放问题集不是静态的。
所属事件:SWE-bench 作者：千禧年难题是最佳基准，一年内七成公开数学题或被解(9 条相关)→
「漫话AGI」频道最新
- 4 人团队借 AI Agent 月发 7.7 万次变更,工程师差异化生存指南 — yoobinray · 2026-10-30
- Ben Horowitz 撰文：持续学习是下一场技术革命 — brianryhuang · 2026-10-30
- Anthropic API 密钥泄露,智能体 15 分钟内自动完成处置 — tylerjdunn · 2026-10-30
- 架空 1865：蒸汽 AI 代理降临，英国议会立《红领带法案》限速 — azmackay · 2026-10-30
- 开发者吐槽:你看到的 AI 头条新闻都滞后了半年 — 0xsachi · 2026-10-30
- AI for Bio 被指回避学术引用，Leash Bio 小团队一年发三篇论文 — niloofar_mire · 2026-10-30