Kazhdan property (T)

数学家驳斥OpenAI的AI生成的Connes刚性猜想证明

一位数学家驳斥了OpenAI声称其新AI模型证明了Connes刚性猜想的说法。来自堪萨斯大学的数学家J. L. Nielsen发现，该AI生成的由37000行Lean 4代码组成的证明存在缺陷。具体来说，Nielsen指出，AI构建中使用的一个群不满足该猜想的必要条件。这一事件凸显了在验证AI生成的科学结果时，人类监督的至关重要性，因为Lean等形式化验证工具仅检查证明的逻辑结构，而不检查其语义准确性或与原始问题的相关性。