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

OpenAI 内部模型 Astra 据称以约2000美元的API成本解决了10项数学与理论计算机科学重大问题，包括推翻 Connes 刚性猜想、证明非 sofic 群存在。全部10项证明已附 Lean 证书和 CoT 推导过程发布。