Grothendieck was anti-slop but most papers are slop.
I don't think AI is going to rewrite bourbaki anytime soon
reply
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
Grothendieck was anti-slop but most papers are slop.
I don't think AI is going to rewrite bourbaki anytime soon