# OpenAI Astra 内部版攻克 10 大数学难题

- 来源：Noam Brown (@polynoamial)
- 发布时间：2026-08-01 16:32
- AIHOT 分数：72
- AIHOT 链接：https://aihot.news/items/cmsa52gli00sorox0e2w8crvj
- 原文链接：https://x.com/polynoamial/status/2083470822258467194

## 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!

### 引用推文

> Noam Brown：An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer scie...