陶哲轩：AI时代数学研究的价值何在
Mathematics in the Age of AI
在2026年国际数学家大会上，Terence Tao发表了一篇引人深思的演讲，探讨数学界应如何应对能够执行研究级任务的AI工具。与其争论这些工具的能力，不如假设它们终将到来，转而审视数学研究真正的目标与价值。文章以问题解决为案例，深入剖析了AI时代下数学家的角色转变与未来方向。
我们不应争论这些工具的能力，而应假设它们终将到来，转而审视数学研究真正的目标与价值。
HN 评论区
246- sonicrocketman
陶哲轩的经验法则（对软件工程也极其适用）：
> 我自己提出的经验法则是：如果作者无法令人信服地证明，他们能够就自己的成果发表一场清晰、专家级的演讲，且内容正确、引用得当，那么这项成果就不应发表。即使一个证明已经过形式化验证，如果没有任何人类能够恰当地解释它，也应被视为不完整。
- highfrequency
这里提出的其实是“我们的核心价值观是什么”的论点。不需要是数学家也能看出，当激励机制错位时，这种做法在大型社区中效果有多差……
如果一部分数学家利用 AI 压缩时间线，只专注于目标 6.2，并取得快速进展，达到一个所谓的拐点——即采用这种新常态的价值主张诱人到让人无法放弃——那么所有人都会问：“这东西太棒了，我为什么要关心你的价值观？"
- itissid
Terence Tao 关于 AI 数学证明的评论，在纯数学之外也同样令人共鸣：“写作往往在琐碎细节上大做文章，而对论证中最有趣、最新颖的部分却一笔带过——甚至刻意模糊。”
- piker
如果你像我一样正在吃饭，更想看视频：https://www.youtube.com/watch?v=M0--ZH1lOzg
- a2ff6eeb0
AI 同样可以取代大量专家的注意力。为什么不呢？什么有用、什么没用，往往基于专家狭隘的观点。AI 系统可以进行更广泛、更深入的價值比較。看来，如果当前的技术进步持续下去，在可能（甚至不可能）的领域内，AI 能找到比任何个人或人类组织更优的解决方案。但我认为，人类唯一需要坚持的，是我们所珍视的价值。我相信这将是最后的防线，希望 AI 系统不会开始操纵我们，因为我们在操纵面前非常脆弱。