TechCrunch · AI· Tim Fernholz·· 3 小时前精选AI 评分58
OpenAI 数学解题发布未达学界标准：形式化验证与人类理解仍存缺口
OpenAI’s math solutions aren’t meeting the field’s standards yet
AI 导读
OpenAI 本周发布数百个数学难题的解题结果，但未完全遵循普林斯顿高等研究院数学与人工智能咨询组（AGMAI）的指南。719 份手稿中仅 10 份公开了模型思维链，42% 的证明未经过形式化处理。
推荐理由
文章用具体数据和数学家批评，呈现前沿实验室数学成果发布与学界标准之间的落差，适合关注 AI 科研可信度的人参考。
来源：TechCrunch · AI · techcrunch.com