Comment by vatsachak

10 hours ago

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

With your understanding of mathematical "slop", do you believe that Deligne and Scholze, two signatories, produced or produce mathematical slop?

  • Grothendieck accused Deligne of "slop" with his proof of the weil conjecture.

    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