OpenAI公布内部前沿模型数学成果，Lean证明形式化上传GitHub

OpenAI在其新闻页发布公告，称公开了一批数学开放问题的新结果，并发布了Lean证明形式化与研究细节，地址在GitHub。