当张志东的论文在学术期刊上发表时，数学界的反应是复杂的。一方面，人们钦佩他的勇气和独创性；另一方面，人们对他的严格性持保留态度。这种张力不是针对张志东个人的，而是针对一种更普遍的困境：物理启发式与数学证明之间的鸿沟。

    数学证明是绝对的。它要求从公理出发，通过逻辑上无懈可击的推理链条，到达结论。每一个环节都必须经得起最苛刻的审视，不能有任何跳跃，不能有任何“显然”的省略。在数学中，一个证明要么是完全的，要么是不完全的，没有中间状态。

    物理启发式则不同。它允许直觉、类比、近似和省略。物理学家们习惯于说“在热力学极限下”，“由对称性可知”，“显然成立”。这些表述在物理社区中被广泛接受，因为它们基于长期的物理直觉和大量的数值验证。但在数学家看来，这些表述是危险的缺口，可能隐藏着致命的逻辑漏洞。

    张志东的论证中，有几个环节处于这种严格性的边界上。

    首先是配分函数与ζ函数的等同。张志东设定了一个特定的能谱关系，使得单个副本的配分函数在形式上与黎曼ζ函数一致。但这种设定是构造性的，而不是推导性的。它不是从伊辛模型的第一性原理自然导出的，而是作为一种先验条件被引入的。数学家会问：为什么能谱必须是这种形式？如果换一种形式，结论是否仍然成立？这种构造性的等同，在物理上是有启发性的，但在数学上可能被视为循环论证。

    其次是副本方法。副本方法在自旋玻璃物理中是一个标准工具，但它的数学基础并不牢固。R趋向于零的解析延拓，在一般情况下缺乏严格的证明。巴黎西的副本对称性破缺理论，虽然在物理上极其成功，但其中的许多步骤仍然是启发式的。数学家们会问：你凭什么可以把正整数上的公式延拓到零？这种延拓是否唯一？是否存在其他延拓方式，给出不同的结论？

    第三是从单位圆到临界线的映射。莫比乌斯变换确实把单位圆映射到临界线，但这种映射是参数空间之间的几何对应。它证明了“如果零点在单位圆上，那么它们在临界线上”，但没有证明“零点必须在单位圆上”。后者依赖于费舍尔零点理论，而费舍尔零点理论虽然对标准伊辛模型是严格的，但对引入随机相互作用的竞争模型，其严格性需要额外的论证。

    第四是实部固定为二分之一的问题。张志东的论证确保了零点在映射后落在某条直线上，但这条直线是否恰好是实部为二分之一的直线？他援引了哈代的定理——无穷多个零点在临界线上——以及计算机验证——前几百亿个零点的实部都是二分之一——来排除其他可能性。但这种援引在逻辑上不是严格的：无穷多个不等于全部，几百亿个不等于所有。

    从活性算法的视角看，严格性的边界揭示了一种“认知极限”。活性系统在进行推断时，必须在“探索”和“利用”之间权衡。过于严格的证明策略，可能导致探索不足，无法发现新的真理；过于宽松的启发式策略，可能导致错误的收敛，把系统锁定在虚假的稳态上。张志东的工作处于这个边界的探索侧：它大胆地跨越了严格性的边界，试图用物理直觉照亮数学的黑暗角落。这种探索是有价值的，即使它最终需要被更严格的数学所巩固。

    严格性的追求不是吹毛求疵。在数学中，一个微小的漏洞可能导致整个大厦的崩塌。历史上不乏这样的教训：十九世纪的数学家们曾“证明”了许多关于集合论的直觉结论，直到罗素悖论的出现，摧毁了这些“证明”的基础。黎曼猜想的证明，如果成立，将成为数学大厦的基石之一；如果错误，可能导致无数依赖它的定理化为泡影。因此，数学界对严格性的坚持，是对知识可靠性的负责。

    张志东的工作，无论最终是否被接受为严格证明，都已经做出了重要贡献。它提供了一个具体的物理模型，把希尔伯特-波利亚猜想从云端拉到了地面。它开辟了新的研究路径，展示了统计物理方法在数论问题上的潜力。它激发了新的思考，让人们意识到，质数的秘密可能真的隐藏在晶格的自旋之间。

支持单位：