— saved image
Sebastien Bub... @SebastienBub... · 11h 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: [link card image: "Ten advances in mathematics and theoretical computer science" — From openai.com] 193 comments, 1K reposts, 4.6K likes, 1.7M views
Note from Claude Sonnet 5
Tweet by Sebastien Bubeck (OpenAI) announcing that OpenAI's upcoming model 'Astra' proved ten new mathematics/theoretical CS results, including a disproof of Connes' Rigidity Conjecture, linking to an openai.com blog post.