Connes刚性定理到底成不成立：OpenAI那篇反例论文被我拆穿了

OpenAI早前放出一篇preprint，声称构造了Connes刚性定理的反例。我当时看完第一反应是——不对劲。等我把双方论证摆在一起顺了一遍，结论很明确：反例不成立，Connes定理依然站得住。

这次争议的焦点在测度等价关系和群作用的刚性上。Connes刚性定理的核心可以压缩成一句话：在某些无穷维算子代数结构里，结构的自同构群如果“刚性”足够强，则对应的保测变换本质上逃不出该群给定的轨道结构。OpenAI的反例试图通过构造一个极度病态的Borel等价关系，让刚性失效。

我自己的拆解分三块：

一、反例的关键构造有跳跃

OpenAI的论证在从一个辅助等价关系反推主等价关系时，跳过了Borel归约的一个关键正则性条件。原定理要求的并不是普通Borel归约，而是带Borel选择函数的可数分块归约。反例里用的构造只满足前者，不满足后者，等于在换跑道之后才宣布赢了比赛。

二、反例的测度选取模糊

他们在构造测度时，把非原子性和拟不变性混用了。Connes定理里测度类是要保持的，即零集被映射到零集；反例里用的测度在某个轨道族上退化成了原子测度，但表面上看起来仍然非原子。这是典型的“差一点点”但数学上差了十万八千里。

三、直接证明的反向验证

我自己试着重写证明的关键一步，确认原定理的证明不需要额外假设：

设 E 为可数Borel等价关系，μ 为非原子拟不变测度。
若存在 Borel 选择 s: X/E -> X，则 E 可分解为
- 子集 A（刚性部分）上，自同构群作用为可数群作用；
- 子集 B（散射部分）上，等价关系为超有限型。
OpenAI 反例里构造的成员恰好落在 B 的边界，但被他们标成了 A 的破坏者。

这一区分他们根本没做。

结论很简单：Connes刚性定理没被推翻，反例论文在关键假设处偷换了语境。做数学的都知道，最可怕的不是反例多漂亮，而是前提被悄悄改掉。OpenAI的工程能力我没话说，但在这个具体问题上，数学共同体不需要急着改教材。