跳到正文
TechCrunch · AI· Tim Fernholz·· 1 天前AI 评分66

OpenAI 数学解答未达学界标准,AGMAI 指南落实存疑

OpenAI’s math solutions aren’t meeting the field’s standards yet

AI 导读

OpenAI 本周发布数百份高难数学问题解答,但未完全达到数学与人工智能咨询小组(AGMAI)9 月底发布的指南要求。AGMAI 首要建议是停止在专有模型上测试高难数学问题,而 OpenAI 明确表示正用开放研究问题评估其专有模型;719 份手稿中仅 10 份公开了模型思维链,42% 的证明未经过形式化。

来源:TechCrunch · AI · techcrunch.com