# GPT 5.6 Sol 数学零失误，Astra 证明 10 项新定理

- 来源：Emad (@EMostaque)
- 发布时间：2026-08-01 18:58
- AIHOT 分数：61
- AIHOT 链接：https://aihot.virxact.com/items/cmsabef2m00fjrob33ga27jx7
- 原文链接：https://x.com/EMostaque/status/2083507693189276130

## AI 摘要

Emad Mostaque 称 GPT 5.6 Sol 是首个在数学上不犯错、无需人工输入的模型。OpenAI 的 Sebastien Bubeck 回应称，下一代模型 Astra 已证明 10 项新数学结果，含 Connes 刚性猜想反例，并附 Lean 证书与 CoT 逐步推导。

## 正文

No human input， channeling the latent space of the new models.

GPT 5.6 Sol is probably the first model I've used that doesn't make mistakes on maths.

As we move to Astra &amp； beyond I don't know how humans can keep up on math.

Any pure research program is a harness loop away.

### 引用推文

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