TechCrunch · AI· Tim Fernholz·· 19 小时前AI 评分67
OpenAI 发布 719 份数学证明手稿，但尚未达到数学界标准
OpenAI’s math solutions aren’t meeting the field’s standards yet
AI 导读
OpenAI 发布了 719 份数学证明手稿，但其披露方式未完全符合 AGMAI 对前沿数学研究的建议。仅 10 份手稿公开了模型思维链，42% 的证明未经过形式化，发布内容也缺少关联自然语言证明与形式化结果的机器可读元数据。
来源：TechCrunch · AI · techcrunch.com