OpenAI Astra模型发布 10项数学理论新成果突破
近期，相关机构公开了其内部测试的下一代AI模型取得的多项突破性进展，该模型在数学与理论计算机科学领域斩获10项全新研究成果，覆盖高维几何、编码理论、群论、算术电路复杂性、量子复杂性、格密码学以及极值组合学等多个前沿方向。
值得关注的是，本次攻克的所有研究问题均已公开至少10年，核心结论长期未能取得突破，不少问题的研究历史甚至更为久远。研发团队借助该模型完成了完整的论证整理，最终形成一份249页的正式论文，同时附带62页的解题思路说明文档。按照公开API的计费标准，模型用于寻找这些解法的Token总成本约为2000美元，折合人民币约13500元。
在正式公布成果之前，该模型就已经进入了美国政策制定者的视野。据相关媒体报道，研发团队负责人于本周在华盛顿向白宫官员、内阁成员以及国会议员等政策制定者提前预览了该模型。
这并非该团队首次通过AI参与数学难题的解决。今年5月，该团队就曾公开过由AI发现的厄尔多什单位距离猜想反例，该成果由一款未发布的模型在评估阶段发现，后续推动了数学与理论计算机科学领域的多项跟进研究。
核心突破成果详解
本次公布的10项研究成果具体包括：
1. 高维球体堆积：给出新的球体堆积密度上界，将结果推进至Cohn–Elkies阈值，这是一般球体堆积指数自1978年以来的首次改进。
2. 二进制码和球面码：在任意给定最小距离下，对二进制码的最大规模上界实现指数级改进，并在高维球面码中取得类似结果。
3. 非sofic群：构造出一个明确的非sofic群，推翻“所有可数群都是sofic群”的猜想，该问题自2000年前后被正式提出以来，一直是群论中的核心开放问题之一。
4. Connes刚性猜想：推翻了一项长期猜想，该猜想认为某些群可以由其对应的冯·诺依曼代数唯一确定；新结果证明，不同的群也可能对应同一个冯·诺依曼代数。
5. 算术电路复杂性：围绕用算术电路和公式计算积和式给出新的下界，其中算术公式下界达到n⁴/log n量级。
6. 量子并行重复：证明适用于一般双人量子博弈的指数级并行重复定理，扩展了经典复杂性理论的基础原理。
7. 最近向量问题：证明最近向量问题具有多项式因子的近似困难性，该问题是格理论中的基础问题，与后量子密码学相关。
8. Ehrhart体积猜想：确定内部仅有一个格点、且该格点恰好位于重心的凸体在任意维度下所能达到的最大体积。
9. 多色拉姆齐数：给出多色三角形拉姆齐数的超指数下界，解决厄尔多什第183号问题。
10. 极值数猜想：在极值图论的紧致性猜想和退化性猜想上取得结果，解决厄尔多什第146号和第180号问题。
这些结果由该模型的内部测试版本完成，在人类研究人员的协助下，该模型将论证整理成正式论文，同时将每项论证转化为Lean形式化证明证书。此外，研发团队还发布了该模型的解题思路讲解内容。
AI生成论证与成果责任
研发团队表示，AI参与数学研究正在带来一系列科技公司难以独立解答的问题，目前学界对于AI在数学研究中的角色定位存在不同观点，部分数学家也对AI的影响持谨慎态度。
在成果署名方面，团队认为，如果一份证明完全由AI系统生成，却将作者署名为人类，会同时扭曲AI的实际贡献和人类原创工作的本质。该团队参与了论文整理和Lean形式化验证环节，并对成果的正确性负责，但核心的数学论证均由AI系统生成。团队希望数学界能够进一步检验这些成果，将其纳入现有研究脉络，并在此基础上开展后续的新研究。
模型能力的突破与未来展望
本次公布的10项研究成果，集中展现了该下一代AI模型的科研潜力。该模型不仅能够处理已有的知识体系，还能够参与到解法探索、数学论证生成以及形式化验证等科研核心环节中。
与单次突破单项难题不同，该模型能够同时在多个长期悬而未决的研究问题上取得进展，展现出跨领域解决前沿科学问题的能力。不过，这些成果仍需要数学界的进一步检验和评价。该模型能否将这种科研能力稳定拓展到更多科学领域，将成为其正式发布前的一大看点。
相关资源链接：
