陶哲轩提出 Math 2.0：AI 打破证明稀缺性，数学研究范式转向可验证性与想象力重构

菲尔兹奖得主陶哲轩正式提出“Math 2.0”概念，指出 AI 正在颠覆传统数学研究中基于“证明稀缺性”的旧范式。他强调，由于数学证明具备独特的客观可机械验证属性，AI 能高效生成并校验证明，从而将人类的核心价值从寻找解法转移至定义问题与发挥想象力。

多方信源交叉验证显示，AI 已使数学证明从稀缺资源变为泛滥产物，导致传统评价体系失效。核心痛点在于“解出题目但未增加人类理解”，因此数学家需构建能增强人类理解、确保正确性并衔接现有理论的验证体系，以应对 OpenAI 等模型批量产出论文带来的认知错位风险。

这一观点为 AI 时代数学研究的职业定位提供了新框架。未来数学家的护城河将从解题能力转向对 AI 生成内容的判断力、整合力及深层理论构建能力。Math 2.0 的核心不是技术或制度，而是想象力的重构：人类负责提出好问题，AI 负责执行与验证。