曝 OpenAI 内部模型连破十余项数学难题，AI 辅助证明引发热议

jiaxinwen22 · x · 2026-08-09

知名理论计算机科学家 Scott Aaronson 在博客中透露，OpenAI 的内部模型已经解决了十个数学和理论计算机领域的重大开放性问题，其中包括量子博弈的并行重复以及 CVP 问题的多项式硬度近似等。

此外，Frederic Koehler 和 Pui Kuen Leung 宣布证明了 Aaronson 在 16 年前提出的 Permanent Anti-Concentration 猜想，并在致谢中提到曾与 ChatGPT 讨论思路。Aaronson 指出，多个 AI 正在突破解决复杂数学问题的瓶颈，这标志着 AI 在高级学术推理能力上的重要进展。