# OpenAI Astra 数学突破：10 项证明发布

- 来源：Ethan Mollick (@emollick)
- 发布时间：2026-08-01 22:24
- AIHOT 分数：47
- AIHOT 链接：https://aihot.virxact.com/items/cmsagwix4058xrob3x6syj7qc
- 原文链接：https://x.com/emollick/status/2083559601312505863

## AI 摘要

OpenAI 下一代模型 Astra 证明了多个新数学结果，包括推翻 Connes 刚性猜想，并发布 10 项带 Lean 证书和 CoT 推理的证明。Ethan Mollick 指出，AI 数学能力两年内从基础运算跃升至前沿研究，且单次成本不到 2000 美元。OpenAI 正侧重宣传新模型的实际益处。

## 正文

Some things to note：
1） AI is getting very good at math and science.
2） Two years ago LLMs could not do basic math consistently
3） According to @polynoamial this cost less than $2000 in current API coats
4） OpenAI is focusing on announcing benefits， not just risks， of new models

### 引用推文

> Sebastien Bubeck：yes, nonsofic groups exist: this statement is one of many new beautiful results proved by Astra, our next major model. We're releasing 10 such Astra proofs, com...