# OpenAI Astra 内部版解决 10 大数学难题

- 来源：Karina (@karinanguyen)
- 发布时间：2026-08-02 01:17
- AIHOT 分数：57
- AIHOT 链接：https://aihot.news/items/cmsan4vl602x0rodmtae584ei
- 原文链接：https://x.com/karinanguyen/status/2083603084421587148

## AI 摘要

OpenAI 下一代模型家族 Astra 的内部版本解决了数学、量子复杂性和理论计算机科学领域的 10 个重大开放问题，被视为科学推理的重大进步。主推文指出，找到这 10 个解仅花费约 $2k 推理成本，并对比人类数学家受限于微小搜索预算，而模型可并行保留数千条低概率路径直至产出证明。

## 正文

o1-preview was released 1 year 10 months ago btw. makes me think the lifespan of some open problems is partly a function of compute. the important detail here is that finding these ten solutions took roughly $2k of inference.

human mathematicians have always worked under tiny search budgets, forcing them to discard unlikely directions early. models can keep thousands of low-probability paths alive until one yields a proof or insight. as compute scales, the set of economically discoverable ideas expands.

### 引用推文

> 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...