陶哲轩
陶哲轩（Terence Tao），澳大利亚裔美国数学家，现任职于加州大学洛杉矶分校。他在调和分析、偏微分方程、组合数论、遍历理论等多个数学领域均有重要贡献，因在素数分布及非线性偏微分方程等方面的突破性研究，于2006年荣获数学最高荣誉菲尔兹奖。他被广泛认为是当代最具影响力的数学家之一。
核心事实
时间轴 (近 90 天)
陶哲轩建议数学社区应主动设计AI的使用方式，例如将AI定位于猜想探索、反例搜索、形式化验证等辅助环节，将审美判断和方向选择留给人。
陶哲轩（Terence Tao）提出比喻：硅谷用AI冲击悬而未决的数学难题，正在把优美的数学变成“有毒废料”（toxic waste）。
陶哲轩的核心批评是：硅谷对长期悬而未决的数学猜想有强烈的攻关冲动，但AI给出的往往是可验证却缺乏结构美感的解法，将数学对象降格为“原始训练材料”（raw training material）。
陶哲轩的“有毒废料”比喻指向两层问题：认知层面，大量低质量机器生成证明涌入文献会抬高筛选验证成本、污染知识生态；激励层面，若荣誉和资源流向AI辅助的暴力解法，年轻数学家钻研优雅方法的动力会被稀释。
菲尔兹奖得主陶哲轩（Terry Tao）以“战时状态”（war footing）形容自己应对当前数学危机的紧迫感。
陶哲轩担忧 AI 工具带来的不平等会侵蚀数学共同体长期赖以运转的合作文化。
陶哲轩呼吁数学界建立新的验证机制以应对 AI 生成证明的验证挑战。
陶哲轩认为，教育体系需要转向培养提问能力、判断力和跨领域整合能力，而非单纯的计算与推导技能。
陶哲轩提出数学1.0时代（建立在证明稀缺之上）即将落幕，数学2.0时代已经到来
陶哲轩在加州理工的演讲中正式阐述了数学2.0观点，原主题为《机器辅助证明》后调整为《数学2.0》
还有 40 条时间轴事件
全部知识事实 (20)
陶哲轩是菲尔兹奖得主
65%已验证陶哲轩与本·格林合作证明了'素数中存在任意长的等差数列'的格林-陶定理
65%已验证2023年底陶哲轩与合作者利用Lean和LLM辅助证明了多项式Freiman-Ruzsa猜想的一个重要特例
80%待验证陶哲轩建议当AI使用变得更普遍时，人们应不仅发布最终成果，还应分享到达那里的所有不同路径
95%待验证陶哲轩提出了'认知摩擦'（cognitive friction）的概念，指每一项任务都需要动用大脑的智力成本
90%待验证陶哲轩是IPAM（纯粹与应用数学研究所）特别项目主任
85%待验证陶哲轩在其博客中记录使用GPT-4和Claude辅助研究，评价当前模型在数学品味方面仍不如经验丰富的数学家，但在机械性推导和文献检索方面有实际辅助价值
60%待验证陶哲轩的“有毒废料”比喻指向两层问题：认知层面，大量低质量机器生成证明涌入文献会抬高筛选验证成本、污染知识生态；激励层面，若荣誉和资源流向AI辅助的暴力解法，年轻数学家钻研优雅方法的动力会被稀释。
50%待验证陶哲轩建议数学社区应主动设计AI的使用方式，例如将AI定位于猜想探索、反例搜索、形式化验证等辅助环节，将审美判断和方向选择留给人。
50%待验证陶哲轩（Terence Tao）提出比喻：硅谷用AI冲击悬而未决的数学难题，正在把优美的数学变成“有毒废料”（toxic waste）。
50%待验证陶哲轩的核心批评是：硅谷对长期悬而未决的数学猜想有强烈的攻关冲动，但AI给出的往往是可验证却缺乏结构美感的解法，将数学对象降格为“原始训练材料”（raw training material）。
50%待验证陶哲轩呼吁数学界建立新的验证机制以应对 AI 生成证明的验证挑战。
50%待验证陶哲轩担忧 AI 工具带来的不平等会侵蚀数学共同体长期赖以运转的合作文化。
50%待验证菲尔兹奖得主陶哲轩（Terry Tao）以“战时状态”（war footing）形容自己应对当前数学危机的紧迫感。
50%待验证陶哲轩认为，教育体系需要转向培养提问能力、判断力和跨领域整合能力，而非单纯的计算与推导技能。
50%待验证陶哲轩在《AI时代的数学》中把解题拆成五个阶段：生成证明、验证正确性、解释清楚、被共同体理解和接受、最终融入领域的标准理论
50%待验证陶哲轩主张减少对抢先生成证明的强调，增加对解释、评审和知识整理的重视，认为仅有形式化验证远远不够
50%待验证陶哲轩提出数学1.0时代（建立在证明稀缺之上）即将落幕，数学2.0时代已经到来
50%待验证陶哲轩认为读博的价值在于培养吸收困难材料、综合知识、提出好问题的系统能力，而非产出论文
50%待验证陶哲轩呼吁建立更透明的评估机制，把失败结果和AI算力成本一并纳入报告
50%