One other observation： for almost every human on the planet， this is not just beyond our abilities but beyond our ken. We can only trust expert mathematicians to tell us if this is impressive， This is starting to happen across many fields making capability gains harder to "feel."
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...