菲尔兹奖得主Gowers用ChatGPT 5.5 Pro敲响数学界警钟：入门赛道被碾平；陶哲轩称“消化”才是人类护城河

事件概述

两位菲尔兹奖得主针对ChatGPT 5.5 Pro在数学研究中的能力发表了截然不同却互补的看法。Timothy Gowers通过实际测试发现，当前AI已能独立完成博士论文级别的数学工作，对年轻数学家的职业前景构成紧迫威胁。陶哲轩则从更宏观的视角指出，数学证明的“消化”（理解证明为什么正确、揭示背后结构）是AI无法替代的人类核心能力。

核心信息

Gowers的实验与结果

• Gowers向ChatGPT 5.5 Pro提出了加法数论中的公开问题：给定整数集合A（|A|=k），已知其二重求和集2A的大小，求A的最小可能直径。Nathanson曾证明指数级上界（2^k-1）。
• ChatGPT 5.5 Pro思考17分05秒后，给出了理论上最优的二次上界构造，核心思路是组合使用Sidon集与等差数列。
• Gowers进一步提问限制求和集及一般k重求和集问题，ChatGPT均独立完成推导，并独创“k-解离集合构造”，将上界从指数级改进到亚指数级。多轮交互共约2小时，最终形成标准LaTeX预印本。全程Gowers未提供任何数学指导，仅扮演项目经理角色。
• Gowers承认，该成果的数学贡献来自AI，人类数学家仅是引导者。他提出需要建立专门的AI数学成果仓库（如经人类数学家或形式化验证后存档），但当前该成果仅挂在个人博客上。

对数学培养体系的冲击

• Gowers认为，原本用于博士生入门训练的中等难度公开问题，现在AI能在几小时内攻克，导致入门门槛急剧抬高：未来博士生必须解决AI也解决不了的问题。
• 缓冲空间：博士生可借助AI进行人机协作，做出AI单独做不到的成果；另外组合数学是AI最易突破的领域，其他分支（需审美判断）目前人类仍占优。但Gowers强调这种判断可能快速过时。
• 核心焦虑：若研究者仅追求“冠名永生”，该时代红利可能很快消失。数学训练的价值在于培养底层思维能力和人机协作能力。

陶哲轩的三层金字塔与“证明消化不良”

• 陶哲轩将数学问题解决分为：证明生成、证明验证、证明消化。前两者正快速被AI自动化，但“消化”远未被解决。
• “证明消化不良”：大量证明被AI轻松生成并验证，但无人真正理解其内涵和结构，阻碍知识深化。
• 类比烹饪：盲目优化“可读性”（如降低咀嚼难度）可能导致丧失数学思考本身的“自然难度”。人类需要通过亲自“咀嚼”证明来获得理解和灵感。数学中的“自然难度”是有益的，不应被完全消除。
• 陶哲轩认为，人类赋予数学的“烟火气”无法被AI替代，这就像手工料理与加工食品的区别。

值得关注

两位菲尔兹奖得主的观点形成了互补：Gowers揭示了AI对数学教育体系和研究范式的现实危机，促使学科迅速寻找新出路；陶哲轩则划出了一条人类价值边界——对数学证明的深度“消化”与理解。这提示AI时代数学研究者应更重视培养迁移性思维和审美判断，而非仅仅追求解题速度或成果数量。