10月11日，清华大学求真书院，丘成桐数学与人工智能实验室联盟成立仪式。担任联盟主席的丘成桐，为距离OpenAI公开722篇AI生成数学手稿仅五天的这一幕定调：这是一个学者们最兴奋的时代，也是最危险的时代。中国青年报
“背后藏着什么”，答案就藏在兴奋与危险的错位里。这722篇手稿声称解决了数百个公开数学难题，但截至发稿，它们没有一篇经过人类同行评审，也没有一篇署上人类作者的名字。手稿之后，是一批接近菲尔兹奖级的突破、一笔人类要花好几年才能还完的核验债，以及一场已经开打的规则之争。
手稿里到底有什么：金子和地雷混装
10月6日深夜，OpenAI在GitHub放出仓库openai/math：722份数学手稿、372个结果族，全部出自一个尚未发布的内部模型。 OpenAI自己介绍，模型一共尝试了约4000个悬而未决的数学问题，最终在372组问题上拿出结果，平均每个结果耗费的算力，大约相当于ChatGPT付费高级版思考3个小时。 结果覆盖数论、几何、概率、理论计算机科学等17个分支。哔哩哔哩果壳
分量最重的一项，被中文媒体称为“准黎曼猜想”的推进：编号003的手稿声称，包括黎曼ζ函数在内的所有狄利克雷L函数，在实部大于7/8的区域里没有零点——罗格斯大学数学家孔托罗维奇评价，这要是人做出来的，当场就是菲尔兹奖级别。 但离黎曼猜想本身还差得远：猜想要的是所有非平凡零点落在实部等于1/2的线上，佐治亚理工学院的马特·贝克提醒，完整证明可能需要完全不同的方法。哔哩哔哩果壳
手稿里还声称解决了四维挂谷猜想——同一猜想的三维版本，王虹今年7月刚凭它拿下菲尔兹奖，不到3个月，OpenAI说AI把四维版本也解决了。1950年提出、几十年里只知道答案在4到7之间的平面染色问题，手稿声称连5种颜色也不够，答案只剩6或7。
但地雷来得比金子快。问题出在第一篇手稿的一个符号上：该写负号的地方写成了正号，一步关键的抵消因此不成立，另外两篇建立在同一个构造上，跟着一起被撤回。 发布后不到24小时，其中3篇被撤回，同日还有14篇被修订，13篇因为依赖关系更新了引用。果壳哔哩哔哩
比算错更难办的，是读不懂：布朗大学数学家哈塞特挑了自己最熟悉的手稿粗读一遍，觉得“不知所云”；普林斯顿研究黑洞数学的达费莫斯翻了该领域的几篇，挑不出具体错误——它们写得太含糊，够不上证明的标准，连错都谈不上。截至现在，还没有任何人——包括OpenAI自己的研究人员——通读过这批手稿，光是目录加摘要就有约40页。
争论的焦点因此从“AI能不能解题”转到“成果可不可信”：仓库说明文件显示，OpenAI自报顶层结果的形式化率约42%，发布时几乎无人读懂。 OpenAI也在README中承认，部分未形式化的结果可能存在问题。而机器检查同样有盲区：Lean只能保证翻译成形式语言的那句话被证明了，那句话和手稿里的原题是不是一回事，还得有人逐行核对代码。 这几天翻稿子的数学家里，已经有人发现机器验证过的话和手稿宣称的结论对不上。哔哩哔哩果壳
“危险”藏在哪：证明的生产与验收规则正在被改写
另一件发生在10月11日的事，能帮理解丘成桐口中的“危险”。陶哲轩当天公布了在加州理工的演讲《Math 2.0》：当AI能把曾经极难的问题批量解掉，数学界原本靠“解决难题”衡量进步的激励机制开始失灵，陶哲轩给出了一个强烈的判断——继续盲目地只优化问题求解能力，如今已经在积极损害数学的长期健康发展。机器之心
反弹在发布之前就已公开。9月11日，陶哲轩、邓煜等25位菲尔兹奖得主联合发表声明《人工智能在数学中的严重错位》，警告AI公司与数学共同体之间正在出现“严重错位”；10月7日，陶哲轩又在个人博客上全文转载“人类数学协会”的声明，这份声明呼吁数学家停止与OpenAI合作，并直言：一次性发布700多份文件，展示的不是学术研究，而是权力。 “人类数学协会”由800多名数学家组成，其中的邓煜正是今年7月新科菲尔兹奖得主。中国青年报
冲击已经落到具体的人头上：一批朋友和同事的经费申请一夜之间作废。 研究者开始把有前途的方向藏起来，生怕被抢先；数学界还有一层更深的担忧——如果下一代不再啃难题，几十年后这些证明的方法可能就没人看得懂。不过数学界并未铁板一块，多伦多大学的丹尼尔·利特转述一位合作者的感受：“我觉得自己爬了一辈子，现在能飞了。”果壳
丘成桐的选项：冲浪，并且把规则写在自己手里
丘成桐给出的不是评论，而是组织动作。这个由他发起、联合多家数学科研机构的联盟，将汇聚千余名科研人员，聚焦数学科学专用大模型、AI辅助数学证明等方向开展研究，他希望未来有1000名数学家共同参与。 在他看来，AI能汇集、学习人类长期积累的知识，但远远不能全面理解科学真理；要让机器具备更强的思考与推理能力，恰恰需要数学家入场，AI发展数学家不能缺席。北京日报
丘成桐把姿态讲得很直白：这倒逼我们重新思考数学的本质价值，也要求我们必须在AI浪潮中冲浪，而不是躲起来。 他的底气在于对人类位置的判断：AI可以生成海量证明，却无法像人类数学家一样提出真正有洞察力的新问题——经验、审美与创造力沉淀出的数学直觉，仍是他眼中人类不可替代的核心优势。长安街知事
中国数学会会长席南华把焦点放在规则本身：企业不受学术规则约束，发布成果不需要经过同行严谨核验，甚至允许错误内容流出，给数学界带来了巨大的冲击。 他认为不必因此焦虑——新的共识还在形成，数学界可以和AI产业界一起，逐步建立一套各方都能接受的规则体系。中国青年报
“解决了”和“被确认了”之间，还隔着几年
边界必须划清：眼下手稿里每一个“解决”“推进”，都还是OpenAI的自我声明与声称，数学界的普遍估计是，把722篇弄明白要花好几年。 接下来值得盯住几个信号：形式化覆盖率会不会爬升，撤回和修订的数目还会不会扩大，圈里传说的“下一批手稿”会不会真的到来，以及席南华所说的规则体系，能否在实验室联盟与抵制声明之间被真正谈出来。果壳
对圈外读者来说，这件事的意义大概不是“数学完了”，而是一套运转了近百年的知识生产、验证与署名规则开始被改写。兴奋与危险，说的其实是同一件事。
