Exactly. Mathematicians are trying to cope that math wasn't slop this whole time.

Grothendieck was anti-slop but most papers are slop.

I don't think AI is going to rewrite bourbaki anytime soon