10月6日，OpenAI把722篇由内部AI模型生成的数学手稿一次性放上了GitHub，涉及372个成果组，其中不乏长期困扰数学家的著名开放难题。 5天后的10月11日，在清华大学丘成桐数学与人工智能实验室联盟成立仪式上，这批手稿成了多位数学家绕不开的话题，丘成桐的评价是“这是一个学者们最兴奋的时代，也是最危险的时代”。 对普通人来说，这批手稿的正确用法不是硬啃原文，而是拿走三样东西：一份免费的成果目录、一把可查的成熟度标尺，以及顶尖数学家从中读出的能力价格变化。微博微博
先把一条线划清：公开不等于成立
这份清单里最容易被误读的字是“解决”。手稿中所有证明、证伪与反例，目前都是OpenAI的单方表述：约六成成果族附有计算机逐行检查过的Lean形式化证明，没有形式化的结果眼下只能算“声称”。 OpenAI自己也承认未完成形式化的证明可能存在漏洞，仓库上线后已因符号错误导致的论证缺陷撤回了3篇手稿，并对另外14篇做了修订。知乎知乎
更关键的是分布：网上讨论最热的几项成果——四维挂谷、霍奇猜想的CM情形、有理数域上的希尔伯特第十问题、Baum–Connes猜想反例——恰好都没有形式化背书。 而形式化也不是终点：计算机能确认的是推导逻辑自洽，被验证的命题是否忠实对应猜想的原始表述，最终还得由数学家逐一判定。知乎
中国数学会会长席南华在同一场仪式上点破了冲突的来源：企业不受学术规则约束，发布成果不需要经过同行严谨核验，甚至允许错误内容流出，给数学界带来了巨大冲击。 但他的结论是不必焦虑：新的共识还在形成，数学界可以和AI产业界一起逐步建立起各方都能接受的规则体系。 所以普通人的用法很简单：给每个转手的结论先贴标签——“声称”最低一级，“已形式化”高一档，“经同行评审”才算定论。眼下刷屏的“证明准黎曼猜想”就属于前两档，可以转述，但不能当成常识写进任何正经场合。微博微博
读不懂原文？那就用目录和“解决”信号
原文这一层普通人基本不用碰：连声称证明唯一游戏猜想的论文，都被同行评价为晦涩难懂、必须借助AI工具才能勉强读下去，而这已是一位深耕该方向多年的理论计算机科学家的第一手阅读体验。 值得逛的是目录层：722篇手稿被归入372个成果族，覆盖数论、几何、理论计算机、数学物理等17个方向，仓库有公开的完整概览，不懂专业也能看懂哪些名题被碰过。知乎知乎
目录真正的价值是信号。有些问题多年无人解决，会被整个领域默认难以突破，而AI的进展可能帮助研究者打破这些固有判断，重新探索被搁置的方向。 一个容易被忽略的细节：手稿里还有约50个成果族是证伪和反例，一些流传半个多世纪的著名猜想是被推翻而不是被证明的。 它因此不只是答案清单，也是一份“哪些教科书共识需要重查”的预警清单——这是普通人离这波成果最近、又完全用得上的用法。知乎知乎
更深的一层用法：读出能力价格的变化
丘成桐在仪式上给出的判断，可以直接翻译成普通人的行动坐标。他认可机器擅长汇集、学习人类长期积累的知识，但划出了边界：AI可以生成海量证明，却无法像人类数学家一样提出真正有洞察力的新问题，更无法拥有人类在长期研究中沉淀的数学直觉。 他担心的“危险”也不在于数学家被取代，而在于机器的宏大势力让许多年轻学者灰心，不想再做研究。微博微博
中国科学院院士田野给出的应对更具体：教材和考试模式需要调整。 在他看来，学习评价要转向学生是否真正理解了数学、有没有独立见解，而不是答得多不多、快不快。把两位的判断合起来，就是这场热点给普通人最实在的提示：“给出正确答案”正在批量变便宜，“提出问题、判断真伪”在变贵。 自己学东西、教孩子、用AI干活，投入重心都可以照着这张价格表挪。微博
这场风波远没有结局。9月11日，陶哲轩、邓煜等25位菲尔兹奖得主曾联名发表声明，警告AI公司与数学共同体之间的“严重错位”；10月7日，“人类数学协会”又发布声明呼吁数学家停止与OpenAI合作，直言一次性发布700多份文件，展示的不是学术研究，而是权力。 按数学界的惯例，单是其中任何一项被学界真正接纳都可能需要数月乃至数年，持续的撤回、修订和评审进度会不断改写这份清单的含金量。微博知乎
丘成桐的判断是“我想是机器把人带进了新的时代”。 他给出的姿态同样明确：我们需要在大潮上冲浪，而不是躲起来。 对普通人来说，焦虑或无视都不是选项——用好免费目录、盯紧成熟度标尺、跟着能力价格挪方向，就是这轮大浪里最实际的冲浪姿势。微博微博
