OpenAI 的数学解答尚未达到领域标准

OpenAI 发布的 719 份数学证明手稿未完全符合普林斯顿大学 AGMAI 指南。仅 10 份公开链式推理，42% 未经验证，剑桥论文指出其 Lean 代码与 NL 证明存在差异。数学家强调当前缺乏对结果的真正人类理解。