资讯
OpenAI 公开 722 份数学手稿，372 个结果族供独立验证
一句话：10/6 OpenAI 发布 722 份数学手稿、归入 372 个结果族，由未发布内部模型产出，部分含可机检 Lean 证明，邀请独立研究者核查。
背景
- OpenAI 10/6 发布一批数学手稿：共 722 份、归入 372 个结果族，由尚未发布的内部模型产出，超出此前单篇数学公告的量级。
核心要点
- 手稿含部分可计算机检查的 Lean 证明，同时警告未形式化工作可能存在错误，结果处于不同验证阶段。
- 超出此前个别数学公告，给独立研究者一大 bodies 待查主张。
- 与同期 GPT-6 Intelligent UI、722 手稿共同显示 OpenAI 把「可验证推理」作为前沿能力的证明方式。
- 反映前沿实验室用形式化证明与外部审计对冲「能力可否被信任」的叙事。
为什么重要
- 把推理进展从「基准分数」转向「可机检证明」，是前沿能力可被独立验证的关键一步，也把开放核查变成竞争力的一部分。
关键事实速记
- OpenAI 722 份数学手稿（10-06）
- 372 个结果族
- 未发布内部模型产出
- 部分含 Lean 可机检证明
- 邀请独立核查
📂 原文链接：查看原文 →
← 返回资讯列表
AI8899 · 内容仅供学习参考