OpenAI的Astra模型仅用2000美元算力解决数学难题是否可信？

OpenAI 在 2026 年 8 月 1 日高调披露其下一代模型 Astra 的内部版本，宣称仅用约 2000 美元算力成本就攻克了 10 个困扰数学界十年以上的顶级难题，但这份“成绩单”在引发震撼的同时，也因透明度问题而招致学界冷静审视。

一、2000 美元攻克十大数学难题的核心事实

2026 年 8 月 1 日，OpenAI 发布研究报告，其内部模型 Astra 在高维几何、群论、量子复杂性等数学与理论计算机科学领域，一次性拿下了 10 项长期未有实质性突破的开放问题。这些问题中，部分已悬而未决近 30 年，多项成果被数学家评价为“菲尔兹奖级别”。OpenAI 称，生成这些解法的 Token 总成本按 Sol API 费率计算约 2000 美元，每道题平均仅约 200 美元。模型产出的论证由人类研究人员协助整理为 249 页论文，并将每个证明转化为 Lean 4 形式化证书，供机器严格核验。

二、辉煌数据背后的理性疑点

尽管成果公布方式冲击力极强，但多位观察者指出了关键的不透明之处：- 成功与尝试的混淆：2000 美元仅为 10 个成功案例的 token 成本，OpenAI 未披露为取得这些成果共进行了多少次失败尝试及总算力投入。没有成功率数据，就无法科学评估模型的真实可靠程度。- 缺乏同行评审：今年 6 月，数学界刚发布《莱顿宣言》，抗议 AI 公司用新闻稿而非同行评审宣布成果。此次 OpenAI 的发布方式恰恰踩在宣言反对的节点上。知名 AI 批评者 Gary Marcus 指出，论文未说清模型如何工作、证明如何验证、人类介入程度，以及是否存在错误证明。- 透明度黑箱：有观点认为，2000 美元更像一场精心包装的公关，OpenAI 未公布人类专家在提示词工程上投入的隐形成本。

三、平衡看待——价值与不确定性并存

值得肯定的三个事实是：第一，所有证明均附机器可检验的 Lean 证书，可证伪性远超此前的 GPT-5 传闻；第二，美国数学学会会士等多位顶尖数学家震惊并认可其部分成果价值；第三，成本仅约 1.35 万元人民币，确实展示了 AI 科研效率的巨大潜力。然而，这些成果的最终数学价值仍需相当长时间的同行评审才能确认。OpenAI 自身也承认，Astra 在其他难题上遭遇了失败。目前理性的态度是：认真对待但保持谨慎，将其视为有科学依据的线索而非定论。