✓ 免费账号就能用：收藏文章 · 阅读进度跨设备同步✓ 以后购买会员，权益自动挂到这个账号上
OpenAI 披露下一代模型 Astra，其内部版本一次性给出 10 项数学与理论计算机科学新成果，全部附 Lean 形式化证明，按 Sol API 计价总成本约 2000 美元。我们回读了 249 页论文和官方说明，把「这到底意味着什么」讲清楚。