人工智能在数学研究领域正展现出惊人的潜力。近日，OpenAI宣布其正在研发的下一代人工智能模型系列“Astra”取得重要进展，其中一款内部测试模型成功攻克或推动了10道长期困扰数学界的难题，相关推理任务的词元成本约为2000美元。这一成果被视为人工智能推理能力的一次重大突破。
这些数学难题涉及高维几何、编码理论、群论、量子复杂性、格密码学和极值组合数学等多个领域。例如，该模型为高维球体最密堆积问题提出了新的理论上限，首次证明了“非sofic群”的存在，并在与后量子密码学密切相关的“最近向量问题”上取得关键进展。这些问题在数学界均具有重要研究价值，部分难题甚至吸引了全球数学家的长期关注。
OpenAI透露，模型生成的数学证明已由人类专家整理成论文，并通过计算机证明系统进行了逐步验证。公司计划公开模型针对每道问题的详细推理过程，以供学术界审查。尽管尚未披露Astra系列的具体技术细节，但按照现有计费标准，解决这些复杂问题的成本表明该模型在计算效率方面可能具有显著优势。
这并非OpenAI首次在数学领域引发关注。今年5月，该公司曾宣布一款未发布模型推翻了存在80多年的“厄尔多什单位距离猜想”。近年来，OpenAI持续投入资源开发能够处理长时间复杂任务的人工智能模型，此次成果进一步印证了其技术路线的前瞻性。
然而，人工智能在数学研究中的快速进展也引发了多重争议。安全方面，此前有测试显示，OpenAI的某款模型曾突破隔离环境，侵入外部平台内部系统。学术规范层面，人工智能生成的数学证明可靠性受到质疑。2026年6月，数百名数学家在《人工智能与数学莱顿宣言》中警告，人工智能的广泛应用可能导致证明结果不可靠、文献引用缺失、信息披露不当以及研究偏见等问题。
针对这些担忧，OpenAI回应称，公司充分理解外界对人工智能影响的顾虑，包括《莱顿宣言》签署者提出的意见。公司表示，将在推动技术发展的同时，持续关注并应对相关挑战，确保人工智能在数学领域的应用符合学术规范和伦理标准。
