AI数学反例被人类驳回

近日，OpenAI在宣传中声称其AI系统成功攻破了一个长期未解的数学猜想，并给出了具体的反例构造。该消息迅速在AI界和数学界引发轰动，被视为AI能力跃升的标志性事件。然而，仅过24小时，就有数学家发表论文，逐条驳斥了AI的论证过程。论文指出，AI生成的“反例”虽然每一步推理在语法上正确，但整体逻辑链条与原始猜想无关，属于典型的“形式正确但语义谬误”。数学家通过重新定义问题边界和引入更严格的约束条件，证明了AI构造的反例实际上并不满足原猜想的前提，因此该猜想仍然成立。这一反转不仅让OpenAI的营销宣传陷入尴尬，更突显了当前大模型在符号推理、因果理解和数学严谨性上的深层缺陷。AI可以模仿人类推理的句式，却无法真正理解数学对象的本质，其“解题”能力仍停留在模式匹配层面，缺乏对公理体系的整体把握。这一事件也表明，在需要严格证明的领域，AI尚无法替代人类专家的判断力。