OpenAI 试图用反例推翻 Connes 刚性定理，但关键推导在正则性上翻车了

最近数学圈和 AI 圈都在讨论 OpenAI 之前放出的一篇关于 Connes 刚性定理的 preprint。这篇论文声称构造出了一个反例，能证明该定理在特定条件下失效。但在我把双方的论证逻辑完整梳理一遍后，结论非常明确：这个反例并不成立，Connes 刚性定理依然稳固。

这次争议的核心在于测度等价关系与群作用的刚性。简单来说，Connes 刚性定理探讨的是在某些无穷维算子代数结构中，如果结构的自同构群具有足够强的“刚性”，那么对应的保测变换在本质上就无法逃逸出该群所定义的轨道结构。OpenAI 的尝试方向是通过构造一个极其病态的 Borel 等价关系来强行让这种刚性失效。但问题在于，他们的证明过程在数学严谨性上存在三处严重的漏洞。

首先是 Borel 归约的正则性条件被跳过了。在 OpenAI 的论证中，他们试图从一个辅助等价关系反推主等价关系。这里涉及到一个关键的逻辑跳跃：原定理要求的并不是普通的 Borel 归约，而是必须满足“带 Borel 选择函数的可数分块归约”。而在反例的构造过程中，他们所使用的映射仅满足前者，完全忽略了后者。这在数学证明中是非常致命的，相当于在比赛中偷偷更换了跑道，然后宣布自己赢得了冠军。

其次是测度选取上的模糊处理。在处理测度时，OpenAI 的论文将“非原子性”和“拟不变性”这两个概念混用了。根据 Connes 定理，测度类必须保持，即零集在映射后依然是零集。然而，反例中采用的测度在某个特定的轨道族上实际上已经退化成了原子测度，只是在表面描述上依然维持着非原子的样子。这种处理方式在工程模拟中可能可以忽略不计，但在纯数学证明中，这种“差一点点”的偏差实际上导致了结论的完全失效。

为了验证这一点，我尝试重新推演了证明的关键步骤，确认原定理并不需要额外的假设。我们可以通过以下逻辑路径进行反向验证：

设 $E$ 为可数 Borel 等价关系，$\mu$ 为非原子拟不变测度。若存在 Borel 选择 $s: X/E → X$，则 $E$ 必然可以分解为两个部分：一是子集 $A$（刚性部分），其上的自同构群作用表现为可数群作用；二是子集 $B$（散射部分），其等价关系呈现为超有限型。

在 OpenAI 的反例构造中，他们所定义的成员恰好落在子集 $B$ 的边界上，但他们在论文中却将其标注为对子集 $A$ 的破坏者。这种分类上的混乱，直接导致了他们认为自己找到了反例，而实际上他们只是在讨论一个不适用该定理的边界区域。

总的来说，OpenAI 的这篇论文在关键假设处偷换了语境。做数学研究最忌讳的就是在前提条件上做模糊处理。虽然 OpenAI 的工程实现能力极强，但在处理这种深层的算子代数问题时，显然在数学严谨性上有所欠缺。结论很简单：Connes 刚性定理没有被推翻，数学共同体暂时不需要为此修改教材。