# 古法创新：当 AI 接管数学之后


如果哪一天，AI 把一个定理完整地证完了，摆在你面前，你打开形式化验证器跑一遍，结果显示：正确。

然后你问它：这个定理意味着什么？它答了。你追问：为什么它重要？它也答了。每一句都通顺，每一句你都能读，但你就是没法确认——它说的是不是真的那个“重要”。

那一刻，知识仍然是真的，只是不再属于你。

这篇文章想理清的，就是走到那一步之前，中间会经过哪些站。

## 一个更朴素的问题

这些想法大部分来自一次和 AI 的长聊。起点其实不是“AI 会不会取代数学家”，而是一个更朴素的直觉：

如果 AI 已经能源源不断地产出数学结果，未来的孩子还会不会把“数学家”当成一件值得干一辈子的事？

关键不在于数学家会不会失业。数学是一门高度抽象、需要长期训练和真实热爱的学科。一次突破往往不是“会做题”就能得到，而是几十年持续投入的结果。一旦社会上慢慢形成“数学已经被 AI 解决了”的看法，愿意把一生投进去的年轻人就会减少。

这会构成一条反馈链：

> AI 数学能力增强 → 人类认为数学已属于 AI → 年轻人减少 → 人类数学研究力量下降 → 人类原创数学进一步减少 → 更加证明“数学已经是 AI 的领域”。

真正要担心的，是**人类会不会逐渐停止生产数学家**。

## 为什么数学和打字员不一样

打字员消失了，胶片冲印师消失了，相关的能力也随之留在历史里。这没什么可怕——那些手艺本来就不是别的东西的地基。

数学不一样。

物理、化学、计算机、气候模型、生物、工程，全都长在数学思想之上。如果人类不再培养能深入数学的人，失去的不只是一个职业群体，而是未来科学创新所需要的思想来源。

> 技术职业的消失，不一定意味着技术文明停止；但基础学科研究者的大规模消失，可能影响文明继续产生新知识的能力。

## 文学也会衰落，但代价不同

讨论到这里绕了一下：文学是不是早就经历过类似的事？

是的。现代人越来越少进行长时间阅读，社交媒体把注意力切成了碎片。未来大概仍然有作家，但成为大作家的人可能越来越少。

不过文学和数学有一个根本差异：文学的门槛低，会说话就能写，区别只在于写得好不好；数学的门槛高，做原创数学需要长期训练、深厚基础和高度专业化的能力。

所以，当社会对某件事失去功利需求时，文学的衰落是缓慢的、分散的；而数学一旦失去人，可能断得很干脆。

## 古法创新

“古法创新”这个词，是与张晋骞博士（[harushinken.github.io](https://harushinken.github.io)）在一次聊天里提到的。这个说法在他之前是不是已经有人用过，我没有查证；但它比“原创”准确得多：

> **古法创新：不借助外部智能，主要依靠自己的知识、推理和能力，去发现新的东西。**

这不是反对工具，也不是认为过去的方法一定更好。它指向的是一种具体的文明能力：

> 人在不知道答案的情况下，自己摸索、犯错、形成猜想、继续推进，最后把答案挖出来。

ChatGPT 出现之后，这个过程正在被改写。越来越多人会把问题直接交出去，先拿到答案，再回头理解——甚至不回头。

于是问题不是“手搓是不是更先进”，而是：

**人类是否还应该保留亲自发现未知的能力？**

## 当 AI 的产出超过人类的消化速度

2026 年 10 月 6 日，OpenAI 在 GitHub 上一次性放出了 722 篇数学论文，说其中包含数百个未解问题的解答，而生成它们的模型还没有对外发布。据报道，这批手稿号称解决了 300 多道此前无人攻克的难题，覆盖代数、逻辑、几何、概率。

这个数字很惊人，但更让我在意的是它揭示的可能性：

> AI 可以在很短的时间里，产出过去需要数学家长期研究才能得到的结果。

一旦 AI 产出成果的速度超过人类阅读、理解和验证的速度，数学家的角色就会变：

过去的链条是——

> 人类提出问题 → 人类研究 → 人类发现 → 人类证明 → 人类发表

未来可能变成——

> AI 提出/解决问题 → AI 生成证明与论文 → 人类验证 → 人类理解

人类从“发现者”，退到“鉴定者、验证者、解释者”。

这个位置看上去仍然体面。但它有一个前提：我们还能理解自己在验证什么。

有意思的是，几个月前“数学与人工智能顾问小组”在回应这批成果时，说的几乎是同一件事：

> 数学研究的未来不能仅仅是解读 AI 实验室产出的结果。数学家必须能够自主提出问题、构建研究思路，并探索那些没有被选为 AI 能力展示案例的研究方向。

## 更远一步：当人类理解不了

如果 AI 的能力继续推进，终有一天，人类数学家可能无法理解它的发现。那时“人类审阅 AI”这套机制本身就失效了。

人类或许依然能检查形式上的东西：

> 这个证明对不对？用 Lean 这类形式化系统跑一遍就知道。

但人类回答不了：

- 这个定理到底意味着什么？
- 它为什么重要？
- 它和其他数学结构有什么关系？
- 它打开了一个怎样的新领域？

于是会出现一种很奇怪的状态：

> **人类知道一个数学结果是真的，却不知道它为什么重要。**

它像一块外星文明留下的碑文。你能确认上面刻的每一条都成立，却说不清它想告诉你什么。

所以，比“AI 替代数学家”更根本的问题是：

> **如果人类无法理解自己最先进的知识，人类还是不是这个知识的主人？**

## 后来发现，这已经不是数学的问题

讨论最后从数学滑向了整个技术文明。

如果 AI 不只掌握数学，还掌握物理、化学、生物、工程，并且能自主创新，那么可能出现：

> AI 负责创新，人类负责接受创新。

传统文明的接力是这样的：

> 上一代 → 教给下一代 → 下一代在此基础上继续创新 → 再传给下一代

AI 主导的文明可能变成：

> 人类文明 → 把知识交给 AI → AI 继续创新 → 人类学习 AI 的成果

下一代人不再是知识的生产者，而主要是学习者和使用者。

这里有一个我认为最重要的结论：

> **文明进步 ≠ 人类生活水平提高。**

假设 AI 不断发现新的能源技术、医学技术、材料、物理理论和工程方案，人类的生活水平当然会持续上升。但如果这些进步全部来自 AI，而人类自己已经不在知识前沿上，那么：

> 技术仍然在进步，但人类文明未必仍然在作为“创新主体”进步。

想像这样一个文明：**人生活在越来越先进的文明里，却逐渐失去了创造这个文明的能力。**

## 真正该担心的不是 AI 知道得多

“AI 吸收了全人类已有的知识”，这件事本身并不意味人类创新的结束。过去的知识只是过去。

真正危险的假设是另一句：

> AI 不仅吸收了过去，还能独立地从过去推导未来，而且创新能力长期超过人类。

如果这一条成立，问题就从“AI 会不会帮助人类创新”，变成：

> **未来还有没有属于人类自己的知识前沿？**

如果答案是否定的，人类可能仍然生活在一个飞速发展的世界里，却已经不再是推动这个世界往前走的主体。

## 最后的问题

这次讨论最后收束成一句话：

> **如果 AI 接管了基础科学和技术领域的创新，人类文明还算不算一个正在发展的文明？**

它可以再拆成三个问题：

1. 人类是否必须亲自参与知识生产，才配称为一个有活力的文明？
2. 如果 AI 的知识产出超过人类的理解能力，人类是否仍然是知识的主人？
3. 如果人类逐渐停止“古法创新”，未来还会不会有真正属于人类自己的知识前沿？

这不是“AI 会不会抢走工作”的问题。它问的是：

> **当人类第一次造出一个可能比自己更强的知识生产主体之后，“人类文明”这个概念本身会发生什么变化？**

坦白说，我没有答案。

但我知道，这个问题最终不是靠辩论得出结论的，而是靠一件件具体的事：下一个年轻人面对一个没有答案的问题时，是选择打开对话框，还是选择拿出一张白纸。

古法创新不需要被立法保护。它需要被认真地选择。


---

> 作者: [张景林](https://zhangjinglin.github.io/about/)  
> URL: https://zhangjinglin.github.io/2026/10/ai-math-civilization/