机器给出了正确答案，人还得负责看懂

一个卡了六十七年的数学猜想，这个月被解决了。解决它的不是哪所名校的教授，是一家科技初创公司的CEO，叫莱赫·马祖尔，他用的工具是GPT-5.6 Pro。8月5日证明出来，8月12日，菲尔兹奖得主陶哲轩在自己博客上发了一篇长文，题目直白得有点扎人——《对森多夫猜想证明的一次消化》。为什么要“消化”？因为机器写出来的那份东西，人类基本读不下去，形式化代码九万行。陶哲轩花了好几天，全程还得靠AI帮忙，才把它翻译成人能看懂的样子。我当了那么多年大学老师，看完这条新闻，第一反应不是激动，是心里一沉。今天不跟你聊数学，聊这件事砸在我们孩子头上的那一部分。

先把事实摆清楚。森多夫猜想1958年由保加利亚数学家森多夫提出，说的是一件

说到这儿，你可能觉得这是数学圈自己的热闹，跟自家孩子有什么关系。关系大了。

我先讲个我自己的事。上学期批大作业，有一份写得特别漂亮，推导干净，结论也对。我把那学生叫办公室来，问他其中一步为什么这么变换。他愣了半天，说：“老师，那段是AI给的，我看着挺对就抄上了。”我当时没发火，我脑子里冒出来的是——这不就是个缩小版的“不可读证明”吗？机器给了正确答案，人不理解，这答案对他就是废的。区别只在于，陶哲轩拿到看不懂的证明，会花好几天把它啃明白；我这学生拿到看不懂的答案，交完就翻篇了。差的不是工具，是那口“我非要弄懂”的气。

我妈也问过我这事。她在电视上看见“AI攻破数学难题”，第一句就是：“那以后娃还学数学干啥？”我说妈，正相反，以后更得学，但是学法得变。

还有我带的一个研究生，前阵子为要不要读博找我谈了三次。第三次他坐下就叹气，说老师我害怕，我熬五年做出来的东西，可能AI一周就出来了，还比我做得全。这话不是他一个人的焦虑。陶哲轩本人在一个论坛上被问到几乎同样的问题，他的回答很有分寸：数学研究生教育依然有真实的价值，但是一些传统的“价值标志”，比如写出一篇令人印象深刻的学位论文，可能很快就不再有同样的分量，因为AI生成的成果，已经逼近让人分不清它和几年潜心研究的差别。他还说了一句我特别认同的话：数学更深的意义是帮人类理解这个世界，一个不能被解释、只丢给你正确答案的黑箱，无论多惊人，都不算真正令人满意的数学。

你注意到了吗？在这条链子上，最不可替代的那一环，从来不是算出来，是看懂。

给还在念书的孩子，和当爹妈的，三句实在话。

第一句，别再把“会解题”当成孩子最大的本钱。以前一道压轴题做出来叫本事，现在这个本事，一个月费不到二百块的模型就有，而且比你快、比你稳、还不困。真正值钱的东西换了位置——是能不能把一个陌生问题讲清楚，是能不能盯着一份漂亮答案问一句“凭什么”，是能不能判断这一步最可能在哪儿出错。

第二句，别让孩子把AI当代笔，要让他当对手。抄一份自己看不懂的答案，等于把脑子外包出去；拿AI给的答案反过来逼自己复述一遍、找漏洞、换个法子重做一次，那才是练。我班里差距拉得最大的两类学生，一类用AI省时间，一类用AI耗时间，一个学期下来，能力是反着走的。

第三句，基础学科别急着劝退。这次的事恰恰说明，人类最后守住的阵地是理解和判断，而这两样东西，偏偏最靠数学、物理这些被家长叫做“天坑”的专业练出来。我不敢跟你保证读数学就能有份好工作，说句残酷的话，多数人想靠它逆袭本来就很难。但是我敢说一句：被替掉最快的，从来不是懂原理的那批人，是只会照着模板干活的那批人。

六十七年前森多夫随口提出的一个问题，四代人接力往前爬了三格，最后被一台机器加一个人合作解决。猜想是没了，可这件事真正的余震才刚开始：机器负责在庞大的可能里搜出答案，形式化系统负责保证它没错，人负责理解它、讲出来、传下去。三件事里，只有最后一件暂时抢不走。

你要教给孩子的，就是那第三件。

本人高校教师。教育类的话题，本人很愿意和各位分享。听着挺朴素的事：一个多项式，如果它所有的根都落在半径为1的圆盘里，那么以任何一个根为圆心再画一个半径1的圆，里面一定至少装着一个临界点。通俗点讲，早年的高斯—卢卡斯定理只保证了所有临界点被圈在羊圈里，而这个猜想要求的是，每一只羊身边都得贴着一条牧羊犬。就这最后一步，卡了将近七十年。

这七十年是一场接力。1969年迈尔和沙尔马证到根的个数小于6，1991年布朗推到小于7，1996年博尔西亚推到小于8，1999年布朗和项推到小于9。你数数，三十年，数字只往前爬了三格。2020年陶哲轩做出大突破，证明了次数足够大的时候猜想成立，论文发在《数学学报》上。但是他的方法带着定性成分，给不出一个明确的门槛，夹在中间那段“中等次数”，就成了谁都啃不动的腹地。

然后就是8月5日。马祖尔用AI一次覆盖了所有次数，连带把更强的菲尔普斯—罗德里格斯猜想也一起证了，证明还通过了Lean形式化验证——就是让计算机逐行核验每一步推理，确认整份证明没有漏洞。最讽刺的地方在这儿：陶哲轩消化完发现，这个证明“出奇地初等”。除了代数基本定理和莫比乌斯变换的基本性质，几乎不用任何复分析；用到最深的不等式是麦克劳林不等式的一个特例，而这个特例，能从算术—调和平均不等式配上数学归纳法推出来。翻译成大白话：一道悬了六十七年的世界级难题，最后是用本科生学过的工具制服的，只是七十年里没人想到这么用。陶哲轩后来还用AI代理把整个论证重新在Lean里形式化了一遍，一万五千行代码，只有原版九万行的六分之一。