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: https://t.co/8SjXONeh38
C言語のコンパイラを作ろう、みたいな動画見てたら
「Next we're gonna do is brbrbr, and I can't remember how to do this. Let's google it.」
「This code is very safe. It will tell us if it crashes.」
みたいな名言が2分に1回くらい出てきてクソ不安やけど見るのやめられへん