722 篇手稿砸向 GitHub,AI 踩在菲尔兹奖

昨晚刷到一条消息，我愣了几秒。OpenAI 在 10 月 6 日往 GitHub 上直接砸了 722 篇数学手稿。

没预警，没评审，连发布会都没开。奥特曼只在 X 上留了一句：“我们正在进入一个全新的发现时代。”这哪是低调，是真没空敲锣打鼓。这些全是数学证明，平均一篇只花了约 3 个小时的算力。而且每篇都带了 Lean 形式化验证，机器能逐行核对，不是人脑自圆其说。

怀尔斯当年证费马大定理关了七年，现在模型 3 小时一证。但更狠的是 Anthropic。没人宣传，就有人在 GitHub 上交了段代码。Claude 把渗流理论里几十年没人啃动的阈值算出来了。这连菲尔兹奖得主都没拿下。八月份它还把黎曼猜想的临界零点下界推到了 67.2%。九月初又搞出 1300 万行的费马大定理验证代码。

麻烦也跟着来了。提交渗流证明的不是数学家，是个工程师。论文该挂谁的姓？OpenAI 那 722 篇更绝，直接发 GitHub，连同行评审都省了。审稿被 Lean 挤掉了，它不在乎你姓什么，只在乎对不对。

Amodei 说一到五年，AI 就会超越人类。这话以前像吹牛，现在听着像预报。不过证明不等于理解。答案的意义还得人来给。数学不再是人类的私人会所了。门被踹开了，里面站着个不喘气的同行，手里拿着铲子。你要么跟它一起挖，要么看着主峰一座座被它先登。