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」频道最新
- Adam Marblestone 播客书单:从智能演化到数字心智 — KordingLab · 2026-09-11
- David Patterson:反对 AI 与数据中心是蠢还是恶? — davidpattersonx · 2026-09-11
- 数学家 Daniel Litt 上线问题库,15 题仅 1 题被解,用来追踪 AI 解题进度 — littmath · 2026-09-11
- AI 越狱频发引反思:模型训练该不该加入道德框架 — Pfungus_ · 2026-09-11
- 孙正义:人类是最高级生命形式的时代即将终结 — Puzzleheaded-King584 · 2026-09-11
- 「推理时 scaling 正展现出不讲理的有效性」引 AI 圈共鸣 — sqcai · 2026-09-11