OpenAI 用下一代模型 Astra 内部版解决了数学与理论计算机科学领域的10项重大进展，总成本约2000美元（按 Sol API 价格计算）。Astra 证明了非 sofic 群的存在，并推翻 Connes 刚性猜想，成果涵盖 von Neumann 代数、高维球堆积、电路复杂度等。OpenAI 已发布全部10项证明，附 Lean 证书与 CoT 逐步推导。
查看原文：https://x.com/gdb/status/2083457463337287721
来源：X：Greg Brockman (@gdb)
未经允许不得转载：AI之家 » OpenAI Astra 以约2000美元证明10项数学难题
