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

TechCrunch 报道称，OpenAI 本周发布数百个高难数学问题的解答，但未完全达到普林斯顿高等研究院 AGMAI 提出的准则。719 份手稿中仅 10 份公开了模型的思维链，42% 的证明未经过形式化；剑桥大学与伦敦国王学院的新论文还记录了 OpenAI 针对 Navier-Stokes 相关问题的自然语言证明与 Lean 代码之间至少两处不一致。