TechCrunch · AI· Tim Fernholz·· 10 天前AI 评分22
OpenAI 数学证明发布未达学界标准：719 篇手稿仅 10 篇公开思维链
OpenAI’s math solutions aren’t meeting the field’s standards yet
AI 导读
OpenAI 本周发布数百个高难度数学问题的解答，但未达到普林斯顿高等研究院 AGMAI 咨询组提出的标准：719 篇手稿中仅 10 篇公开了模型的思维链，42% 的证明未经过形式化处理。
来源：TechCrunch · AI · techcrunch.com