OpenAI 公开内部模型的数学成果及证明材料

We’re releasing a broad range of new mathematical results produced by an internal frontier model. We’ve been consulting

人工整理

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

来源：OpenAI · x.com