卷数学的人这几天估计都被一条消息刷屏了

先交代背景。Connes刚性猜想是算子代数领域的核心问题，跟冯诺依曼代数的自同构群有关。OpenAI的论文声称构造了一个反例，直接推翻这个猜想的"刚性"结论。说实话，如果这个成立，那算子代数二十年的研究基础就得重写，所以我第一反应就是找漏洞。

PDF里的证明依赖一个关键的连续性论证：他们构造的序列在某个拓扑下收敛到极限，然后断言由于某个函数是"良定义的"，极限处性质保持。但仔细看，这个"良定义"根本没有验证。原文里写的是：

We assume the natural extension of Ψ to the closure is well-defined by continuity.

这里的问题在于，他们构造的空间不是完备的，连续性根本推不出延拓的存在性。更离谱的是，他们在讨论极限点时用了一个模等价的结论，而这个结论只在离散情形成立。也就是说，他们把一个有限情形的论证直接搬运到无限维，中间没做任何推广。

我拿他们文中的构造去跑了一个简单的例子，结果发现构造出来的"反例"其实满足猜想本身。说明要么实现有bug，要么数学直觉从一开始就偏了。论文里连具体的代码或实验细节都没公开，光给了一个抽象的构造框架，这在外人看来就是没法复现的黑箱。

我的判断是：这种级别的猜想，指望大模型凭空"灵光一现"给出反例，本质上还是把LLM当成了数学家的替代品。但数学推理不是模式补全，尤其是涉及无穷维算子代数的细节，差一个条件就全盘崩溃。OpenAI这篇更像是一次高调宣传，验证价值远大于数学价值。

对了，如果有人想自己核实，可以去看Connes原论文里对刚性猜想的定义，再对比OpenAI里的引理3.2，差异一目了然。数学这行，还是得靠纸笔和耐心。