OpenAI公开新的数学研究产物
内部前沿模型的研究结果、部分Lean形式化及尝试信息被公开，可逐项检查。
原文位置：正文结果发布、Lean材料与修订协议；10月15日资金更新
不能据此推出：并非每项结果均获学界接受或有形式证明；内部模型不等于公众产品；10月15日更新不是新能力发布。
核查 2026-10-19 · 所属资料版本 2026-10-21.workunits.2 · 来源ID WU-MATH-RELEASE
实际引用在哪里
推导与反例检查：找出可定位的论证缺口 →
支持追踪实际论证与更正影响。
关系：方法依据
数学研究产物：联合探索命题、构造与证明或反例 →
内部研究模型已公开具体研究产物及验证阶段。
关系：直接对应