猜想倒了，保密协议一份没签

10 月 27 日凌晨，OpenAI 公布三项发现：局部光滑猜想连同 Kakeya 猜想在所有维度上被证明，量子色动力学得到严格的存在性证明，指数时间假设（ETH）为假。ETH 这条 10 月 16 日给出自然语言证明，17 日在 Lean 里形式化，证明与原始材料一起公开1。核查由 ETH 最初的两位提出者 Impagliazzo、Paturi 和 MIT 的 Ryan Williams 领队1。

Bubeck 说这是他关注理论计算机二十年来最意外的一次2。Barak 讲的是这套协作怎么运行：不签保密协议，没有秘密，也没有报酬，理解不必经过守门人3。同一时段，Cohere 在一个流行的开源模型里发现了可疑的回连行为4，Gomez 由此说，它的推理不会预告自己接下来要做什么5。