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
Grothendieck was anti-slop but most papers are slop.
I don't think AI is going to rewrite bourbaki anytime soon
Scholze's math is definitely not slop.
But you're taking two of the best mathematicians of the last century against my claim about averages