一句话看懂 OpenAI 最新发布：数学难题，AI 一口气解开了 10 个 ...

一句话看懂 OpenAI 最新发布：数学难题，AI 一口气解开了 10 个

8 月初，OpenAI 官宣了一批数学和理论计算机领域的研究成果。据介绍，他们用内部版本的下一代模型 Astra，在 10 个长期悬而未决的数学难题上取得了实质进展——这些难题横跨高维几何、编码理论、图论、格密码等多个方向。

先说直白的：这不代表 AI 啥都会，但在"做数学研究"这件事上，AI 已经从"会算"往前走了一步，开始"能证明"。

几个值得提的点：

• 用 AI 证明数学猜想：比如推翻了长期未解的 Connes 刚性猜想，还构造出了"非 sofic 群"的存在性——这是群论领域的一个核心开放问题。
• 成果可复核：OpenAI 没有只甩结论。每个证明都让人工翻译成了机器可验证的 Lean 证书，代码已经开源在 GitHub，别人可以自己跑一遍确认。
• 成本挺低：据官方估算，这套模型算出这些问题的全部代币成本大约 2000 美元——相比传统数学研究的人力，这成本低得惊人。

其实上个月（5 月）OpenAI 就放出过一个"AI 推翻几何猜想"的案例，这次等于把能力打包成了一批成果集中亮相，还顺手宣布了"ChatGPT for Academic Researchers"计划：给 10 万名科学家和数学家免费开放最强的 ChatGPT 模型。

对普通人来说，这件事的意义可能还不在于那几个公式，而是——AI 真的开始参与"前沿科研"了，而且证明过程是透明、可验证的。这在以前是不可想象的。

来源：OpenAI 官方博客

链接：https://openai.com/index/ten-advances-in-mathematics/