OpenAI 数学解答未达学界标准

OpenAI 本周发布数百个高难度数学问题的解答，但未完全符合普林斯顿高等研究院 AGMAI 提出的规范。719 份手稿中仅 10 份公开了模型的思维链，42% 的证明未经过形式化处理。剑桥大学与伦敦国王学院的新论文还记录了 OpenAI 针对 Navier-Stokes 方程相关问题的自然语言证明与 Lean 代码之间至少两处不一致，作者认为这类自动形式化证明不应免于同行评审。