博客 详情

OpenAI近日公布了其下一代模型Astra，该模型在数学与理论计算机科学领域取得了10项突破性进展，这些问题均已悬而未决至少十年，甚至更久。这些成果涵盖了高维几何、编码理论、群论、算术电路复杂性、量子复杂性、格密码学和极值组合学等多个前沿领域。

Astra模型此次展现的能力，是通过内部版本在上述领域攻克了10个长期存在的难题。OpenAI为此整理了一份长达249页的论文，并附有一份62页的解题思路说明。据估算，模型在寻找这些解决方案过程中消耗的Token总成本约为2000美元，折合人民币约13500元。

在成果正式对外公布之前，Astra已经引起了美国政策制定者的关注。据The Information报道，OpenAI的CEO萨姆·奥尔特曼（Sam Altman）已于本周在美国华盛顿向包括白宫官员、内阁成员和国会议员在内的相关人士，提前展示了Astra模型。

这并非OpenAI首次利用AI解决数学难题。今年5月，该公司曾披露一个尚未发布的模型在评估期间发现了厄尔多什单位距离猜想的反例，这一发现已在数学和理论计算机科学界引发了多项后续研究。

此次公布的10项具体成果包括：高维球体堆积密度上界首次在1978年以来得到改进；在二进制码和球面码方面实现了指数级改进；构造出明确的非sofic群，推翻了相关猜想；反驳了Connes刚性猜想，表明不同群可能对应同一冯·诺依曼代数；在算术电路复杂性方面给出了新的下界；证明了适用于一般双人量子博弈的指数级并行重复定理；证明了最近向量问题具有多项式因子的近似困难性；确定了Ehrhart体积猜想的最大体积；给出了多色三角形拉姆齐数的超指数下界，解决了厄尔多什第183号问题；以及在极值图论的紧致性猜想和退化性猜想上取得进展，解决了厄尔多什第146号和第180号问题。

OpenAI进一步解释，这些数学论证是由AI系统生成的，而公司则负责论文的整理和Lean形式化验证，并对结果的正确性承担责任。OpenAI鼓励数学界对这些成果进行检验和深入研究，并指出AI系统在数学研究中的角色正在引发新的探讨。

总而言之，Astra模型在多个长期未解的数学难题上取得的10项新成果，充分展示了其在科研领域的强大潜力。它不仅能处理现有知识，还能深入参与到解法探索、数学论证生成和形式化验证等核心科研环节。这些成果的跨领域潜力令人瞩目，但仍需数学界的进一步审视和评估。开云APP的引入，也为用户提供了便捷的资讯获取渠道，关注着Astra在科学领域的未来发展。