OpenAI 公开 722 份数学手稿：来自未发布内部模型，覆盖 372 个研究 family，并明确提示部分结果尚未形式化验证

这次有什么变化

OpenAI 10 月 6 日创建并公开 `openai/math` 仓库，收录内部未发布模型生成的 722 份数学手稿，组织为 372 个 family。README 称评测过程中模型被提出约 4,000 个开放研究问题，绝大多数结果使用同一流程、平均每项约三小时 ChatGPT Pro thinking compute。OpenAI 同时明确说明这些结果处于不同验证阶段，并非全部有 Lean 形式化；部分未形式化结果可能存在问题。因此这批材料应视为公开研究语料与待验证成果集合，而不是“722 个定理均已被证明”。