OpenAI发布719份数学证明，被指未达数学界标准

OpenAI本周发布719份声称解决世界困难数学问题的模型证明手稿，称咨询了由知名数学家组成的顾问组，但数学家认为这批证明未充分满足人工理解与形式化验证标准，未遵循相关指南。 具体缺口是：719份手稿中仅10份公开了模型思维链；约42%的证明经过形式化（另有报道称42%未经过该过程）。剑桥大学与伦敦国王学院一篇论文记录了OpenAI自然语言证明与Lean代码之间至少两处差异，但这些差异并不必然否定证明本身。TechCrunch向顾问组求证时未获回应。

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

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