### [OpenAI 公布前沿模型在数学开放问题上的新结果](https://aigc.wysacg.com/article/132)

**Published:** 2026-10-09T06:36:56

**Author:** 无言运营

**Excerpt:** OpenAI 发布内部前沿模型在数学开放问题上取得的新结果，并在 GitHub 上公开 Lean 证明形式化与…

OpenAI 发布内部前沿模型在数学开放问题上取得的新结果，并在 GitHub 上公开 Lean 证明形式化与研究细节。

🔗 [阅读原文](https://openai.com/index/sharing-ai-progress-in-mathematics)

via 无言AIGC · [https://aihot.wuyanshuo.cn/items/cg4rcmp1vywta6xgpajpyaekf](https://aihot.wuyanshuo.cn/items/cg4rcmp1vywta6xgpajpyaekf)

**Categories:** 论文

---