this post was submitted on 02 Aug 2026
13 points (62.3% liked)
Technology
87214 readers
4003 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
Depends how you define superintelligence, what I meant is a more specialized superintelligence than AGI. We already seen that with Go and Chess. But if AI overtakes humans in mathematics it takes on a different quality. But we will see. I doubt it stops here.
Yeah, the sauce is in the mystery math. See my other reply. You're making a category error.
My understanding was that any hitherto success of LLMs in mathematics was in its trying approaches and information from different fields where they weren't traditionally applied (within mathematics), they have surfaced potential links but haven't created anything in any real sense. Still, a potential legitimate use for them that I personally hadn't anticipated.
I mean that math is so far beyond me I have no clue if or how the proofs would "create anything" or lead to anything useful. I'm sure they do, besides adding a little bit to our civilization's knowledge.
I do suspect that LLMs think very "broadly" with a very broad knowledge but can't really reason very deep without training for a special problem. So rapidly trying different approaches does sound like how they do it. So maybe it is a little bit similar to a typing monkey except that it apparently did these proofs with a relatively limited budget.