331
OpenAI Is Pissing Off a Bunch of Mathematicians—Again
(www.wired.com)
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 07 Oct 2026
331 points (97.7% liked)
Technology
88734 readers
2957 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
Hinestly, AI can be a great tool to further evolve mathematics,but you still have to understand every gory detail it did to solve the problem. If you can't do that, it's not solved.
Also all ML models have some accuracy less than 100%, that means you can’t trust it. The whole point in the proof is perfection
The proofs are written in Lean so, like in all mathematics, you don't have to trust the person because you can independently verify the proof.
That's not how Lean works.