OpenAI数学解答未达学界标准

TechCrunch报道称，OpenAI本周发布数百个高难数学问题的解答，但未完全达到普林斯顿高等研究院AGMAI提出的准则。719份手稿中仅10份公开了模型的思维链，42%的证明未经过形式化。 OpenAI称其咨询了精英数学家顾问组，以避免重演此前模型解决长期难题时引发的争议，并明确表示正用数学开放研究问题评估其专有模型。 剑桥大学与伦敦国王学院的新论文还记录了OpenAI针对Navier-Stokes相关问题的自然语言证明与Lean代码之间至少两处不一致。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。