在科学的漫长历史中，物理启发式与数学证明之间的关系，就像探险家与制图师之间的关系。探险家深入未知的丛林，带回关于河流、山脉和宝藏的传闻；制图师则根据这些传闻，绘制精确的地图，标记每一条等高线，确认每一个坐标。没有探险家，制图师不知道从何开始；没有制图师，探险家的发现无法成为可靠的导航工具。

     物理启发式是科学的探险家。它勇敢、直觉、富有想象力。它不怕跳跃，不怕猜测，不怕在证据不足时做出大胆的假设。狄拉克的δ函数，最初是一个物理启发式：一个除了在原点外处处为零、但积分却为一的“函数”。这在数学上是不可能的，但狄拉克在量子力学中自由地使用它，因为它好用，因为它符合物理直觉。后来，数学家们发展出了分布理论，为δ函数提供了严格的数学基础。启发式先行，证明随后。

    费曼的路径积分是另一个经典案例。在量子力学中，费曼提出，粒子从A点到B点的概率幅度，等于所有可能路径的贡献之和。每条路径贡献一个相位因子，而所有路径的干涉决定了最终的幅度。这个图像极其直观，极其强大，但它在数学上极其难以严格化。无穷维积分、振荡被积函数、测度论的缺失，使得路径积分的严格基础至今仍是数学物理中的活跃课题。然而，物理学家们毫不犹豫地使用它，因为它有效，因为它预言了正确的结果。

    张志东的工作，可以看作是这种传统的一部分。他提供了一个物理启发式的“证明”——或者用更谨慎的说法，一个物理类比——来支持黎曼猜想。他展示了，如果存在一个特定的竞争二维伊辛模型，那么它的配分函数零点分布与黎曼零点分布等价。这种等价性在物理上是令人信服的，因为它基于经过数十年检验的统计物理工具。但在数学上，它还需要更多的工作：需要证明能谱关系的自然性，需要巩固副本方法的数学基础，需要排除所有可能的反例。

     那么，物理启发式在数学证明中扮演什么角色？它至少扮演三个角色。

    第一，它是方向的指引。在茫茫的数学海洋中，启发式像灯塔，指示可能存在的陆地。蒙哥马利-奥德莱兹科定律最初是数值发现，它指引物理学家们寻找黎曼零点与量子混沌之间的联系。没有这种指引，许多后来的严格工作可能根本不会发生。

    第二，它是直觉的训练。通过研究物理类比，数学家们获得对抽象对象的直观理解。这种理解虽然不能替代证明，但可以极大地加速发现的过程。一个对物理系统有直观把握的数学家，更容易发现正确的引理、构造正确的反例、选择正确的技术路径。

    第三，它是严格化的素材。许多最终的严格证明，其核心技术最初都来自物理启发式。随机矩阵理论中的许多结果，最初是通过物理直觉猜测出来的，后来才被数学家严格证明。共形场论中的顶点算子代数，最初来自物理的算子乘积展开，后来成为纯数学的一个分支。

    然而，物理启发式也有其危险。它可能误导，可能让人过于自信，可能掩盖真正的困难。历史上，许多看似“显然”的物理结论，后来被证明是错误的。热质说、以太理论、经典决定论，这些曾经被视为不证自明的框架，都被新的证据推翻。物理直觉是强大的，但它不是绝对可靠的。

    张志东的工作，目前最好被理解为一种“概念证明”。它证明了希尔伯特-波利亚猜想可以在一个具体的晶格模型中实现，证明了统计物理与数论之间的对应可以比人们想象的更紧密，证明了从伊辛模型出发攻克黎曼猜想在原则上是可能的。但它还没有完成最后一步：从“原则上可能”到“逻辑上必然”。

    从活性算法的视角看，物理启发式与数学证明之间的张力，反映了认知系统的两种基本模式：快速直觉与缓慢分析。快速直觉——系统一的思维方式——让我们能够迅速做出判断，发现模式，产生创意。缓慢分析——系统二的思维方式——让我们能够仔细检验，排除错误，建立可靠的知识。两种模式都是必要的。没有快速直觉，分析就没有起点；没有缓慢分析，直觉就可能陷入偏见和谬误。

    张志东的模型，像一次快速直觉的闪光。它照亮了一片新的地形，但还没有被缓慢分析的足迹所覆盖。未来的工作——无论是由张志东本人，还是由其他数学家或物理学家完成——将需要把这束闪光转化为持久的灯光，把探险家的传闻转化为制图师的精确地图。这个过程可能需要数年，甚至数十年。但在科学的历史中，伟大的进步往往始于这样一束闪光。

支持单位：