74
‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop
(www.theverge.com)
this post was submitted on 09 Oct 2026
74 points (85.6% liked)
Technology
88803 readers
3716 users here now
This is a most excellent place for technology news and articles.
Our Rules
- Follow the lemmy.world rules.
- Only tech related news or articles.
- Be excellent to each other!
- Mod approved content bots can post up to 10 articles per day.
- Threads asking for personal tech support may be deleted.
- Politics threads may be removed.
- No memes allowed as posts, OK to post as comments.
- Only approved bots from the list below, this includes using AI responses and summaries. To ask if your bot can be added please contact a mod.
- Check for duplicates before posting, duplicates may be removed
- Accounts 7 days and younger will have their posts automatically removed.
Approved Bots
founded 3 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
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.
The point is, there are plenty of mathematicians who have looked at some of the output and been impressed by it. Contrast that with the comments in here that are almost universally negative. One might think there was an unreasonable bias in our little echo chamber.