X · @sama
· X / Twitter
RT Sebastien Bubeck: yes, nonsofic groups exist: this statement is one of many new beautiful results proved by Astra, our next major model. We're rele…
RT Sebastien Bubeckyes, 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 Conne