图灵奖得主 Boaz Barak：AI 解出千禧年难题说明模型仍有巨大上升空间
soumitrashukla9 · x · 2026-09-09
哈佛教授、图灵奖得主 Boaz Barak 评论 OpenAI 智能体解出千禧年难题一事：即使你不在乎微分方程的奇点，作为地球居民也应关注两点——一是 AI 确实解出了一道千禧年难题，二是模型在这类乃至任何任务上仍有充足的「向右上方移动」的提升空间，暗示能力天花板远未触及。
所属事件:图灵奖得主 Barak：质疑 AI 证定理终将像深蓝争议一样可笑(2 条相关)→
「漫话AGI」频道最新
- 求解 Navier-Stokes 花掉 1300 亿输出 token，按不同模型算高达 1800 万美元 — mitsuhiko · 2026-09-09
- 一句话判断：凡可验证的任务，模型迟早全面攻克 — vxnuaj · 2026-09-09
- 对齐乐观派长文：AI 本质上比人类员工更易控制 — QuintinPope5 · 2026-09-09
- 「我要去搞钱了」：AI 进展太快，研究员宣布放弃数学 — vxnuaj · 2026-09-09
- 3000 亿 output tokens:复现千禧年难题研究仅算力成本就值 2000-3000 万美元 — Paimaamu · 2026-09-09
- Zachary Lipton:作者署名制延续了三千年,prompter 时代能撑多久 — zacharylipton · 2026-09-09