主要证据
- Our First Proof submissionsS2 · 官方机构来源 · 官方公告 · 2026-02-20
OpenAI 发布 First Proof 研究级数学挑战的证明尝试
内部模型在有限人工监督下工作；研究者有时要求重试或澄清，并在人类判断下选择候选尝试。
发生了什么？
OpenAI 发布全部十道 First Proof 问题的证明尝试，称至少五份有较高概率正确，并在专家反馈后明确撤回对其中一份早期尝试的信心。
为什么重要？
该事件同时透明展示了研究级能力与 AI 生成数学在验证上的困难。
重要性说明：First Proof 把前沿模型评测从竞赛与隐藏基准推进到专家设计的研究级证明尝试，并要求持续社区审查。
历史脉络
证据与状态一览
- 重要性
- H2 · 领域里程碑
- 验证状态
- 核验中
- 证据等级
- E2 · 研究记录
- AI 角色
- AI 主导、人类核验
- 形式保障
- 无形式保障
贡献与验证
- 数学新颖性
- 基准结果
- 接口
- 非形式化, 符号
- AI 贡献
- 模型在多个专业领域生成长篇研究级证明尝试。
- 人类贡献
- 研究者负责提示与选择候选，专家提供反馈，而正确性被明确保留为待审查问题。
- 验证状态
- 核验中 · E2 · 研究记录 · 无形式保障
- 最后审阅
- 2026-09-11
技术细节
- 系统
- openai-internal-reasoning-model
- 机构
- openai, first-proof
- 数学问题
- first-proof
- 方法
- long-horizon-reasoning, expert-review, proof-generation
全部来源与工件
- Our First Proof submissionsS2 · 官方机构来源 · 官方公告 · 访问于 2026-09-10
验证历史
- 2026-02-20 · 核验中 · E2 · 研究记录
Chronicle 依据所引 primary / official source 记录该事件；该状态不表示 Chronicle 已完成独立验证。
更正
当前没有记录的更正。