2026年菲尔兹奖得主雅各布·齐默曼刚拿奖就宣布加入OpenAI研究AI安全，但他并非唯一对此发声的顶尖数学家——其他菲尔兹奖得主围绕“AI是否会取代数学家”给出了从“人机协作”到“价值观危机”的不同答案。
一、邓煜与王虹：AI是高效助手，而非取代者
邓煜的切身体验：新晋菲尔兹奖得主邓煜坦言，自己曾被AI深深震撼——他花了5天时间完成的4页证明，AI在1小时内就给出了更简洁的1页版本。但他明确表示，数学家不应与AI竞争，而应与其合作，去完成以前无法实现的目标。
创造力的保留：邓煜认为，即便AI能生成更复杂的正确证明，数学家仍会把这些结果纳入知识体系，并以此为起点继续提问和探求本质理解。他建议青年学子利用AI提升自己，同时保有做数学的乐趣。
对职业的判断：王虹和邓煜均未像齐默曼那样停止招收博士生或认为数学职业即将消亡。邓煜强调，直觉、草稿纸和黑板在今天仍是必不可少的工具，AI负责算，人负责“想”和“提出值得算的问题”。
二、陶哲轩：AI引发“证明过剩”的新危机
价值观危机预警：在2026年国际数学家大会上，菲尔兹奖得主陶哲轩当众敲响警钟——AI正在引爆数学界前所未有的价值观危机。
核心矛盾转变：陶哲轩指出，过去数学界长期受困于“证明稀缺”， AI辅助曾被视为黄金时代。但现在AI能不断生成数学证明，瓶颈已转向人类能否验证和消化这些证明——数学正从“证明稀缺”迈入“证明过剩”时代。
人类角色的重定义：他认为，真正稀缺的不再是证明者，而是能判断重要性、阐释意义并体系化知识的人。完整数学成果需经历AI生成→人类验证→解释传播→社区接纳四步，极端场景下人类面临理解力饱和。
三、马丁·海尔与会场共识：核心创造力无可替代
AI能做“从1到N”，人类负责“从0到1”：2014年菲尔兹奖得主马丁·海尔在总台专访中给出明确判断：AI不会取代数学家。他认为AI擅长推导计算，做“从1到N”的工作，但无法拥有人类探索未知的好奇心、搭建全新数学体系的全局洞察力。
人机协同成共识：国际数学家大会的深入讨论显示，多数专家认同AI的三大功能——作为探路者快速证伪猜想、作为外置大脑跨领域审视问题、作为“数学考古学家”加速理论对接应用。但提出猜想、创造全新概念、搭建理论体系的仍是人类数学家。
杰曼诺夫的补充：1994年菲尔兹奖得主杰曼诺夫则从更宏观的视角指出，数学是艺术与科学的结合，能够托举人工智能不断向前突破，而非被AI替代。