数学与理论计算机科学的十项突破：OpenAI 发布新成果
OpenAI 今日发布了一项令人瞩目的研究成果，宣布在数学和理论计算机科学的十个长期未解问题上取得了新进展。这些问题涵盖了高维几何、编码理论、算术电路复杂度、群论、算子代数、量子复杂度、格密码学和极值组合学等多个领域，其中许多问题已悬而未决数十年。这些突破性成果由 OpenAI 内部版本的 Astra 模型完成，该模型是下一代主要模型，其解决问题所需的计算成本约为 2,000 美元（按 Sol API 费率计算）。
背景：加速科学发现的使命
OpenAI 一直致力于为科学家和数学家提供加速发现的工具。近期，他们推出了“ChatGPT for Academic Researchers”计划，为 10 万名科学家和数学家提供免费使用最佳 ChatGPT 模型的机会。此外，OpenAI 在模型开发过程中会持续评估模型在开放研究问题上的表现。今年五月，他们曾分享了一个 AI 生成的关于 Erdős 单位距离猜想的反例，这项工作已经激发了数学和理论计算机科学的进一步发展。
十项成果概览
本次发布的十项成果具体包括：
- 高维球堆积：在 Cohn–Elkies 阈值以下获得了新的球堆积密度上界。
- 二元码和球码：在任意给定最小距离下，二元码最大规模的指数级改进界限，高维球码也有类似结果。
- 非 sofic 群：构造证明了非 sofic 群的存在，解决了群论中的一个核心开放问题。
- Connes 刚性猜想：反驳了一个长期存在的猜想，该猜想认为某些群由其 von Neumann 代数唯一确定。
- 算术电路复杂度：在计算永久式（permanent）方面获得了新的下界。
此外，还有关于量子复杂度、格密码学和极值组合学等方面的进展。所有这些问题在其各自的数学界都具有重要意义，其中几个问题在整个数学界都广受关注。
方法与验证
这些成果由 Astra 模型（内部版本）取得，人类研究者与模型合作将论证整理成论文。随后，模型将每个论证形式化为 Lean 证书，确保其严谨性。OpenAI 还发布了每个解决方案的模型思维过程叙述，以便研究者了解模型的推理路径。
意义与展望
这些突破展示了 AI 在数学和理论计算机科学领域的巨大潜力。通过自动化推理和探索，AI 能够帮助人类解决那些长期悬而未决的问题，加速科学发现的过程。OpenAI 表示，他们希望这些工具能赋能更多研究者，推动数学和相关领域的进展。
尽管这些成果尚未经过同行评审（除部分外），但它们已经引起了学术界的广泛关注。未来，随着 AI 模型的不断进步，我们有望看到更多类似的突破，为人类知识的前沿拓展做出贡献。