OpenAI 公布内部前沿模型在数学开放问题上的新结果

OpenAI 发布内部前沿模型在数学开放问题上取得的新结果，并同步公开 Lean 证明形式化内容与研究细节，相关材料已放在 GitHub。由于 feed 仅提供摘要，正文未给出具体题目、模型名称或证明数量。