Our First Proof submissions

Our First Proof submissions

OpenAI 使用内部模型完成了 First Proof 项目的全部 10 道研究级数学证明题，并于 2026 年 2 月 14 日 0:00 PT 公开了 10 份 proof attempts 及附录中的 prompt patterns 和示例。根据专家反馈，OpenAI 认为其中第 4、5、6、9、10 题的证明尝试“很有可能正确”，第 2 题在官方 commentary 和社区分析后被改判为错误，其余题目仍在审查中。OpenAI 还表示，这项工作延续了此前的 frontier reasoning 进展，包括 2025 年 7 月在 IMO 上取得 35/42 分的 gold medal-level 表现、2025 年 11 月的 GPT-5 科学加速案例，以及 GPT-5.2 在理论物理合作中提出候选 gluon-amplitude 公式并被形式证明。