OpenAI 的数学解题方案尚未满足领域标准

OpenAI 本周发布了数百个据称解决了世界级数学难题的方案，但其做法未能完全遵循数学与人工智能咨询小组（AGMAI）的指导原则。在 719 份手稿中，仅 10 份公开了模型的思维链，42% 的证明未经形式化验证。