【2026西安科博会】OpenAI公布下一代模型Astra 以2000美元攻克十道数学未解难题
当地时间8月1日,ChatGPT开发商OpenAI在官网宣布,其下一代人工智能模型系列将命名为“Astra”。该公司称,其中一款内部测试模型已解决或推动解决10道长期未解的数学难题,完成相关推理所需的词元成本约为2000美元。据了解,这些问题横跨高维几何、编码理论、群论、量子复杂性、格密码学和极值组合数学等多个领域。例如,该模型为高维球体最密堆积问题提出了新的上限,证明了“非sofic群”的存在,并在与后量子密码学密切相关的“最近向量问题”上取得进展。OpenAI表示,模型生成的证明已由人类整理成论文,并通过计算机证明系统逐步验证。不过,这类模型不断提升的自主能力也引发安全和学术规范方面的担忧。2026年6月,数百名数学家在首份《人工智能与数学莱顿宣言》中警告称,人工智能在数学研究中的应用不断扩大,可能带来证明结果不可靠、缺乏文献引用等问题。对此,OpenAI表示充分尊重并理解外界对其影响的担忧。
新闻来源:红星新闻