# OpenAI Astra 模型攻克多项数学难题

- 来源：Chubby♨️ (@kimmonismus)
- 发布时间：2026-08-02 03:55
- AIHOT 分数：34
- AIHOT 链接：https://aihot.virxact.com/items/cmsaspgd202c1romzhmusrgdd
- 原文链接：https://x.com/kimmonismus/status/2083642907416817765

## AI 摘要

OpenAI 称其未发布的 Astra 模型（或为 GPT-6）在数学、量子复杂性和理论计算机科学领域取得十项突破，包括首次构造显式非 sofic 群、证伪 Connes 刚性猜想等。核心论证由 Astra 生成，并在 Lean 中形式化证明，附带 249 页手稿，单次成功运行 token 成本仅约 $2,000。科学推理正以远超预期的速度成为模型真实能力。

## 正文

Many people outside our AI community have absolutely no idea what's happening right now. I keep thinking about Demi Hassabi's words that we're entering the golden age of science. This is proof of his prediction.

What will this affect？ Everything. Materials research， energy production， drug discovery.

Everything.

I don't want to get too caught up in the hype. But the fact that we could seriously cure every form of cancer， if not stop aging， at least double the normal rate， gain access to new energy sources， and so on， excites me.

### 引用推文

> Chubby♨️：HOLY: OpenAI says its *unreleased* Astra model (GPT6?) produced ten advances on long-standing open problems across mathematics, quantum complexity and theoretic...