OpenAI十月数学公开产物固定版本与修订
原发布者公开手稿、部分Lean产物、内部模型及人类整理说明，以及撤回/修订的可追溯版本。
原文位置：README L12-L20/L40-L44；history.md L5-L31；lean/ComparatorChallenges/README.md L12-L28
不能据此推出：各稿验证/新颖状态不同，部分formalization仅支撑引理；未逐稿重放/独立裁定；内部模型不等同公开服务。
核查 2026-10-20 · 所属资料版本 2026-10-21.workunits.2 · 来源ID WU-M-MATH-OCT-FIXED
实际引用在哪里
数学研究产物：联合探索命题、构造与证明或反例 →
固定稿件、模型/人工整理、修订与形式化覆盖可追溯。
关系：直接对应