OpenAI 官方发布数学与理论计算机科学十大新进展

OpenAI 官方博客罕见地系统性公开了下一代模型 Astra 在十个“十年未破”数学与理论计算机科学难题上的新结果,连同模型解题时的思考过程一并放出,这是继 5 月证伪 Erdős 单位距离猜想后,OpenAI 又一次用真刀真枪的数学成果证明自身研究实力。

• 十个问题横跨高维球体堆积、编码理论、算术电路复杂性、群论(非柔性群构造)、算子代数(证伪康纳斯刚性猜想)、量子平行重复、格密码学与极值组合等方向,均为学界搁置至少十年、部分长达数十年的难题
• 论证由 Astra 内部版本生成,再由人类研究者与同一模型合作整理为正式论文手稿,随后模型自己将论证在 Lean 中形式化为可机器验证的证书,兼顾产出速度与严谨性
• OpenAI 按 Sol API 费率估算,找到这十个问题解法所耗费的总 token 成本约 2000 美元,把顶尖数学攻关的边际成本压到了此前难以想象的量级
• 每个结果都同步公开了模型的思考过程叙述,便于数学共同体审视推理链条,而不只是核验最终证明是否成立
• 这是继面向 10 万科研人员开放的 ChatGPT for Academic Researchers 计划之后,OpenAI 对“AI 参与原创数学研究”能力的又一次公开背书
• 若这些证明能顺利通过同行评审,将标志着大模型从“解题工具”向“数学合作者”迈出实质一步,理论计算机科学、密码学等重度依赖证明的领域可能迎来新的研究范式。

本内容由 AI 生成，仅供参考，请注意甄别