新晋菲尔兹奖得主雅各布·齐默尔曼确实预言AI两年内将在证明定理上超越人类数学家，但这一“超越”指的是特定技能层面的赶超，而非取代数学家最核心的创造力与问题提出能力，数学界对此有广泛共识。
一、齐默尔曼的判断：AI将在特定任务上两年内超越人类数学家
判断源于一线体验：齐默尔曼本人研究纯数论与O-极小性，其对AI能力的判断并非空谈。他在接受采访时明确表示，AI的数学能力正飞速赶超人类，不出短短数年，其数学水平便会全面凌驾于人。
AI已展现惊人能力：2026年，AI接连推翻悬置数十年的雅可比猜想和埃尔德什单位距离猜想，并在国际奥数赛场交出满分答卷。齐默尔曼X账号仅发布的一条帖子，主题就是“数学家将如何失业”。
“超越”指向局部与速度：在具体证明任务上，AI能靠多智能体协作、概率搜索快速给出局部证明——如同是菲尔兹奖得主的邓煜所述，AI能秒解特例，几天的卡顿被一次采样击穿。
二、数学家的核心创造力：AI难以替代的底层逻辑
数学的本质是创造问题而非解题：多位菲尔兹奖得主持有共识。2014年获奖者马丁·海尔指出，AI擅长“从1到N”的推导计算，但无法拥有探索未知的好奇心与搭建全新数学体系的全局洞察力——人类负责发问创造，AI负责推演落地。
陶哲轩的“证明过剩”危机预警：华裔数学大师陶哲轩在2026年ICM大会上警告，AI能不断生成数学证明，但人类根本没时间验证和理解——真正的瓶颈已从“证明稀缺”转向“人类消化能力”。稀缺的不再是证明者，而是能判断重要性、阐释意义的人。
邓煜的研究实例：邓煜在攻坚希尔伯特第六问题时，GPT给出的特例证明无法推广到一般情形——因为框架的发明、新结构的搭建，不在任何已有文本中。
丘成桐的清醒判断：菲尔兹奖得主丘成桐认为，AI可凭超强记忆力消化文献、加速研究，但数学真正的重大突破源于观念革新，最具创造性的学问，AI至今无法企及。
三、当前结论：AI是强大工具，但数学的“灵魂”仍属于人类
能力边界清晰：AI在竞赛解题、反例搜索、跨领域知识激活上表现卓越，可作为数学家的“探路者”“外置大脑”和“跨世纪知识检索员”。
但框架级创造仍是人类领地：提出猜想、发明新概念、搭建完整理论体系——这些才是菲尔兹奖真正奖励的工作。AI目前是“高效的局部负熵源”，降低特例不确定性，但宏观逻辑骨架仍需人类维持。
齐默尔曼本人的行动佐证：他加入OpenAI做AI安全，正是将担忧从舆论带进实验室——用数学将“应该安全”变成可定义、可验证的结论。这比单纯争论“两年内能否超越”更有意义。
