9月11日，25位菲尔兹奖得主罕见地联名发声，给AI和数学的关系敲了一记警钟。陶哲轩、邓煜、彼得·舒尔茨这些名字，随便拎出一个都够分量。他们担心的是：AI公司一门心思扑在解题正确率上，数学最看重的概念理解和深层洞察，反而被晾在了一边。这场争论不光是学术圈的内部事务，甚至关系到企业上云时该怎么选AI算力。每个关心技术走向的人，都值得停下来想一想。
25位菲尔兹奖得主，到底在急什么？
菲尔兹奖四年才颁一次，一届最多4个人。25位获奖者一起站出来签名，这分量可不是几份行业报告能比的。他们不是要跟AI为敌，而是看不惯AI圈那股“解题锦标赛”的风气。声明说得很直接：大模型最近确实能在数学难题上给出不少漂亮答案，可AI公司一股脑以解题基准为指挥棒，这个方向对数学科学有害。
- 数学的内核是概念理解和洞察，不是比谁更快给出正确答案；
- AI生成的解法经常没经过正式整理，引文、方法边界都模糊，学术规范被搅得一团乱；
- 要是没有数学家参与，AI的想法很难真正接入现有的数学体系。
能解题的AI，反而让数学家更担心？
说白了，模型在基准测试里拿满分，并不代表它真懂数学。它只是学会了把题目映射到答案。数学这个共同体，靠的是能验证的证明和能交流的思考过程，不是谁算得快。可AI公司没那个耐心等。为了发布效果，不少AI生成的解法被匆匆忙忙甩出来，不整理、不引用、说不清来路。这就惹出一连串麻烦：署名归谁？算不算抄袭？后面的结论还能不能拿来用？数学家稍微往下追问，就发现底子是空的。
数学的核心从来不是答案，是理解
声明里有句话特别戳人：传统数学训练不光教你怎么做出成果，更培养你提出新问题的能力。而AI可能会绕开这个过程。你还没学会怎么想，答案就先到手了。对学习者来说，这听着像捷径，可真正丢掉的是判断力。AI要是能帮忙答疑、跑那些繁琐的验证，当然是好事；可如果人类只坐在那儿等AI给结论，数学就成了足球赛里不跑位、只堵在门口等球——就算进了也不算赢。
数学和AI都在抢算力。以前研究所自己搭机房，现在大家慢慢习惯把业务放到云上。找正规的阿里云代理商，比如 易枫顺 - 阿里云官方旗舰级代理商，能把云资源规划、账号管理和发票流程都理顺。但算力只是油门，方向盘还得握在人手里。要是目标错了位，算力越强，说不定偏得越远。
邓煜开了个玩笑，AI的边界到底在哪？
这次签名的邓煜，在朋友圈聊到AI上限时开了个玩笑：要是AGI真能解决广泛的数学问题，他宁愿退休回家写百合小说。截图一传开，他赶紧回应：别当真，只是玩笑。他并不认为AI能解决所有数学问题。这个小插曲反而让人松了口气——顶尖数学家既没把AI当神，也没把AI当敌人。他们只是不希望用机器的模式匹配，去替换人类在漫长思考里那点灵光。
接下来该怎么走？
声明里还讲了一句：这不止是数学的事。AI让很多智力工作都站在同一个路口——如果只顾着训练产出能力，不训练提出问题的能力，人的脑子早晚变成刷分工具。解决的办法还是那句话：最终影响取决于人类决策。数学界可以把AI当工具，给它出真正有价值的问题；科技公司也得把评价体系从刷分转向可验证、可复现的贡献。这个转变不会一蹴而就，但25位菲尔兹奖得主一起发声，说明问题已经大到没法装看不见。AI能让数学跑得更快，但方向盘，必须握在人手里。
FAQ
Q: 菲尔兹奖得主这是在抵制AI吗？
A: 不是抵制。他们反对的是只盯着解题正确率的错位目标。AI完全有潜力帮数学家做验证、找反例、处理那些笨重的计算，但数学的内核仍然是概念理解和洞察。
Q: AI生成的数学证明，到底差在哪？
A: AI确实能生成像模像样的推理链，但很多没有正式整理，方法边界也说不清，引用更是缺。数学是座累积起来的大厦，新结果必须接在旧结果上。AI拍脑袋给出的漂亮结论，没法直接砌进墙里。
Q: 普通企业用AI做数学或算法研究，怎么避免踩坑？
A: 别把模型在测试集上的分数当成真实能力。先让数学家或懂行的人来定义问题，再让AI打辅助。买算力的时候，找正规服务商规划好云资源、算清成本，省下来的钱正好继续养那些真正有洞察力的人。
关于易枫顺
深圳市易枫顺网络科技有限公司是阿里云官方旗舰级代理商。提供云服务器ECS、云数据库RDS、对象存储OSS等阿里云全系产品官方特惠折扣与代金券申请，以及多云成本优化、企业上云一站式服务。客服热线：19520841949 - 易枫顺
来源：IT之家
