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」频道最新

更多「漫话AGI」频道 AI 资讯 →