事实核查：优雅数学是脑容量的“拐杖”，AI 靠硬算出了 700 个结果？

核查日期：2026-10-19（北京时间）。对象：Noe1017（@Noe1017_Monad）2026-10-19 10:30（北京时间）帖文。当晚已按用户提供的全文补充后半段核查。

核心结论

“这 700 个结果”确有其事：指 OpenAI 于 2026-10-06 在 GitHub 公开的 722 篇 AI 生成数学手稿（372 个结果族，由未发布的内部模型产出，约尝试了 4000 个问题）。但没有任何公开来源显示这些结果是靠“硬展开到第七阶、凑待定系数”算出来的，也没有证据表明其中“没有新概念”——数学家目前仍在核验对错、甄别哪些是新东西。

前半段（脑容量）：方向属实、表述夸张。工作记忆约 3–5 个组块，属实；“人脑宕机”“优雅只是拐杖”是修辞和片面观点。

后半段（AI 硬算）：主要是想象。计算机做符号展开、追踪大量系数确实轻松（这本就是计算机代数系统的老本行，不需要“上万个 Agent”），但把“AI 不需要几何直观、问题都化成线性方程组、上帝用计算器”说成 700 个结果的真相，没有依据。Witten 等数学家的评价是“结果常令人印象深刻，但写得很乱、难读”，而不是“全是暴力展开”。

对用户所贴全文的逐条核查

前半段：脑容量与“拐杖”

说法	结论
顶尖数学家工作记忆撑死同时追踪五六个变量	基本属实
三阶以上展开会冒出几十个交叉项	属实（算术）
此时人脑直接宕机	夸张
人类数学家厌恶展开高阶项，靠对称性、不变量、同调代数、几何直观绕开	部分属实（动机被曲解）
上万并发 Agent 追踪一万个五阶交叉项系数像 1+1 一样轻松	夸张
AI 不需要几何直观，百项高阶余项在它眼里就是线性方程组	存疑（无依据）
硬展开到第七阶、凑待定系数让发散项归零，所以不用发明新概念	无法证实
“这 700 个结果”	背景属实；“暴力展开、无新概念”无法证实
上帝算账不用微积分，直接拿计算器硬按	修辞（与已知情况不符）
优雅数学结构本质上是迁就脑容量的拐杖	观点（部分有道理，但片面）

1. 工作记忆容量
· Cowan（2010，Current Directions in Psychological Science）：在阻止复述和分组的条件下，年轻成人的中央工作记忆约为 3–5 个有意义的组块；严格控制时约 3 个。
· Halford、Baker、McCredden、Bain（2005，Psychological Science）：被试（30 名学者）解读统计交互作用图，从三维到四维交互，准确率和速度显著下降，五维交互降到随机水平。作者结论：“定义在四个变量上的结构处于人类处理能力的极限”。
· 所以“五六个变量”比实验估计宽一点，但“人脑只能同时处理少数几个变量”这个方向成立。

2. 数学家是否更强
· Meier 等（Journal of Expertise）：42 名数学家（含学士、硕士生和数学系教职人员）与 42 名非数学家按年龄、性别、学历和一般智力匹配，工作记忆容量相近；不同专业水平的数学家之间也没有差别。
· 但 Ericsson & Kintsch（1995，Psychological Review）指出，专家可以把领域信息快速编码进长时记忆，再用短时记忆中的线索提取，从而大幅扩展有效工作记忆（心算、医学诊断、国际象棋都有证据）。熟练数学家把一整块推导当成一个“组块”，所以不能简单说他们“只能追踪五六个变量”。

3. 交叉项数量（算术）
n 个变量之和的三次方，不同单项式的个数为 C(n+2, 3)：n=4 时 20 个，n=5 时 35 个，n=6 时 56 个；三个各含 n 项的因子相乘，未合并时有 n³ 项（n=4 时 64 项）。“几十个交叉项”说得通。

4. “优雅 = 拐杖”？
· 支持的一面：抽象和简洁表述能把大量细节压缩成少数可操作的组块，正好适应上面所说的容量限制。
· 反对的一面：Zeki、Romaya、Benincasa、Atiyah（2014，Frontiers in Human Neuroscience）让 15 名数学家给公式的美感打分，发现美感与内侧眶额皮层活动相关，并且与对公式的理解程度显著正相关（r = 0.413）。这说明“优雅”往往和深层理解、可推广性联系在一起，而不只是为了省脑力。
· “本质上只是拐杖”是价值判断，本页不判真假。

后半段：AI 硬展开与“700 个结果”

5. “人类数学家极其厌恶展开高阶项，退回去找对称性、不变量、同调代数、几何直观”——部分属实
· 找对称性和不变量来避开繁琐计算，确实是常用策略。
· 但“厌恶展开”不成立：微扰论、渐近展开、量子场论多圈计算等领域，人类长期做高阶展开，并大量借助计算机代数软件。数学家找结构，更主要是为了理解“为什么成立”、让结论能推广，不只是因为算不动。

6. “上万个并发 Agent 追踪一万个五阶交叉项系数，跟算 1+1 一样轻松”——夸张
· 展开多项式、追踪上万个系数，对计算机不难，但这是几十年来计算机代数系统就能做的事，用不着“上万个 Agent”。
· “上万个 Agent”可能来自 OpenAI 9 月的 Navier-Stokes 结果：据 Science 报道，那次动用约 10,000 个 Agent 连续运行 88 小时，成本可能达数百万美元，对 AI 来说也并不“像 1+1”。而 700 篇中多数结果，OpenAI 称平均约相当于 ChatGPT Pro 思考 3 小时的算力。
· 大模型做长推导也会出错：截至 Science 发稿，OpenAI 已撤回 3 篇、修订 14 篇。

7. “AI 不需要几何直观，百项高阶余项在它眼里就是线性方程组”——存疑（无依据）
· 用待定系数法把问题化成关于系数的线性方程组，是真实技巧，但只适用于特定问题；大量问题是非线性的，或根本不是“展开+求系数”能解决的（如存在性、分类、数论猜想）。
· 没有公开来源说明 OpenAI 模型是“不用几何直观、站在代数展开式里往下看”。数学家对这批论文的主要抱怨是写得乱、难读（Witten：懂这些结果的人能写得更易懂；Sivek：一篇 140 页的论文“完全读不懂”），这不等于它们是暴力展开。

8. “硬展开到第七阶、凑几个待定系数让发散项精准归零，就不用发明新概念”——无法证实
· 高阶展开加待定系数消去不想要的项（如正规形理论、渐近匹配）确有其法，但帖子把它当成 700 个结果的普遍做法，没给出任何具体论文。“第七阶”“一万个五阶交叉项”都没有出处，应视为修辞。

9. “这 700 个结果”——背景属实，解读无法证实
· 事实：2026-10-06，OpenAI 发布《Sharing AI progress in mathematics》，在 GitHub 公开 722 篇由未发布内部模型生成的手稿，归为 372 个结果族，模型约尝试了 4000 个问题，部分证明附 Lean 形式化。Science 称截至发稿撤回 3 篇、修订 14 篇，剩余 719 篇中约 300 篇已形式化；New Scientist 按另一口径统计，Lean 目录中只有 162 篇的主要结果被形式化。
· 是否“暴力展开、没有新概念”：没有来源支持。伯克利的 Olga Holtz 说，数学家组团研读这批论文，目标正是“弄清其中哪些是新的、有用的数学”，说明有没有新东西尚无定论。IAS 研究者 Kogler 几乎同时独立证明了其中一个猜想（exact overlaps conjecture），称其为该领域的“重大突破”。Holtz 还强调：声称的结果、独立验证的结果、被理解并吸收进数学文化的结果，不是一回事。

10. “上帝算账不用微积分，直接拿计算器硬按”——修辞
· 这是比喻，不可核查。就公开信息，这批成果是用常规数学语言写成的证明（部分有 Lean 形式化），不是“按计算器”得出的数值结果，这个概括与已知情况不符。

对原帖的核查

原帖是 X 长文（API 摘要只显示前三段，后文需点“显示更多”），不是续帖，也没有引用其他帖子；作者同时段的其他帖子没有说明“700 个结果”指什么。结合时间（发帖前 13 天 OpenAI 刚放出 722 篇手稿，中文圈普遍称“700 多篇”），“这 700 个结果”几乎可以确定指这批手稿，但原帖本身没有写明，这是推断。原帖内容与用户所贴全文一致，结论同上。

原帖全文

Noe1017（@Noe1017_Monad）· 2026-10-19 10:30（北京时间）· 赞 1,551 · 转发 147 · 浏览 95,737（截至 2026-10-19 21:15 北京时间）· 原帖 · 原文为中文

所谓优雅的数学结构，本质上是人类为了迁就自己那点可怜的脑容量，被迫发明出来的拐杖。一个顶尖人类数学家的工作内存，撑死也就同时追踪五六个变量的交互。当你在算一个偏微分方程或者组合不等式时，一旦展开到三阶以上，几十个交叉项涌出来，人脑就直接宕机了。所以人类数学家极其厌恶展开高阶项，一旦看到高阶项发散，人类的本能反应是此路不通，赶紧退回来找对称性、找不变量、搞同调代数或者几何直观，试图不展开式子就把问题绕过去。但 AI 没有这个生理缺陷。对于上万个并发的 Agent 来说，同时追踪一万个五阶交叉项的系数变化，跟我们算 1+1 一样轻松。在它的视野里，根本不需要什么几何直观，它直接站在高维的代数展开式里往下看，人类觉得像乱麻一样的百项高阶余项，在它眼里就是一张明明白白的线性方程组。既然把式子硬展开到第七阶，再凑几个待定系数就能让所有讨厌的发散项精准归零，它为什么要费劲去帮你发明一个人类能看懂的新概念？这 700 个结果背后最无奈的黑色幽默：我们终于拿到了上帝账本里的答案，却发现上帝算账根本不用微积分，他老人家是直接拿计算器硬按出来的。