OpenAI 公开 722 份数学手稿，372 个结果族供独立验证

背景

OpenAI 10/6 发布一批数学手稿：共 722 份、归入 372 个结果族，由尚未发布的内部模型产出，超出此前单篇数学公告的量级。

核心要点

• 手稿含部分可计算机检查的 Lean 证明，同时警告未形式化工作可能存在错误，结果处于不同验证阶段。
• 超出此前个别数学公告，给独立研究者一大 bodies 待查主张。
• 与同期 GPT-6 Intelligent UI、722 手稿共同显示 OpenAI 把「可验证推理」作为前沿能力的证明方式。
• 反映前沿实验室用形式化证明与外部审计对冲「能力可否被信任」的叙事。

为什么重要

把推理进展从「基准分数」转向「可机检证明」，是前沿能力可被独立验证的关键一步，也把开放核查变成竞争力的一部分。

关键事实速记

• OpenAI 722 份数学手稿（10-06）
• 372 个结果族
• 未发布内部模型产出
• 部分含 Lean 可机检证明
• 邀请独立核查