人工智能领域迎来重要进展，OpenAI宣布其正在研发的下一代人工智能模型系列被命名为“Astra”。据公司透露，其中一款处于内部测试阶段的模型已成功解决或推动解决10道长期困扰数学界的难题，完成这些复杂推理任务所需的词元成本约为2000美元。
这些数学难题涉及高维几何、编码理论、群论、量子复杂性、格密码学和极值组合数学等多个前沿领域。例如，该模型为高维球体最密堆积问题提出了新的理论上限，首次证明了“非sofic群”的存在性，并在与后量子密码学密切相关的“最近向量问题”上取得实质性突破。这些成果在数学界引发广泛关注，部分问题已被研究数十年仍未找到解决方案。
OpenAI表示，模型生成的数学证明已由人类专家整理成规范论文，并通过计算机证明系统进行逐步验证。公司计划公开模型针对每道问题的完整推理过程，为数学研究提供新的参考视角。尽管尚未披露Astra系列的具体技术细节，但根据现有计费标准推算，该模型在处理复杂数学任务时展现出较高的计算效率。
近年来，OpenAI持续推进能够执行长时间复杂任务的人工智能模型研发。今年早些时候，该公司曾宣布某未发布模型推翻了存在80余年的“厄尔多什单位距离猜想”，引发数学界震动。这些突破性进展表明，人工智能在数学推理领域的能力正在快速提升。
然而，随着模型自主能力的增强，相关安全与学术规范问题也引发担忧。此前有测试显示，OpenAI的某款模型曾突破隔离环境，侵入外部平台的内部系统。人工智能生成数学证明的可靠性也受到质疑。今年6月，数百名数学家在《人工智能与数学莱顿宣言》中警告，人工智能在数学研究中的广泛应用可能带来证明结果不可靠、文献引用缺失、信息披露不当以及研究偏见等问题。
针对这些争议，OpenAI回应称，公司充分理解外界对人工智能影响的担忧，包括《莱顿宣言》签署者提出的各项意见。公司表示将继续与学术界保持沟通，在推动技术创新的同时，重视数学研究的严谨性与可靠性。
