AI 报告 · OpenAI · 2026-10-06 · 博客 / 评论

分享 AI 在数学领域的进展

原标题: Sharing AI progress in mathematics

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

阅读原文 ↗

全部 AI 报告 →