AI 是否意味着我们所知的数学的终结？

9 月 8 日，OpenAI 甩出个大招：它把数学界最著名的难题之一给解了。得州大学奥斯汀分校的 Scott Aaronson 当场破防，在博客里写：“人类数学家作为地球上主要的定理证明实体，已经被永久废黜了。”

这事儿在伯克利的一间教室直接炸了锅。150 名师生围着刚从弗吉尼亚请假、跑去 AI 初创公司干活的数学家 Ken Ono 疯狂输出。有人双手发抖地质问他：“你们在做什么？你们的‘最大努力’是什么？”

大家急眼，是因为 AI 现在只管跳到山顶，却不管你怎么爬上去。它的证明几乎没法读，还藏着掖着——OpenAI 已经宣布把超过 100 个重要结果保密了。

更绝的是，这套玩法直接把学术圈逼成了斗兽场。数学家们怕自己的猜想被 AI 抓取，连在论文末尾公开猜想都不敢了；arXiv 也被海量证明淹没，只能紧急限制作者每月最多发两篇。

为了保住这门手艺，加州理工学院的博士生 Tasmin Chu 干脆拉了个“人类数学协会”。他们不想让未来的数学家变成只会按按钮的人，而是想逼着整个圈子重新找回那些真正值得传下去的东西。