OpenAI发布前沿模型数学新成果及Lean证明
原文：Sharing AI progress in mathematics
OpenAI发布了一个内部前沿模型在数学开放问题上的新结果，并在GitHub上分享了Lean证明形式化和研究细节。