**OpenAI用Astra模型解决十个十年未破的数学难题**

_Ten advances in mathematics and theoretical computer science_

> OpenAI发布论文称，使用内部版Astra模型（下一代主要模型）成功解决了十个在主要结果上停滞至少十年的数学问题，每个问题花费不到2000美元。研究团队开源了Lean 4形式化证明及论文，陶哲轩将此视为AI推动的'大数学'时代来临。

**来源信息**
- **来源**：Simon Willison 博客
- **分类**：ai-models
- **发布时间**：2026-08-02 04:34（北京时间）
- **原文**：[打开原文](https://simonwillison.net/2026/Aug/1/ten-advances-in-mathematics)