古法创新：当 AI 接管数学之后
如果哪一天，AI 把一个定理完整地证完了，摆在你面前，你打开形式化验证器跑一遍，结果显示：正确。
然后你问它：这个定理意味着什么？它答了。你追问：为什么它重要？它也答了。每一句都通顺，每一句你都能读，但你就是没法确认——它说的是不是真的那个“重要”。
那一刻，知识仍然是真的，只是不再属于你。
这篇文章想理清的，就是走到那一步之前，中间会经过哪些站。
一个更朴素的问题
这些想法大部分来自一次和 AI 的长聊。起点其实不是“AI 会不会取代数学家”，而是一个更朴素的直觉：
如果 AI 已经能源源不断地产出数学结果，未来的孩子还会不会把“数学家”当成一件值得干一辈子的事？
关键不在于数学家会不会失业。数学是一门高度抽象、需要长期训练和真实热爱的学科。一次突破往往不是“会做题”就能得到，而是几十年持续投入的结果。一旦社会上慢慢形成“数学已经被 AI 解决了”的看法，愿意把一生投进去的年轻人就会减少。
这会构成一条反馈链：
AI 数学能力增强 → 人类认为数学已属于 AI → 年轻人减少 → 人类数学研究力量下降 → 人类原创数学进一步减少 → 更加证明“数学已经是 AI 的领域”。
真正要担心的，是人类会不会逐渐停止生产数学家。
为什么数学和打字员不一样
打字员消失了，胶片冲印师消失了，相关的能力也随之留在历史里。这没什么可怕——那些手艺本来就不是别的东西的地基。
数学不一样。
物理、化学、计算机、气候模型、生物、工程，全都长在数学思想之上。如果人类不再培养能深入数学的人，失去的不只是一个职业群体，而是未来科学创新所需要的思想来源。
技术职业的消失，不一定意味着技术文明停止；但基础学科研究者的大规模消失，可能影响文明继续产生新知识的能力。
文学也会衰落，但代价不同
讨论到这里绕了一下：文学是不是早就经历过类似的事？
是的。现代人越来越少进行长时间阅读，社交媒体把注意力切成了碎片。未来大概仍然有作家，但成为大作家的人可能越来越少。
不过文学和数学有一个根本差异：文学的门槛低，会说话就能写，区别只在于写得好不好；数学的门槛高，做原创数学需要长期训练、深厚基础和高度专业化的能力。
所以，当社会对某件事失去功利需求时，文学的衰落是缓慢的、分散的；而数学一旦失去人，可能断得很干脆。
古法创新
“古法创新”这个词，是与张晋骞博士（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 接管了基础科学和技术领域的创新，人类文明还算不算一个正在发展的文明？
它可以再拆成三个问题：
- 人类是否必须亲自参与知识生产，才配称为一个有活力的文明？
- 如果 AI 的知识产出超过人类的理解能力，人类是否仍然是知识的主人？
- 如果人类逐渐停止“古法创新”，未来还会不会有真正属于人类自己的知识前沿？
这不是“AI 会不会抢走工作”的问题。它问的是：
当人类第一次造出一个可能比自己更强的知识生产主体之后，“人类文明”这个概念本身会发生什么变化？
坦白说，我没有答案。
但我知道，这个问题最终不是靠辩论得出结论的，而是靠一件件具体的事：下一个年轻人面对一个没有答案的问题时，是选择打开对话框，还是选择拿出一张白纸。
古法创新不需要被立法保护。它需要被认真地选择。