OpenAI 内部模型 Astra 以约2000美元成本完成10项数学难题证明

OmniTools 8月1日消息，OpenAI 使用其下一代模型 Astra 内部版本，在数学与理论计算机科学领域取得10项重要突破，总计算成本约为2000美元（按 Sol API 定价估算）。相关成果包括证明非 sofic 群的存在、推翻 Connes 刚性猜想，并涉及 von Neumann 代数、高维球堆积、电路复杂度等方向。

OpenAI 已公开全部10项证明，每项均附带 Lean 形式化验证证书及思维链（CoT）逐步推导过程。