Agreed, but tbh even after reading the article I’m left scratching my head about the exact type of journalism on display here. The Verge is just going around eliciting hot takes from mathematicians who are completely overwhelmed with this drop - only 40% formalized in Lean and three retractions in only a few days.
The math community doesn’t know what to make of it, the verge doesn’t either but they feel the need to report something… so they’re pressuring for comments when the only reasonable thing to do is to keep your head down and read more until you parse wtf it is this unknown model with an unknown prompt produced for an unknown field of mathematics with almost no apparent explanation or fleshed out ideas on how this could apply to current knowledge or problems.
So calling it slop, at least for the time being seems at least somewhat reasonable. Though some claimed that there were 10s of interesting papers among the 700.
Are you claiming the corn would still be sweet? Citation needed.