OpenAI发布Astra模型，连破十大数学未解之谜

AI寒武纪 · wechat · 2026-08-01

OpenAI正式宣布下一代模型Astra，并公布了其在数学与理论计算机科学领域的十大全新突破。这些成果攻克了包括高维球体堆积、康涅斯刚性猜想、量子平行重复等长达数十年未解的难题，总算力成本仅约2000美元。

整个研究流程极为高效：Astra负责生成数学论证，人类研究员辅助整理草稿，随后模型将论证转化为Lean代码进行形式化验证以确保严谨性。OpenAI不仅同步放出了模型的完整思考过程，还强调所有数学论证均由AI生成，人类仅协助准备手稿并承担责任。此举标志着AI正加速成为高级研究协作者，也引发了数学界关于成果归属与伦理的深刻反思。