数学家24小时驳回OpenAI攻破的猜想：AI证对了每句话，但已跟原猜想无关
原标题：数学家24小时驳回OpenAI攻破的猜想！“AI证对了每句话，但已跟原猜想无关”
AI 摘要
OpenAI宣称其下一代AI模型解决了10个世界级数学难题，其中包括推翻Connes刚性猜想。然而，堪萨斯大学拓扑物理中心的J. L. Nielsen在第二天发布论文，指出AI提出的反例不成立，因为AI构造的其中一个群并未满足ICC和Kazhdan性质(T)条件。Nielsen通过逐行审查OpenAI公开的37000行Lean 4代码，发现证明存在“要证什么”的错误，而非“证得对不对”的问题。这一事件凸显了人类对AI科研结果审查的必要性，机器验证只能保证形式正确，不保证与原始意图相符。
正文节选
数学家24小时驳回OpenAI攻破的猜想！“AI证对了每句话，但已跟原猜想无关” 第二天，就有一篇人类论文回应：AI提出的反例不成立 梦晨 发自 凹非寺 量子位 | 公众号 QbitAI OpenAI宣称下一代AI模型解决了10个世界级难题，其中包括推翻了Connes刚性猜想。 第二天，就有一篇人类论文回应：AI提出的反例不成立。 作者是堪萨斯大学拓扑物理中心的J. L. Nielsen，她把OpenAI公开的37000行Lean 4代码从头追到尾，把每一个对象对回它的数学原型，最后给出两条互相独立的失败路径。 具体的证明过程咱一般人也看不太懂，让AI和数学家神仙打架去吧。 但通过这件事，说明人类对AI科研结果的审查仍然很关键。 什么是Connes刚性猜想 Connes刚性猜想说的是这样一件事。 数学上可以给一个群配一套代数结构。有时候两个长得不一样的群，配出来的结构却完全一样。 Connes在1980年左右提出猜测：只要这个群满足两个附加条件，这种情况就不会发生，结构一样，群就必须一样。 这两个附加条件，一个叫ICC，一个叫Kazhdan性质(T)。 换句话说，想反驳这个猜想，需要举