# OpenAI Astra 以约2000美元证明10项数学难题

- 来源：Greg Brockman (@gdb)
- 发布时间：2026-08-01 15:39
- AIHOT 分数：70
- AIHOT 标记：精选
- AIHOT 链接：https://aihot.news/items/cmsa302cc01xaro41omun2e1h
- 原文链接：https://x.com/gdb/status/2083457463337287721

## 精选理由

OpenAI用内部Astra模型证明了10个重要数学猜想，成本才2000美元，这比论文本身更值得关注，理论领域可能从纯人力变成AI驱动的研究范式。

## AI 摘要

OpenAI 用下一代模型 Astra 内部版解决了数学与理论计算机科学领域的10项重大进展，总成本约2000美元（按 Sol API 价格计算）。Astra 证明了非 sofic 群的存在，并推翻 Connes 刚性猜想，成果涵盖 von Neumann 代数、高维球堆积、电路复杂度等。OpenAI 已发布全部10项证明，附 Lean 证书与 CoT 逐步推导。

## 正文

数学与理论计算机科学领域的十项重大进展。

这些问题是通过我们下一代主要模型的内部版本 Astra 解决的，按 Sol API 价格计算，总成本约为 2000 美元。

### 引用推文

> Sebastien Bubeck：是的，非软性群确实存在：这一论断是 Astra（我们的下一代重大模型）证明的众多全新优美成果之一。 我们将发布 10 个此类 Astra 证明，每个都附带完整的 Lean 证书和链式推理（CoT）逐步讲解。这些成果涵盖范围广泛，从冯·诺依曼代数（对 Connes 刚性猜想的反证），到高维球堆积的更好界、电路复杂度、多色...