#AI 科研

OpenAI Astra：2000 美元攻克 10 道十年未解数学难题

OpenAI 披露下一代模型 Astra，其内部版本一次性给出 10 项数学与理论计算机科学新成果，全部附 Lean 形式化证明，按 Sol API 计价总成本约 2000 美元。我们回读了 249 页论文和官方说明，把「这到底意味着什么」讲清楚。