分享数学领域的 AI 进展
OpenAI 公布内部前沿模型在数学开放问题上的新结果，并在 GitHub 分享 Lean 证明形式化与研究细节。
中文处理结果
OpenAI 发布来自内部前沿模型在数学开放问题上的新结果，并在 GitHub 上分享 Lean 证明形式化与研究细节。
原始正文摘录
Sharing AI progress in mathematics
OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.