10年前AlphaGo挑落各国棋坛名家，外界一度担心围棋这门艺能就此作古。眼下全球数学家也深刻体会到这种被科技支配的恐惧，人类未来是否应该继续从事数学研究，抑或完全交予人工智能（AI）处理？

10月6日，OpenAI在官方平台披露了722篇数学论文手稿，涵盖400项左右的学术成果。其所涉足领域几乎遍及数学所有学术分支，包括代数、数论、理论计算机科学、数理逻辑、拓扑学等，且多项成果极具分量，如「准黎曼猜想」、「四维挂谷猜想」都属于菲尔兹奖级别的世纪难题。

此举很快遭到了以陶哲轩为首的学界人士抨击，直言AI公司正在摧毁数学研究、生产出来的都是「有毒废料」。这里有必要介绍一下陶哲轩的背景。他年少成名，13岁夺得国际数学奥林匹克金牌，24岁当上了UCLA（加州大学洛杉矶分校）终身教授，被公认为「当世最强数学家之一」，且被称作科学界的华人之光。

暴力解题 难以溯头

有趣的是，陶哲轩一直都是AI大好友。他经常在网络上分享AI工具的使用心得，并坚信能够为学术研究带来无限可能，其也是少数能够提前用到OpenAI最新模型的「VIP客户」。但这次「抄家式解题」让陶哲轩出离愤怒，虽然AI能在短时间内生成大量证明，但推导缺乏思维链，无法追溯文献源头。读者不能理解验证过程，遑论在此基础上提出新问题。

数学与编程是当前受AI冲击最大的两个行业，因为二者天生都有「语言」属性，即通过一套抽象、孤立的系统去「描述」外部世界，并搭建起清晰的「定义—推理—结论」逻辑框架。更重要的是，常年积累下来的经验与知识均采用文本形式留存于网络，可以直接被AI拿来预训练。

打破定式 推陈出新

据OpenAI介绍，今次披露的学术成果，平均每项耗时仅相当于ChatGPT Pro约3小时的计算量。然而，数学家对其进行验证可能长达数周时间，还不一定能够完全「破译」。按照过去的学界做法，某位科学家想要发表论文，先要经过同行评议，甚至须组织学术会议，让作者出席分享并讨论。如今AI大厂跳过学界公布成果，显得极为粗暴。

其实当初AlphaGo横空出世，大家也完全看不懂他的「棋路」，而单方面碾压人类选手的实力，同样也是完全不讲道理。但围棋的案例并不负面，因为AI的出现没有消灭这项运动，只是重塑了技术理论、训练模式、赛事生态与内在价值。

如今随着绝艺、KataGo等开源围棋AI的普及，入门棋手不再需要依赖传统的「棋院研究会」，普通人都能通过AI分析最佳落子点，实现了某种知识平权的效果。新一代棋手也摆脱了过去的「定式」与「棋理」束缚，在高强度的AI训练中达到了超越前辈的水平。虽然迄今人类还是下不过AI，但内地每年仍有约300万儿童在学棋，民间的热度并没有下降。

在笔者看来，数学界，甚至所有的学科最终都要经历一次AI淬炼，过去的评判标准与组织架构可能都会调整，但人的价值不会泯灭。