# OpenAI Astra 证明非 sofic 群存在等 10 项数学成果

- 来源：elvis (@omarsar0)
- 发布时间：2026-08-02 00:41
- AIHOT 分数：53
- AIHOT 链接：https://aihot.virxact.com/items/cmsam82ly02hirodmzjns5fyk
- 原文链接：https://x.com/omarsar0/status/2083594042026151970

## AI 摘要

OpenAI 下一代模型 Astra 证明了非 sofic 群存在等多项新数学结果，并发布 10 项完整证明，每项均附带 Lean 证书和 CoT 逐步推演。成果涵盖 von Neumann 代数（推翻 Connes 刚性猜想）、高维球堆积、电路复杂度和多色图单色三角形等方向。

## 正文

do you all feel that liftoff？ being an independent researcher make me feel extremely excited for the future of ai-powered scientific discovery

### 引用推文

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