说句不中听的大实话：陶哲轩带头抵制OpenAI，说数学界迎来了末日浩劫，可能真的错了！

就在顶尖数学家痛骂AI用700篇天书摧毁人类智力时，图灵奖得主杨立昆却冷笑：恰恰相反，数学正迎来新时代！

船的发明降低了游泳的重要性，却让我们发现了新大陆。

这碗水，到底哪边端得平？

先说OpenAI干了什么事。

不打招呼，不走流程，直接甩出700多份机器生成的证明文件，其中赫然包含数学界最硬核的几个世纪难题。

理论计算机科学家Scott Aaronson的妻子Dana，把一生心血全部压在「唯一博弈猜想」上，一觉起来发现AI顺手就给"证明"了，连夜翻完文件后她说了一句话：这感觉像是吃了致幻剂的人写出来的东西。

逻辑混乱，跳跃无序，没有同行评审，没有人类可读的推导，通篇都是外星逻辑。

论文写得太烂，没有AI辅助根本读不懂。

这不是学术成果，这是把全球顶尖学者当成免费验题工具人。

愤怒是完全合理的。

但愤怒解决不了一个真正的问题：这场冲突的本质，从来不是AI好不好，而是谁来定义数学的价值。

陶哲轩的核心担忧，其实比外界炒的更深。

他反复说的是"证明消化不良"，一个猜想一旦被宣称解决，人类就失去了在探索过程中积累洞见的机会。

传统意义上攻克一个重大难题，会带动一代学者，催生讲座、合作、教材、新方向。

现在呢？机器三小时出结果，人类花三年读不懂。

留给学者的不是成果，是一片无法耕种的荒地。

这个担忧是实实在在的，不是矫情。

但杨立昆那句话也不是随口说的。

船的发明确实降低了游泳的重要性，但没有人因为不用游泳就失去了到达彼岸的能力，反而因为有了船，人类才第一次有机会看见海平线另一边是什么。

形式证明被自动化之后，数学家真正需要干的事不是被替代，而是被解放，去做机器最不擅长的那件事：提出新概念，定义新结构，猜想那些连AI都还不知道该往哪走的问题。

这碗水端不平的根本原因，在于两个人说的根本不是同一个维度的事。

陶哲轩在意的是过程，杨立昆在意的是方向。

陶哲轩守护的是数学作为人类智识活动的尊严，杨立昆押注的是数学作为人类探索工具的边界扩张。

两个人都没错，但两个人都没把对方那层说透。

真正的问题夹在中间，几乎没人在讨论：当机器可以批量生成证明，人类数学教育还有没有存在的必要？

年轻学者还要不要花十年死磕一道题？

如果答案存在但无法被人类理解，这道题算不算真正被解决了？

这才是让整个数学界坐立不安的东西，不是AI赢了，而是标准本身开始松动了。

陶哲轩说得对的地方是：不能让商业算力来定义数学进步的节奏。

杨立昆说得对的地方是：游泳没了用武之地，不代表人类失去了探索的欲望。

但谁来回答那个更难的问题，探索的主体，还是不是人类？
人类数学家联合抵制OpenAI