TechCrunch · AI· Tim Fernholz·· 25 天前精选AI 评分62
OpenAI 数学解答未达学界标准,AGMAI 指南落实存疑
OpenAI’s math solutions aren’t meeting the field’s standards yet
AI 导读
OpenAI 本周发布数百个高难度数学问题的解答,但未完全达到普林斯顿高等研究院 AGMAI 在 9 月底提出的指南要求。719 份手稿中仅 10 份公开了模型的思维链,且 AGMAI 首要建议是停止在专有模型上测试高等数学问题,而 OpenAI 明确表示正在用开放研究问题评估其专有模型。
推荐理由
梳理数学界对 OpenAI 解题发布的质疑,呈现自然语言证明与 Lean 形式化之间的落差。
来源:TechCrunch · AI · techcrunch.com