OpenAI官宣下一代模型Astra！取得10大未解难题突破，附249页论文

智东西 编译 | 杨京丽 编辑 | 李水青 智东西8月2日消息，今天凌晨，OpenAI披露 下一代模型Astra ，并公布其内部版本取得的 10项数学与理论计算机科学新成果 ，涉及高维几何、编码理论、群论、算术电路复杂性、量子复杂性、格密码学和极值组合学等方向。 此次公布的成果集中展示了Astra探索前沿科研问题的能力。相关问题均已 开放至少10年 ，且核心结论长期没有进展，多数问题的研究历史更为悠久。OpenAI借助同一模型将论证整理成 249页论文 ，另附一份 62页 的解题思路说明。按照Sol API费率计算，模型寻找这些解法所需的Token总成本约为 2000美元（约合人民币13500元） 。 在OpenAI正式公布这些成果前，Astra已经进入美国政策制定者的视野。昨日，据The Information报道，OpenAI CEO萨姆·奥尔特曼（Sam Altman）本周在美国华盛顿向包括白宫官员、内阁成员和国会议员在内的政策制定者 预览了Astra 。 值得注意的是，这并非OpenAI首次公布由AI参与解决数学难题。今年5月，OpenAI曾公开一项由AI发现的厄尔多什单位距离猜想反例。该结果由一款尚未发布的模型在评估期间发现，并已推动数学与理论计算机科学领域的多项后续研究。 论文链接： https://cdn.openai.com/pdf/ten-proofs-oai.pdf Lean证书链接： https://github.com/openai/ten-proofs 模型解题思路： https://cdn.openai.com/pdf/reasoning-walkt