陶哲轩讲座PPT：Al时代的数学（英）.pdf
这份文档是数学家陶哲轩（Terence Tao）在2026年国际数学家大会上的演讲幻灯片，主题为“人工智能时代的数学”。
演讲的核心观点总结如下：
一、 背景与挑战
类比20世纪初数学基础（集合论、数理逻辑等）引发的动荡，陶哲轩认为目前数学界正进入一个由人工智能带来的“数学价值与实践的基础危机”。他提出了“AI能力猜想”，即在不久的将来，AI工具将在人类监督下，以合理的成本和效率完成大量研究级数学任务。无论该猜想的精确版本是否成立，数学界都必须重新审视其核心目标。
二、 数学研究的目标与失衡风险
数学研究有着多元目标，如解决难题、构建理论、培养人才、创造审美价值等。在过去，这些目标通常是正相关的。然而，若过分优化单一指标（如“解决尽可能多的问题”），会陷入“古德哈特定律”（当指标变成目标，它就不再是一个好的指标），导致不同目标之间产生分歧，甚至出现“证明 indigestion”（证明消化不良）的局面——即AI生成了大量证明，但人类却无暇或无法进行验证、吸收和理解。
三、 关键流程的演进
陶哲轩通过一系列流程图展示了数学研究目标的演变，强调了除“证明生成”之外，其他环节的重要性：
1. 问题解决：证明生成。
2. 验证：需要确保正确性。
3. 交流：需要清晰的说明（Exposition）。
4. 消化：需要被社区认可和吸收。
5. 归纳：需要纳入该领域的权威理论框架。
他指出，社区认可、消化和理论归纳是人类数学实践中极其缓慢但价值最高的部分，也是目前最难被AI优化的环节。
四、 应对建议
针对AI带来的“证明 abundance”（证明丰裕时代），陶哲轩为数学家提出了具体行动建议：
1. 透明披露：在使用AI工具时应负责任地进行披露，防止秘密辅助。
2. 转变重点：减少对“证明生成”及“争做第一”的过度执着，增加对“证明消化”（说明、发表、规范化）的投入。
3. 责任自负：作者必须保留对证明正确性和归因的绝对责任。如果作者无法就其结论进行清晰、正确且有适当归因的专家级演讲，则该成果不应发表。
4. 公共参与：数学家应积极参与公共讨论，帮助解释AI辅助的科研方法和结果。
最后，陶哲轩强调，AI工具不能完全替代社区的共识与判断。数学界需要开展诚实、公开的讨论，定义新的工作流程与基础设施，以捍卫数学作为理解和知识传播的本质目标，确保在人工智能时代，人类数学能够 emergent 更强健、更具韧性。
相关报告
-
10.44 MB 65页 产业资本全面崛起爆发，VC与PE主导的时代落幕-65页PPT深度研究.pdf
-
2.62 MB 16页 毕马威2024人工智能时代价值流的重要性报告英文版16页.pdf
-
6.74 MB 33页 存量时代下家居家装消费的价值重构—中国家居家装行业白皮书2026-易观分析-202609.pdf
-
2.76 MB 60页 代理、机器人与我们：人工智能时代的技能伙伴关系.pdf
-
5.01 MB 124页 2026迈向AI原生时代：大模型驱动的智能研发白皮书-中信百信银行-202608.pdf
-
6.04 MB 45页 AI时代的Token经营与OPC生态运营体系-牛耳伴客-202608.pdf
-
11.11 MB 31页 定向幻觉：生成式AI时代的供应链攻击与主动防御-云鼎实验室-202607.pdf
-
21.36 MB 100页 技能溢价的重估：AI时代真正稀缺能力的定价机制-众旗-202607.pdf
-
2.44 MB 14页 从Vibe Coding到AI Native Git——AI时代的研发协作模式-王春雨.pdf
-
1.55 MB 12页 量力而行：市场重构时代的增长转型之道-普华永道-202607.pdf
-
16.23 MB 85页 构建AI时代的供应链韧性2026.pdf
-
4.24 MB 239页 全球教育机器人发展蓝皮书2026：大模型、具身智能与人形机器人时代的学习.pdf
-
17.34 MB 68页 2026年智见AI未来：智能体时代的AI创业新图景-68p-google.pdf
-
3.93 MB 61页 新消费时代下的大机遇系列报告二：潮玩经济：短期流行符号还是长期平台生意？260701.pdf
-
34.2 MB 123页 618案例白皮书-问道AI万相：AI时代的品牌新回答-阿里妈妈-202606.pdf
-
5.48 MB 52页 艾瑞咨询：AI时代下的金融科技发展洞察报告（2026）.pdf
-
15.31 MB 99页 2026年人力资本趋势研究：技术驱动 以人为本-人类如何增强在人工智能时代的成果260617.pdf