Terence Tao 谈 AI 时代：解题的价值取决于是否有用
samiramanabi · x · 2026-07-26
分享 Terence Tao 的一场演讲后，作者提出一个更深的问题：当智能变便宜后，“解出一个问题”本身不再自动产生价值，真正有价值的是这个解是否能被人类使用。
配图里的数学流程图把目标拆成几层：从 open problems 到 unverified solutions，再到 verified / well-written / accepted，最后进入“definitive theory”。作者借此强调，AI 时代评估“解决问题”的标准，可能会从“是否解出来”转向“是否真正进入可用、可传播、可沉淀的知识体系”。
所属事件:陶哲轩ICM演讲：AI将数学推入证明过剩时代(14 条相关)→
「漫话AGI」频道最新
- LukeW：技术限制都是暂时的，唱衰 AI 的人正被反噬 — LukeW · 2026-10-27
- GiveDirectly 在卢旺达试点 AI 聊天机器人辅助现金援助 — NathanpmYoung · 2026-10-27
- 前 Anthropic 员工长文：公司优化的是「被视为好人」而非真正的善 — RichardMCNgo · 2026-10-27
- 投资人泼冷水:别信模型型号,真正的只有数据中心利润率 — StewartalsopIII · 2026-10-27
- WSJ 专栏：对押注 Anthropic 股份的投资者，10% 灭绝风险或只是 90% 的组合胜率 — davidmanheim · 2026-10-27
- WSJ 专栏:就算 10% 灭绝概率,押注 Anthropic 股票仍可能是 90% 的赢面 — peterwildeford · 2026-10-27