OpenAI 数学解题成果被指尚未达到数学界标准

OpenAI 近期发布了针对数百个数学难题的求解成果，但数学与人工智能咨询小组（AGMAI）及多位数学家指出其未能达到学术界标准。剑桥大学等机构的研究指出 OpenAI 提供的自然语言证明与 Lean 形式化代码存在多处差异，且 719 篇文稿中仅 10 篇公开了思维链；陶哲轩等学者强调，缺乏人类理解与同行评审的 AI 自动证明结果不应被直接盲信。