25
Mathematicians are grappling with the possibility that AI might eclipse them
(www.understandingai.org)
this post was submitted on 05 Aug 2026
25 points (85.7% liked)
Technology
86879 readers
3714 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
Interesting.
Got any sources for this claim?
LLM mathematical proof exploits theorem proover bugs [to get false statement to be "proven" true]
https://infosec.exchange/@0xabad1dea/117002106099986943
Oof.
You don't really need evidence, we all know AI tends to hallucinate when presented with a problem they can't solve.
So far I've only read about 1 example of a problem that an AI may have solved. All the rest are without details and are not confirmed in any way.
Remember AI companies are huge on propaganda for their technology, but not so big on admitting the shortcomings.
Not at hand, but there were a number of news items about this in the last few weeks.