作者 | 汤安迪

编辑 | 周欢

一个伟大的百合小说作家，正在崛起。

一份是正经到不能再正经的联名声明：《人工智能在数学中的严重错位》（A Severe Misalignment of AI in Mathematics）。

陶哲轩、邓煜、彼得 · 舒尔茨（Peter Scholze）等 25 位菲尔兹奖得主作为最初签署人，警告 AI 公司与数学共同体之间正在出现 " 严重错位 "。

  "solving problems is only a tool and proxy for achieving the primary goal of conceptual understanding and insight. Forgetting this in the world of AI may turn the tool against the primary goal. Indeed, the mass production at faster and faster pace of 'true/false' statements could destroy fertile ground instead of breathing life into new ideas."

" 解决问题只是达成首要目标——概念理解与洞见——的工具和 proxy。在 AI 的世界里忘记这一点，可能让工具反过来对抗首要目标。' 真 / 假 ' 命题被以越来越快的速度大规模生产，摧毁的可能是沃土，而不是给新思想注入生机。"

把数学问题当 benchmark 刷，对数学科学和数学界都是有害的。

另一份，是邓煜发在朋友圈的一段话：

" 真的很好奇 AI 的上限到底在哪里，任何一个 PDE 理论上你都能提无穷多个问题，singularity 的存在性只是最基本的，那它们在所有解空间的测度呢？（余）维数呢？拓扑性质呢？完全分类呢？要说这些 AGI 都能解决，好，有生之年能见证神迹那我也不亏了，接下来无非回家好好写我的百合小说就是。"

翻译成大白话：AI 现在干的活，是在一个已经被人类定义好的问题清单上答题，找到这个奇点，证明那个猜想。但数学家真正的工作，是制造问题本身。

一个方程摆在那儿，" 它有没有奇点 " 只是无穷多个可以提问的角度里最平庸的一个；真正的问题是：奇点在所有解里占多大比例（测度）？它们的结构长什么样（余维数、拓扑）？能不能把所有情况彻底分类？

答题可以被 benchmark，出题不能。

这恰恰是联名信里 " 错位 " 二字的数学版表述：

AI 公司要的是 " 可验证的得分 "，数学界要的是 " 对未知的测绘 "。前者是闭卷考试，后者是开疆拓土。当整个行业的资源涌向 " 解题 "，而解题的尽头是让出题的人失业，这就是邓煜说的 " 浮躁不安的氛围 " 的来源。

" 最近接触到的数学界，弥漫着一股浮躁不安的氛围……无论未来会如何，其实焦虑是没必要的。焦虑迷茫的，甚至想转行劝退的，过一两年再决定也为时不晚。"

" 大不了我回家写百合小说 "。

现在不是 "AI 数学不够好 "，恰恰相反，是 AI 数学 " 够好 " 得正在毁掉这门学科。

声明的原话逻辑是这样的：大语言模型的数学能力在过去几个月显著提升，能解决许多重大悬而未决的问题。

同一周，OpenAI 高调发布 Navier-Stokes 相关成果，自家声明却承认：无法排除研究人员的去标识化使用 prompts 改进了模型。

也就是说，连 " 这个成果算不算 AI 独立完成的 " 都说不清。播客 All-In 上 Jason Calacanis 读完了这段免责声明，顺手放话：" 一年内保证有一批 CIO 被公开处决。"

大家去追问邓煜，他回应：" 目前并没有写百合小说。那段文字完全是开玩笑的。我不相信 AI 能发展到解决所有数学问题的地步，至少不能解决我在帖子中提到的那些问题。"

神迹来不来，日子照过。真来了，也不亏。那就回家，写百合小说。

•END •

欢迎点击奇偶工作室视频号，看最新视频 ~

↓↓↓

Question. Write.Narrate. Believe. Become a story. 易简传媒的愿景是提问和传播商业故事，让读者更开阔，更聪明。有 2500 万微信粉丝关注我们的账号，欢迎大家关注：

↓↓↓