npub1j4…nt0rs on Nostr: That's what I had in mind. The key bit is that if our understandable human languages ...

That's what I had in mind. The key bit is that if our understandable human languages aren't moving up the complexity scale along with whatever it is we think we're representing about math, then "whatever it is we think we're representing about math" is as incomprehensible to us as "all of math". We don't have the language to express it, so it looks algorithmically random (i.e. incompressible)--even as we claim to have made an "automated mathematician" to produce math for us!