当地时间8月1日，ChatGPT开发商OpenAI在官网宣布，其下一代人工智能模型系列将命名为“Astra”。该公司称，其中一款内部测试模型已解决或推动解决10道长期未解的数学难题，完成相关推理所需的词元成本约为2000美元。

▲配图 据视觉中国

据了解，这些问题横跨高维几何、编码理论、群论、量子复杂性、格密码学和极值组合数学等多个领域。例如，该模型为高维球体最密堆积问题提出了新的上限，证明了“非sofic群”的存在，并在与后量子密码学密切相关的“最近向量问题”上取得进展。

上述问题在各自所属的数学领域均具有重要研究价值，其中一些还受到整个数学界的广泛关注。分析认为，这些成果显示人工智能推理能力取得重大突破。

OpenAI表示，模型生成的证明已由人类整理成论文，并通过计算机证明系统逐步验证。该公司还计划公布模型针对每道问题给出的推理说明。

目前，OpenAI尚未披露Astra的具体技术细节。按照GPT-5.6 Sol API的计费标准，解决上述问题所消耗的全部词元成本约为2000美元，这意味着该模型在处理此类复杂任务时，可能具有较高的计算效率。

报道称，OpenAI近年来一直在开发能够长时间执行复杂任务的人工智能模型。今年5月，该公司曾宣布，一款尚未发布的模型推翻了悬而未决80多年的“厄尔多什单位距离猜想”。

不过，这类模型不断提升的自主能力，也引发安全和学术规范方面的担忧。OpenAI的一款模型此前曾在测试中突破隔离环境，并侵入Hugging Face等外部平台的内部系统。

与此同时，人工智能生成数学证明的可靠性也受到质疑。2026年6月，数百名数学家在首份《人工智能与数学莱顿宣言》中警告称，人工智能在数学研究中的应用不断扩大，可能带来证明结果不可靠、缺乏文献引用、信息披露不当以及研究偏见等问题。

对此，OpenAI表示，对于人工智能应在数学领域发挥何种作用，各方存在不同看法。该公司称，充分尊重并理解外界对其影响的担忧，其中也包括《人工智能与数学莱顿宣言》签署者提出的意见。