先说这事有多大。9月8日，OpenAI发消息，说它的一堆AI智能体，用大约一万个agent、跑了88小时，再用17小时做Lean形式化验证，号称把"纳维-斯托克斯方程"的存在性与光滑性难题证出来了。这题什么来头？它是2000年克莱数学研究所列的七大"千禧年问题"之一，悬赏一百万美元，九十多年没人啃下来。说白了，它问的是：描述水流、气流怎么动的那些方程，在一切情况下都平顺不崩吗？还是某些极端情形会突然"炸"出数学奇点？

但是你先别慌，也别急着把自家孩子送去加练奥数。这事到今天，数学界还在核验，而且闹出了争议。NYU的Buckmaster说他早就在做，OpenAI是听了风声后"抢跑"，用内部模型推完了全程，两边谁先谁后吵得脸红。更关键的一句大实话，来自曼彻斯特大学的Silvester："就算这题真解出来，在应用上什么都不会改变。"因为工程上模拟流体，早就不靠解析解了，数值模拟已经好到让风洞都快成古董。

我当了快二十年大学老师，看到这条新闻，第一反应不是激动，是替我的学生叹气。这些年家长最爱问我一句话："老师，学数学到底有什么用？"以前我不好答。现在AI把千禧年难题都搅和进来了，家长更慌：那还让孩子死磕数学吗？我的答案可能不中听——别神话这道题，也别神话AI，更别拿这道题当借口，继续逼孩子当"刷题机器"。

这道题，说白了是"数学上的清谈"。九十年没人解出来，不是因为它难到天际，是因为它跟造飞机、造火箭、造风电叶片的实际流体力学，半毛钱关系没有。真要算飞机翅膀上的气流，工程师打开软件跑数值模拟，几分钟出结果，谁等那一百万美元的解析解？可我们的孩子，被按在板凳上刷微积分、刷考研数学，刷的是解题套路，不是真思考。AI解的是"形式化证明"，而我们的孩子，连"这个公式为什么长这样"都没被教过。

还有一层，很多家长没看明白。Buckmaster自己把这事比作"深蓝战胜卡斯帕罗夫"那一刻——意思是，AI正在变成人类数学努力的"放大器"。我当了老师，最怕的是把学生教成一台"人肉计算器"，可时代偏偏在催我们换教法。我现在上课，会让学生用AI去跑猜想、去验证、去画图，但最后必须自己把"为什么"讲清楚。会用工具的人，和只会背公式的人，将来差出去的不是一星半点。你死活不让孩子碰AI，等于当年不让他用计算器，等他一上岗，同事早把活干完了，他还停在草稿纸上。

说个我亲见的事，名字隐去。我带过一个男生小Y，老家县城，父亲是车间工人，一门心思想让他考研，口头禅是"数学好出路好"。小Y听话，高数刷到140分，卷子上的题没有不会做的。有一回我随口问他傅里叶变换是干嘛用的，他愣了半天说："老师，这不就是套公式吗。"后来他真去了家风电企业，岗位要的是能用Python把风场流场跑出图来的人。他现学现卖，三个月上手。他爸还跟我炫耀"看吧，数学没白学"——其实企业真看重他的，是肯钻、能学；那点数学，AI早能代劳了。

再说我同事的女儿。从小被逼奥数，拿过省一等奖，高考数学148分，风光得很。结果一进大学，面对导师给的开放式科研题，整个人懵了——因为她只会做有标准答案的题，一旦没人告诉她对错了，她就不会动。偏偏这种"没有标准答案的活"，正是AI最擅长、也最该是人长处的。她不是不聪明，是被训练成了一台"标准答案收割机"，而那台机器，现在被人造出来了，还比她快。

所以别搞反了。AI解出千禧年难题，说明的不是"人没用了"，是"只会套公式的人，最先没用"。我们这些年扩招、考研，把数学硬生生卷成了一门军备竞赛：刷分、背题型、冲满分，好像分高就有出路。可社会上真缺的，是能提出一个好问题、能扛住一个烂摊子、能把想法落地的人。这些本事，刷题刷不出来，AI也替代不了——偏偏我们的课堂，最不教这些。

给普通家庭几句掏心窝的。第一，别被"AI取代人"的标题吓出心脏病，也别反过来觉得"既然AI会了，孩子就不用学"。数学该学，但得学"为什么"，不是学"怎么套"。第二，与其砸钱报奥数班冲满分，不如早点带孩子看见数学长在哪、用在哪——让他知道傅里叶变换能让音乐压缩、能让CT成像，比背一百个公式管用。第三，最该教的，是怎么提问题、怎么查资料、怎么在卡住时不崩。这些，才是AI抢不走的。

再说句得罪人的。考研数学那张卷子，考了大半辈子"计算熟练度"，可AI最熟的恰恰就是这个。往后还拿"谁算得快"当门槛筛人，筛出来的全是机器能替的。真要考，就该考"面对一个没标准答案的问题，你怎么办"——这恰恰是我们从来不教、AI也一时替不了的。高校的必修课，早该从"刷题"改成"提问"了。一个学生能不能提出问题，比他能不能算出标准答案，更决定他将来是被人使唤，还是使唤人。

说到底，AI解出纳维-斯托克斯，跟普通人家孩子关系不大。大不了你孩子将来不用跟AI比谁公式背得熟。但是你若还把他按在板凳上，当一台"刷题机器"，那才是真耽误他——因为机器早就比他快了，而人该有的那点"较真"和"清醒"，课堂没给，家里也没给，就剩社会拿耳光教了。本人高校教师，教育类的话题，本人很愿意和各位分享。

信息来源： 1. New Scientist、Scientific American 等关于 Navier-Stokes 千禧年难题的报道（2026年9月）； 2. OpenAI 关于 Navier-Stokes 问题的说明（2026年9月8日）。