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
One of the main fucking points of a mathematical proof is to be clear and convincing. If it is not convincing and reducible to simple steps, it's not a proof at all.
All a proof needs to do is logically derive the conclusion from the premises. Sure, there are qualities we like to see, but complexity is no disqualifier. These AI proofs are of course horrendous and need a lot of work, but even a bad proof can allow new work to continue on top of it.
There's difference between complexity and unreadability