OpenAI 通过 AI 模型分享数学进展

OpenAI 宣布在解决数学开放问题方面取得了新进展，这些成果借助其内部前沿 AI 模型实现。该组织还在其 GitHub 仓库中分享了使用 Lean 语言编写的证明形式化内容以及详细的研究结果。这些更新于 2026 年 10 月 6 日发布。

证据与背景

OpenAI 的最新公告建立在其近期在研究数学领域通过 AI 推动的进展基础之上。此前的重要里程碑包括 2026 年 5 月报道的与平面单位距离问题相关的一个猜想的反驳，该成果被描述为离散几何中一个著名开放问题的首个自主 AI 解决方案。此外，在 2026 年 8 月，OpenAI 强调了数学和理论计算机科学领域的十项重大成就，声称其系统解决或显著推进了长期存在的挑战。

该组织越来越多地使用 Lean 等形式验证工具，旨在减少错误并确保其 AI 生成证明的有效性。这些工具尤为关键，因为前沿 AI 系统正从解决竞赛风格问题向研究级数学问题过渡。然而，OpenAI 的一些高调声明仍在专家审查中，包括与 Navier-Stokes 千禧奖问题相关的一个有争议的结果。

2026 年 9 月，OpenAI 成立了一个数学咨询小组，以回应关于其 AI 生成结果归因和形式验证的质疑。截至 2026 年 10 月，该组织报告称其 AI 系统已解决了超过 100 个开放问题，标志着 AI 在推进理论知识方面迈出了重要一步。

尽管此次公告对学术界和应用数学的广泛影响是显而易见的，但其与可交易资产或直接市场影响无关。