> The model is us and it isn’t

which part isn't?

I agree with "the model is us" and I wish more people were critical of the "alien" nonsense - these proofs belong to humanity, the thinking that led to them is an extension of our thinking. we entered the era of machine assisted 100+ page proofs decades ago: I wonder how many living humans right now understand the full 20,000 page existence proof of the monster group for example