分享数学领域的 AI 进展

【AI 翻译 · 未评分】OpenAI 发布了内部前沿模型在数学开放问题上的新结果，并在 GitHub 上分享了 Lean 证明形式化和研究细节。