OpenAI 公开内部模型的数学成果及证明材料
OpenAI披露内部前沿模型产生的一批数学研究结果。此前核对的官方公告提供GitHub资料、论文修订与引用规则，并包含部分Lean证明及推理说明，适合继续检查具体问题与证明证据。这是研究成果披露，不代表该内部模型已向公众开放。
OpenAI发布时间： 模型与能力 · 文本
OpenAI披露内部前沿模型产生的一批数学研究结果。此前核对的官方公告提供GitHub资料、论文修订与引用规则，并包含部分Lean证明及推理说明，适合继续检查具体问题与证明证据。这是研究成果披露，不代表该内部模型已向公众开放。