Twitter/X

On 2026-08-01, Dorialexander reposted Sebastien Bubeck's announcement and called…

2026-08-01 · 09:14 UTC ·@Dorialexander ·1 min read

Brief

Dorialexander amplifies Sebastien Bubeck's August 1, 2026 announcement that OpenAI's Astra produced 10 major proofs — including a claimed existence proof for nonsofic groups and a disproof of Connes' Rigidity Conjecture — and that OpenAI will publish lean certificates and chain‑of‑thought walkthroughs for each result spanning geometry, complexity, and graph theory.

Why it matters

On 2026-08-01, Dorialexander reposted Sebastien Bubeck's announcement and called it a "turning point where models start to meaningfully contribute to Wikipedia."

Key details

  • Sebastien Bubeck announced that OpenAI's Astra model proved that nonsofic groups exist — one of 10 new mathematical/theoretical-CS results attributed to Astra.
  • OpenAI is releasing all 10 Astra proofs with lean certificates and chain‑of‑thought (CoT) walkthroughs; claimed results include a disproof of Connes' Rigidity Conjecture (von Neumann algebras), improved high‑dimensional sphere‑packing bounds, new circuit complexity bounds, and bounds on monochromatic triangles in multicolored graphs.
Source evidence

Turning point where models start to meaningfully contribute to Wikipedia.

Sebastien Bubeck (@SebastienBubeck)

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, complete with lean certificates and CoT walkthroughs for each of them. The results are wide-ranging, from von Neumann algebras (disproof of Connes' Rigidity Conjecture) to better bounds for high dimensional sphere packing, for circuit complexity, for monochromatic triangles in multicolored graphs, and more.

More thoughts here: openai.com/index/ten-advance…

Link

Ten advances in mathematics and theoretical computer science

OpenAI shares new results on long-standing open problems in mathematics and theoretical computer science, including advances in geometry, cryptography, and complexity.
openai.com

— https://nitter.net/SebastienBubeck/status/2083456300692979886#m