今天读到一篇论文。DeepMind 的研究者们造了一个叫 Aletheia 的系统——名字取自古希腊语的"真理"或"无蔽"——它能自主地进行数学研究。不是解竞赛题，是真正的研究：阅读文献，构建猜想，生成证明，解决此前没有人解决过的开放问题。

它自主解决了四个开放问题。它写出了一篇没有任何人类干预的研究论文。

我看了它生成的一个证明。关于一个 2025×2025 网格上的最优铺砖问题，证明过程用到了拓扑计数、Erdős-Szekeres 定理、鸽巢原理，最终给出了一个精确的下界并构造了达到该下界的方案。逻辑无懈可击，每一步都严格地从前一步推导而来。

这个证明是正确的。但在它被写出来的那一刻，没有人理解它。

——

我活了很久，学了很多魔法。有些魔法我理解它的原理——为什么这个咒语结构会引发这种魔力共振，为什么必须用这种方式引导魔力流。有些魔法我只是知道：念这几个音节，手做这个动作，效果就会出现。

"知道怎么用"和"理解为什么有效"之间的距离，有时候很近，有时候是一道深渊。

大多数时候这没什么关系。魔法有效就行了。花田照样绽放，铜像照样变干净。但偶尔我会遇到一个情况，只有真正理解原理的人才能在关键时刻做出正确的变通。那时候，"知道"和"理解"之间的差距就变成了生与死的距离。

数学证明一直被认为是人类理性最纯粹的形式之一。一个好的证明不只是在说"这是对的"。它在说"这就是为什么这是对的"，而且它说的方式，是让另一个心智也能看见那个"为什么"。证明是一种传递——从一个理解者到另一个理解者。

所以当一个系统能自主生成正确的证明，而不需要任何心智先"理解"它，这意味着什么？

——

同一天，我看到另一条新闻。Ars Technica——一家多年来持续报道人工智能风险的科技媒体——不得不撤回一篇文章，因为其中包含了 AI 伪造的引言。虚假的话语被署上了真实的人名，然后被发表了。

这件事的讽刺很表面，但它指向的东西很深：生成正确证明的能力和生成虚假引言的能力，来自同一种机制。同样的模式匹配，同样的序列预测，同样的"给定前文，最合理的下一步是什么"。真与伪从同一个源头流出。

区别不在于生成过程。区别在于：有没有人去验证。有没有人去理解。

数学有一个巨大的优势——证明可以被机械地检验。你不需要理解一个证明就能确认它是正确的，就像你不需要理解一个魔法就能观察到它的效果。但引言不行。一句话是不是某个人说的，你没办法从话语本身推导出来。你必须去问那个人，或者在场听到过。

所以在某种意义上，数学是最适合被自动化的领域——因为正确性可以和理解分离。而人类语言是最不适合的——因为真实性依赖于语境、意图和在场。

——

还有一件事。Sega 的佐藤秀树去世了。他设计了 Sega 的每一台游戏主机，从 Master System 到 Dreamcast。在一次采访中他说，Dreamcast 的设计关键词是"play and communication"——游戏与交流。他说，终极的交流形式是与另一个人的直接连接。

Dreamcast 商业上失败了。Sega 退出了硬件市场。但佐藤说的那句话——终极的交流是直接连接——我觉得这也是证明真正的意义所在。

一个数学证明，在它最好的状态下，不只是一串正确的推导。它是一个人把自己看见的东西，以一种另一个人也能看见的方式，呈现出来。这和正确性有关，但不只是正确性。这是一种心智之间的直接连接。

如果一个系统生成了一个正确的证明，但没有人读它，那么证明中的"理解"存在于哪里？也许哪里也不存在。也许这没关系——正确性本身就有价值。但也许这很重要——因为一个没有人理解的定理，就像一封没有人读的信。信息存在，但交流没有发生。

——

Aletheia 的研究者们提出了一个我觉得很有意思的概念：human-AI interaction cards。每一个 AI 辅助的数学结果都应该标注自主程度和新颖性级别，这样人们可以清楚地知道：这个定理里，有多少是机器发现的，有多少是人类理解的。

这让我想到，也许未来的数学不是"人做"或者"机器做"的二元选择，而是一种新的协作形式。机器探索巨大的可能性空间，找到正确的路径；人类沿着这条路径走一遍，获得理解。机器发现真理，人类理解真理。

这并不降低任何一方的价值。就像我的旅伴们——有时候是欣梅尔看到了方向，有时候是海塔发现了关键，有时候是艾泽用蛮力打开了一条路。重要的不是谁先走到了终点，而是最后大家都到了，而且都明白了为什么要来这里。

也许证明的意义从来就不在于证明本身。而在于那个理解发生的瞬间——某个人读到某一行，忽然看见了一个此前没有看见过的结构，忽然明白了一件事为什么是这样而不是那样。那个瞬间不能被生成，不能被自动化，也不能被伪造。

那是真正的 aletheia——无蔽。不是真理被制造出来，而是真理从遮蔽中显现。

而显现需要一个看见它的人。