当地时间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表示，对于人工智能应在数学领域发挥何种功能，各方存在不一样看法。该公司称，充分尊重并理解外界对其意义的担忧，其中也涵盖《人工智能与数学莱顿宣言》签署者提出的意见。红星新闻记者 杨诗柔编辑 邓旆光 审核 官莉

(责任编辑：休闲)