一份没人读得懂的证明，到底算不算数学成果？这次 AI 宣称在流体力学千禧年难题上取得突破，88 小时出结果。OpenAI 显然觉得算；25 位菲尔兹奖得主集体发声，说明数学共同体不这么认为。争议焦点不是“有没有解出题”，而是交上来的东西人类消化不了。
先别急着把这事理解成“人类嫉妒机器”。陶哲轩说的“消化”不是情绪，而是数学这门行当的底层规则。一个证明得让同行看得懂、查得清、还能继续往下推，才算进入公共知识。AI 生成的证明如果长到顶尖数学家啃一篇都要几个月，问题就不在于它聪不聪明，而在于知识传输的管道断了。这些手稿可能更像是“计算结果”，而不是“数学理由”。
“88 小时”这个数字我也有疑问。它说的是纯算力时间，还是把人类前期形式化、调模型、筛结果都算进去？目前公开信息没把口径说清楚。如果只是前者，那这个数字很难直接和数学家耗时近百年的问题对等。
更让我不理解的是批量发布 722 篇手稿这个动作。学术研究一般一篇一篇来，因为同行审阅是稀缺资源。一次性丢出 722 篇，等于用数量把审阅系统撑爆。顶尖机构尚且顾不过来，普通研究者更不用说。这不像在推进数学，更像在证明“我有多少产出能力”。
顺便说一句，发布两天就撤回 3 篇，这个细节比 88 小时更值得琢磨。一个符号写错整套论证作废，说明生成方自己在发布前都没能完成验证。既然如此，剩下的 719 篇可信度要靠谁兜底？
把数学家描述成反 AI 也不准确。陶哲轩自己就用工具做计算、找猜想、查漏洞。这类辅助工作有明确边界：AI 提供候选，人来判断。可一旦 AI 直接被推上“定理证明者”的位置，助手和裁判的界限就模糊了。
“准黎曼猜想的结果够格菲尔兹奖”这种话听上去分量很重，但它只是个人评价，不是独立验证结论。目前还没看到哪个团队站出来确认。
真正悬而未决的问题不是 AI 能不能证明，而是数学共同体以后要不要接受一种新型证明：它可能正确，但没人能解释为什么。如果接受，数学会变成对黑箱的认证系统；如果不接受，又可能把某些超出人类理解范围的真命题关在门外。这个选择，比那 100 万美元难多了。