OpenAI数学证明尚未达到该领域的人工理解与形式化验证标准

OpenAI发布719份数学问题证明手稿，但相关数学家认为其未充分满足人工理解和形式化验证标准。文章指出，仅10份手稿包含模型思维链，约42%的证明经过形式化；一项剑桥大学与伦敦国王学院论文还记录了OpenAI自然语言证明与Lean代码之间至少两处差异，但这些差异并不必然否定证明本身。