OpenAI 新模型 Astra 连解 10 道数学难题，成本不到 2000 美元

OpenAI 公开下一代主力模型 Astra 内部测试版本的研究成果，一次性解决 10 项长期悬而未决的数学与理论计算机科学公开难题，全部证明通过 Lean 形式化工具机器验证，总成本不到 2000 美元。