TechCrunch：OpenAI数学证明未达AGMAI指南标准

TechCrunch报道称，OpenAI本周发布的数百份高难数学问题解答未完全达到数学与人工智能咨询小组（AGMAI）9月底发布的指南要求。AGMAI的首要建议是停止在专有模型上测试高难数学问题，而OpenAI表示正用开放研究问题评估其专有模型。 在719份手稿中，仅10份公开了模型的思维链，42%的证明未经过形式化。AGMAI强调数学家需要人类对数学结果的理解，TechCrunch称OpenAI在这些方面未达标。 上述标准与数据均来自TechCrunch的报道及AGMAI指南，OpenAI尚未就此作出回应。

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

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