分享数学领域的 AI 进展

OpenAI 发布了内部前沿模型在数学未解问题上的新成果，并在 GitHub 分享 Lean 证明形式化内容和研究详情。

原文语言 · 英语

已核查 · 2026年10月10日