OpenAI Astra 以约2000美元证明10项数学难题
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 刚性猜想的反证),到高维球堆积的更好界、电路复杂度、多色…