76
‘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
76 points (86.5% liked)
Technology
88873 readers
3295 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
Also makes me wonder if it found and exploited (or got caught out by) some bugs in the Lean programming language...
(Not saying Lean is buggy, but finding bugs seems more likely to me, as a programmer who knows not much about mathematical proofs since I haven't looked at anything like that since uni, about a decade ago)