OpenAI攻克十大数学难题OpenAI宣布，其下一代模型Astra，在数学与理

2026-08-03 16:01:14 馍兽科技

OpenAI攻克十大数学难题OpenAI宣布，其下一代模型Astra，在数学与理论计算机科学领域取得了 10 项重要进展。这些问题此前至少 10 年，部分长达近 30 年，没有实质性核心进展。

这些成果由Astra生成论证，人类研究人员协助整理成论文，模型再将每项证明形式化为可机械验证的 Lean 4 证书。按 Sol API 费率估算，找到这些解决方案的总 token 成本约 2000 美元。