陶哲轩
陶哲轩（Terence Tao），澳大利亚裔美国数学家，现任职于加州大学洛杉矶分校。他在调和分析、偏微分方程、组合数论、遍历理论等多个数学领域均有重要贡献，因在素数分布及非线性偏微分方程等方面的突破性研究，于2006年荣获数学最高荣誉菲尔兹奖。他被广泛认为是当代最具影响力的数学家之一。
核心事实
时间轴 (近 90 天)
菲尔兹奖得主陶哲轩（Terry Tao）以“战时状态”（war footing）形容自己应对当前数学危机的紧迫感。
陶哲轩认为，教育体系需要转向培养提问能力、判断力和跨领域整合能力，而非单纯的计算与推导技能。
陶哲轩呼吁数学界建立新的验证机制以应对 AI 生成证明的验证挑战。
陶哲轩担忧 AI 工具带来的不平等会侵蚀数学共同体长期赖以运转的合作文化。
陶哲轩认为读博的价值在于培养吸收困难材料、综合知识、提出好问题的系统能力，而非产出论文
陶哲轩参与创立SAIR基金会，推出开放数学模型计划，第一阶段面向日常研究需求，相关模型即将发布
陶哲轩主张减少对抢先生成证明的强调，增加对解释、评审和知识整理的重视，认为仅有形式化验证远远不够
陶哲轩在《AI时代的数学》中把解题拆成五个阶段：生成证明、验证正确性、解释清楚、被共同体理解和接受、最终融入领域的标准理论
陶哲轩警告如果继续盲目优化解题这一单一指标，将会损害数学的长期健康
陶哲轩呼吁建立更透明的评估机制，把失败结果和AI算力成本一并纳入报告
还有 40 条时间轴事件
全部知识事实 (20)
陶哲轩是菲尔兹奖得主
65%已验证陶哲轩与本·格林合作证明了'素数中存在任意长的等差数列'的格林-陶定理
65%已验证2023年底陶哲轩与合作者利用Lean和LLM辅助证明了多项式Freiman-Ruzsa猜想的一个重要特例
80%待验证陶哲轩建议当AI使用变得更普遍时，人们应不仅发布最终成果，还应分享到达那里的所有不同路径
95%待验证陶哲轩提出了'认知摩擦'（cognitive friction）的概念，指每一项任务都需要动用大脑的智力成本
90%待验证陶哲轩是IPAM（纯粹与应用数学研究所）特别项目主任
85%待验证陶哲轩在其博客中记录使用GPT-4和Claude辅助研究，评价当前模型在数学品味方面仍不如经验丰富的数学家，但在机械性推导和文献检索方面有实际辅助价值
60%待验证陶哲轩呼吁数学界建立新的验证机制以应对 AI 生成证明的验证挑战。
50%待验证陶哲轩担忧 AI 工具带来的不平等会侵蚀数学共同体长期赖以运转的合作文化。
50%待验证陶哲轩认为，教育体系需要转向培养提问能力、判断力和跨领域整合能力，而非单纯的计算与推导技能。
50%待验证菲尔兹奖得主陶哲轩（Terry Tao）以“战时状态”（war footing）形容自己应对当前数学危机的紧迫感。
50%待验证陶哲轩在《AI时代的数学》中把解题拆成五个阶段：生成证明、验证正确性、解释清楚、被共同体理解和接受、最终融入领域的标准理论
50%待验证陶哲轩主张减少对抢先生成证明的强调，增加对解释、评审和知识整理的重视，认为仅有形式化验证远远不够
50%待验证陶哲轩认为读博的价值在于培养吸收困难材料、综合知识、提出好问题的系统能力，而非产出论文
50%待验证陶哲轩呼吁建立更透明的评估机制，把失败结果和AI算力成本一并纳入报告
50%待验证陶哲轩警告如果继续盲目优化解题这一单一指标，将会损害数学的长期健康
50%待验证陶哲轩把实现数学2.0的主要瓶颈归结为想象力而非算力
50%待验证陶哲轩提出数学1.0时代（建立在证明稀缺之上）即将落幕，数学2.0时代已经到来
50%待验证陶哲轩认为 AI 不会在短期内取代数学家的创造性直觉，但可以显著降低繁琐工作的成本
50%待验证传统数学中一个长期猜想被证明会激发大量后续活动，形成代际传递的理解接力机制
50%