Noam Brown· @polynoamial · X·· 2026-08-01AI 评分72
AI 导读
OpenAI 下一代模型家族 Astra 的内部版本解决了数学、量子复杂性和理论计算机科学领域的 10 个重大开放问题，被视为科学推理的重大进步。生成全部 10 项突破证明的总成本在 Sol API 价格下不足 2,000 美元。OpenAI 期待即将推出的 Astra 模型能助力科学家与研究人员。
正文 · 原文
The cost of generating the proofs for all 10 of these breakthroughs combined was under $2,000 at Sol API prices. We’re excited to see what scientists and researchers are able to create with our upcoming Astra models!
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science. We believe it will be a major step for scientific reasoning. https://openai.com/index/ten-advances-in-mathematics/在 X 查看被引用的帖子
来源：Noam Brown · x.com