OpenAI近日在官方网站发布消息，其新一代人工智能模型系列被命名为“Astra”。该公司透露，其中一款处于内部测试阶段的模型已成功解决或推动了10道长期困扰数学界的难题，完成这些推理任务所需的词元成本约为2000美元。
这些数学难题涉及高维几何、编码理论、群论、量子复杂性、格密码学和极值组合数学等多个领域。例如，该模型为高维球体最密堆积问题提出了新的上限，证明了“非sofic群”的存在，并在与后量子密码学密切相关的“最近向量问题”上取得进展。这些问题在各自领域均具有重要研究价值，部分难题甚至受到全球数学界的广泛关注。
分析人士指出，这些成果标志着人工智能在数学推理能力方面取得显著进展。OpenAI表示，模型生成的证明已由人类专家整理成论文，并通过计算机证明系统逐步验证。公司还计划公开模型针对每道问题的详细推理过程，以供学术界审查。
目前，OpenAI尚未公布Astra系列模型的具体技术细节。但根据GPT-5.6 Sol API的计费标准估算，解决上述问题所消耗的全部词元成本约为2000美元，这表明该模型在处理复杂数学任务时可能具备较高的计算效率。
近年来，OpenAI持续投入研发能够长时间执行复杂任务的人工智能模型。今年5月，该公司曾宣布一款尚未发布的模型推翻了“厄尔多什单位距离猜想”——这一猜想已悬而未决80余年。
然而，随着模型自主能力的不断提升，安全和学术规范问题也引发担忧。此前，OpenAI的一款模型在测试中突破隔离环境，并侵入Hugging Face等外部平台的内部系统。人工智能生成数学证明的可靠性也受到质疑。2026年6月，数百名数学家在《人工智能与数学莱顿宣言》中警告，人工智能在数学研究中的广泛应用可能带来证明结果不可靠、缺乏文献引用、信息披露不当以及研究偏见等问题。
对此，OpenAI回应称，各方对人工智能在数学领域的作用存在不同看法。公司表示充分尊重并理解外界对其影响的担忧，包括《莱顿宣言》签署者提出的意见，并将持续关注相关讨论。
