OpenAI 宣称取得十项数学与理论突破

关键信息

这项工作被描述为内部研究成果，而不是已经发布的产品；OpenAI 也没有给出 Astra 的开放时间、访问方式或产品说明。报道还提到，公司公开了一篇论文和一份由 LLM 生成的推导说明，用来重建证明是如何从未公开的推理轨迹中形成的。

资讯摘要

OpenAI 宣布，它在数学和理论计算机科学的十个长期开放问题上取得了新的进展。公司称，这些结果涉及几何、密码学、复杂性等方向，而且相关主结果在至少十年里几乎没有实质进展。完成这些工作的，是 Astra 的一个内部版本，而 OpenAI 把 Astra 描述为其下一代主模型。此次发布的一个重点是，这些结果附带了 Lean 4 的形式化表示，方便外部研究者检查和验证证明。

OpenAI 还公开了一篇论文，介绍这些解法，并附带一份单独的 PDF，其中模型根据未公开的推理轨迹重建了证明是如何形成的。由于这意味着前沿模型可能参与了真正困难的理论研究，这一消息在数学和 AI 社区引发了广泛关注。与此同时，相关系统仍然是内部模型，加上报道中的成本数字与实际复现条件，最终影响还要看外部审查结果。更大的背景是，OpenAI 和其他 AI 实验室都在把模型展示到科研任务上，而这些任务过去通常被认为远超现有系统能力。

资讯正文

OpenAI 公布了在数学和理论计算机科学中一些长期悬而未决的公开问题上的新结果，其中包括在几何、密码学和复杂性方面的进展。

来源与参考

1. 原始链接
2. Ten advances in mathematics and theoretical computer science
3. Ten advances in mathematics and theoretical computer science