TechCrunch · AI· Tim Fernholz·· 17 天前AI 评分62
OpenAI 数学解答未达学界标准,AGMAI 准则落实存疑
OpenAI’s math solutions aren’t meeting the field’s standards yet
AI 导读
OpenAI 本周发布数百份高难数学题解答,称已咨询精英数学家顾问组,但未完全达到数学与人工智能顾问组(AGMAI)9 月底发布的准则要求。719 份手稿中仅 10 份公开了模型的思维链,且只有 42% 的证明经过形式化处理;AGMAI 首条建议是停止在专有模型上测试高难数学问题,而 OpenAI 明确表示正用开放研究问题评估其专有模型。
来源:TechCrunch · AI · techcrunch.com