# OpenAI的Astra模型解决10道长期未解数学难题并公开证明，据报计算成本仅2,000美元
> OpenAI公布了专为复杂长期任务设计的未发布模型Astra，此前一个内部版本解决了十道数十年悬而未决的数学和理论计算机科学难题并公开证明，福布斯报道的API调用计算成本约为2,000美元

**Meta:** type: event · date: 2026-08-02 · heads: 悄然的转变, 长远之局 · 3 takes · 3 lenses · 1 regions

## 摘要

[OpenAI](/zh/entity/openai)公布了一个名为Astra的模型，尚未公开发布。该模型的内部版本解决了十道在数学和理论计算机科学领域悬而未决数十年的难题，并公开了可验证的证明。福布斯报道计算成本约为2,000美元（API调用计费）。BleepingComputer报道称Astra专为处理复杂的长期自主任务而设计。发布时间为2026年8月2日。具体问题列表在报道时尚未公布。

## 各方分歧

三个消息源均为美国英语科技媒体。SiliconAngle将证明公开作为主要里程碑，将可验证的成果视为科学成就。BleepingComputer聚焦于模型发布及其架构用途，强调Astra尚未公开且专为长期任务执行而构建。福布斯则将故事框架定在计算成本上，以2,000美元为商业头条，暗示若Astra广泛部署，前沿数学研究的成本可能大幅下降。来自美国以外的报道未出现在信息流中，该故事被作为美国公司的产品发布处理，而非科研机构的发布。

## 数字速览

- 10道，Astra内部版本解决的数学和理论计算机科学难题数量
- 2,000美元，据福布斯报道用于解决这十道难题的API调用成本
- 数十年，部分难题在Astra内部运行之前悬而未决的时间

## 重要性

AI解决未解数学难题并以低计算成本公开证明，改变了正式数学研究的经济学。若Astra的表现可重复，则代表数学和计算机科学长期难题得以解决方式上的[悄然的转变](/zh/head/the-quiet-shift)，对密码学、算法设计和科学验证流程均有深远影响。2,000美元这一数字若属实，将远低于雇用人类研究团队完成同等工作的成本。

## 值得关注

- [OpenAI](/zh/entity/openai)是否会公布已解决的具体问题列表及证明的同行评审
- Astra何时公开发布，以及其访问和定价结构如何
- 已解决的十道难题中是否有任何一道在密码学或算法设计领域具有直接应用价值

## Regional takes (batched by bias / lens)

### Tech news service; leads with the proof publication as the key milestone, framing it as a scientific output rather than a product announcement
- **SiliconAngle** (United States, en) — SiliconAngle报道OpenAI的Astra解决了10道此前未解的数学难题并公开证明，将可验证证明的公开视为主要里程碑，而非模型本身的发布。
  > "OpenAI的Astra解决了10道长期未解的数学难题并公开了证明。"
  Source: https://siliconangle.com/2026/08/02/openais-astra-solves-10-long-open-math-problems-publishes-proofs/

### Cybersecurity and tech outlet; leads with the model reveal, emphasising that Astra is unreleased and was designed for complex, long-horizon autonomous tasks
- **BleepingComputer** (United States, en) — BleepingComputer报道OpenAI将Astra作为下一个主要AI模型发布，这是一个尚未公开的系统，专为自主处理复杂长期任务而设计，内部版本在公开发布前已在数学和理论计算机科学领域取得了10项重要进展。
  > "OpenAI发布了Astra，这是一个专为处理复杂、长期任务而设计的未公开模型，其内部版本已在数学和理论计算机科学领域取得了10项重要进展。"
  Source: https://www.bleepingcomputer.com/news/artificial-intelligence/openai-teases-astra-its-next-major-ai-model-after-it-solves-10-long-standing-math-problems/

### Business press; adds the cost angle, reporting the ten problems were solved for a reported US$2,000 in API calls, framing Astra's efficiency as the commercial story
- **Forbes** (United States, en) — 福布斯报道OpenAI的Astra以约2,000美元的API调用成本解决了十道悬而未决数十年的数学难题，将计算效率作为商业信号加以呈现。
  > "OpenAI的新Astra模型解决了十道长期未解的数学难题，其中部分已悬置数十年，据报成本仅需2,000美元的API调用费用。"
  Source: https://www.forbes.com/sites/jonmarkman/2026/08/03/openais-astra-solved-10-decades-old-math-problems-for-just-2000/

## Across the graph
- Related: [[openai-gpt56-public-launch-jul9]], [[eu-aiact-enforcement-0802]], [[openai-dossier]]
- Entities: Openai

---
Canonical: https://rbtfl.xyz/zh/n/openai-astra-math-0802