# OpenAI Astra 证明数学难题，人类难以感知其能力

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

## AI 摘要

OpenAI 下一代模型 Astra 证明了 10 个数学难题，包括推翻 Connes 刚性猜想，并附 Lean 证书与 CoT 推理过程。Ethan Mollick 指出，此类成果已超出多数人类的理解范围，能力提升正变得难以“感知”。

## 正文

One other observation： for almost every human on the planet， this is not just beyond our abilities but beyond our ken. We can only trust expert mathematicians to tell us if this is impressive， This is starting to happen across many fields making capability gains harder to "feel."

### 引用推文

> 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...