Comment by 3ee3

People need to separate out the alien intelligence vs human intelligence.

Its easy to demonstrate this: The math hysteria passes Lean but no human can make sense of it at present. This is akin to bots telling humans where to dig. Thats fine but lets be clear about whats going on.