精选理由
OpenAI用内部Astra模型证明了10个重要数学猜想，成本才2000美元，这比论文本身更值得关注，理论领域可能从纯人力变成AI驱动的研究范式。
AI 摘要
OpenAI 用下一代模型 Astra 内部版解决了数学与理论计算机科学领域的10项重大进展，总成本约2000美元（按 Sol API 价格计算）。Astra 证明了非 sofic 群的存在，并推翻 Connes 刚性猜想，成果涵盖 von Neumann 代数、高维球堆积、电路复杂度等。OpenAI 已发布全部10项证明，附 Lean 证书与 CoT 逐步推导。
正文 · AI 翻译
数学与理论计算机科学领域的十项重大进展。
这些问题是通过我们下一代主要模型的内部版本 Astra 解决的，按 Sol API 价格计算，总成本约为 2000 美元。
### 引用推文
> Sebastien Bubeck：是的,非软性群确实存在:这一论断是 Astra(我们的下一代重大模型)证明的众多全新优美成果之一。 我们将发布 10 个此类 Astra 证明,每个都附带完整的 Lean 证书和链式推理(CoT)逐步讲解。这些成果涵盖范围广泛,从冯·诺依曼代数(对 Connes 刚性猜想的反证),到高维球堆积的更好界、电路复杂度、多色...
原文
Original Title
ten significant advances in mathematics and theoretical computer science. solved using an internal …
Source
Greg Brockman (@gdb)
Site
x.com
Published
2026-08-01 15:39