Replying to @⁨Mustachius_Grumpius@thelemmy.club⁩

But for all the slop and uncertainty, the overarching consensus is that the release contains some genuinely impressive work. While stressing the difficulties assessing the volume of material — and the need to properly verify the results — numerous researchers The Verge spoke to said the work appeared to be of a very high caliber, despite shortcomings in its presentation. In a pre-AI world, they said, many of OpenAI’s results would clearly have warranted publication in top-tier journals and could have been enough to secure an academic career for their authors. A handful were described as being the kind of work that could make a mathematician a serious contender for a Fields Medal, one of the discipline’s highest honors.

While some of it is slop, there appear to be genuine gems in there.

I feel like most of the commentors here didn’t even bother reading the article. It’s insane how so many of the mathematicians cited in the article are excited or anxious about developments, and most of the people in here are just declaring more AI slop.

Replying to @⁨AwesomeLowlander@sh.itjust.works⁩

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.

en