# OpenAI Astra 证明 10 项数学新成果

- 来源：Dongxi 东锡 NLP (@dongxi_nlp)
- 发布时间：2026-08-02 04:58
- AIHOT 分数：51
- AIHOT 链接：https://aihot.virxact.com/items/cmsawuf3b05a8romzl47kpt5k
- 原文链接：https://x.com/dongxi_nlp/status/2083658725558976619

## AI 摘要

OpenAI 下一代模型 Astra 证明了 10 项数学新成果，包括非 sofic 群的存在性及对 Connes 刚性猜想的反驳。每个证明均附带 Lean 证书和 CoT 推理过程。主推文强调人类提问与审视、AI 大规模探索的协作模式，或将成为各专业领域的未来。

## 正文

Humans frame the questions， scrutinize the answers， and give discoveries meaning.

AI explores possibilities at extraordinary scale.

This could be the future of every field of expertise， shaped by deeper collaboration between human and AI.

### 引用推文

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