问题描述
1、一位名叫Lech Mazur的初创科技公司CEO，借助AI证明了森多夫猜想的一般情况：https://www.proofatlas.ai/papers/sendov-conjecture-proof-candidate/Mazur_Sendov_Conjecture_Proof_Candidate_Revision_14.pdf
2、陶哲轩发现，这个AI证明实际上解决了比森多夫猜想更强的问题，可以将其和一个更强的猜想——Phelps–Rodriguez 猜想——作为推论直接得出。：https://github.com/teorth/sendov
怎么看？我看 99% 搞数学的人都要被 AI 干掉了。
这件事简单来说就是，一个叫 Lech Mazur 的人（科技创业者/极客，不是职业数学家）带着 AI，把数学界猜了六十多年的森多夫猜想里待证明的部分证明出来了，机器验证通过。然后陶哲轩花了好几天，把这个证明「翻译」成人话。其实这个证明很简单，用的全是老工具，只是以一种人类没想到的方式把老工具拼在了一起。
AI 交出来的证明，一开始是几万行机器代码，人类根本读不了。陶做的是：读懂它、简化它、把它装进数学家六十年来搭好的框架里，顺手还多解决了两三个小问题。说白了，AI 从树上把果子连枝带叶扯下来，果子不小，可如果树下没人接，它就摔在地上烂掉，而陶哲轩就是那个在树下接果子的人。
陶哲轩确实是聪明人。从去年开始，他就在系统性地搞 AI 证明，跟 AI 合作，训练自己「读机器证明」的能力。所以这次果子砸下来，别人还没反应过来，他已经接住。这件事让他从「最伟大的在世数学家之一」变成了「AI 时代数学领域的超级个体」。以前他再牛，也需要合作者，需要社区里的绿叶帮忙算例、检查细节、处理杂活；现在一个人+一套 AI 系统，就能完成过去一个顶尖团队的工作。那些平庸的合作者，那些只能做「执行性数学」的人，真的不再被需要了。
国内数学界的大多数数学工作者，尤其是一些老登，对 AI 还停留在狗屁不懂的阶段。问题是时代变了。以前数学家拼的是技巧、直觉、运气，一个人在黑板上推三天。现在 AI 可以在几小时内搜遍所有文献，组合出几千条路径，然后挑一条能走通的，全程不需要人。
如果你学数学只是为了拿学位、进高校、发论文，那你选错行业了。AI 时代，数学不是给平庸者准备的饭碗，而是给极少数超级个体准备的战场。数学系课程必须改革，不然的话，学生毕业那天就是被淘汰那天。
再看远一点。低垂的果实会很快摘完。那些「有巧思但不需要惊天动地新框架」的猜想，会被 AI 一个个扫掉。剩下的重大难题，比如黎曼猜想，就不是一张纸一支笔能碰的了。到那时候，数学会「升华」为重资产、重工业化的学科。一张纸一支笔的时代已经结束了。以后你想攻黎曼猜想？先租一排超算，买几万块 GPU，让大模型在里面疯狂吐 token，吐几个月，然后由极少数超级个体为 AI 指点一下迷津。
各行各业都在被 AI 爆破。你看画画的，看码农，看翻译，看律师，都是一点点看着 AI 蚕食自己的工作，还骗自己「AI 永远替代不了」。只有等到 AI 真的砸到自己行业头上，你才猛然发现：WC，太变态了，这么已经进化到这个地步了……
森多夫猜想只是个开始。果园里还有很多很多果子，掉在地上的速度会比想象中快。你现在要问自己的是：你是树下接果子的人，还是那个只能站在旁边干看着的人？
要知道，学校只教你怎么摘果子，从来不教你怎么接果子。AI 时代，每个人都只能摸着石头过河。
关注下 Thoughts Memo ，或许会对你有启发？
author: cantcatchme@thoughtsmemo