this post was submitted on 05 Aug 2026
33 points (69.4% liked)

Technology

87469 readers
3181 users here now

This is a most excellent place for technology news and articles.

Our Rules

  1. Follow the lemmy.world rules.
  2. Only tech related news or articles.
  3. Be excellent to each other!
  4. Mod approved content bots can post up to 10 articles per day.
  5. Threads asking for personal tech support may be deleted.
  6. Politics threads may be removed.
  7. No memes allowed as posts, OK to post as comments.
  8. 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.
  9. Check for duplicates before posting, duplicates may be removed
  10. Accounts 7 days and younger will have their posts automatically removed.

Approved Bots

founded 3 years ago
MODERATORS
L3s@lemmy.world
enu@lemmy.world
technopagan@lemmy.world
L4s@lemmy.world
L3s@hackingne.ws
33
Mathematicians are grappling with the possibility that AI might eclipse them (www.understandingai.org)
submitted 2 weeks ago by beep@piefed.world to c/technology@lemmy.world
46 comments fedilink hide all child comments
 

cross-posted from: https://piefed.world/c/tech/p/1309816/mathematicians-are-grappling-with-the-possibility-that-ai-might-eclipse-them

you are viewing a single comment's thread
view the rest of the comments
[–] ParlimentOfDoom@piefed.zip 10 points 2 weeks ago (3 children)

LLMs are notoriously bad at doing even the simplest math problems

[–] village604@adultswim.fan 5 points 2 weeks ago (2 children)

Finding a proof is different than solving a math problem.

[–] ParlimentOfDoom@piefed.zip 2 points 2 weeks ago (1 children)

You're right. The first is way harder and requires being able to do the second. Which it can't.

[–] 8baanknexer@lemmy.world 1 points 2 weeks ago

How so? Particularly in intuitionist logic it would seem to me that they are the same thing.

[–] PM_ME_VINTAGE_30S@anarchist.nexus 4 points 2 weeks ago

Your knowledge is out of date. For example, Claude runs a Linux container with Python and Sympy, so it absolutely can do a good chunk of math now. Still makes mistakes, but it's good enough to serve as a LaTeX assistant. Similarly for ChatGPT but crappier. If you have the computing power, I think you can also give a local LLM access to Python tools with OpenWebUI.

[–] untorquer@quokk.au 1 points 2 weeks ago

They can't even solve axioms, much less idioms