this post was submitted on 27 Sep 2025
523 points (98.2% liked)

Technology

75551 readers
1919 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 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
[–] iopq@lemmy.world -2 points 18 hours ago (1 children)

A Math PhD will eventually make a simple arithmetic mistake if you ask them to do enough problems. That doesn't invalidate more difficult proofs they have published in papers

[–] UnderpantsWeevil@lemmy.world 6 points 18 hours ago (1 children)

A Math PhD will eventually make a simple arithmetic mistake if you ask them to do enough problems.

Which is why we don't designate a single Math PhD as a definitive source for all mathematical wisdom.

That doesn’t invalidate more difficult proofs

If I'm handed a proof with a simple arithmetic mistake in the logic, that absolutely invalidates it

[–] iopq@lemmy.world 0 points 10 hours ago (1 children)

But you didn't say that. You said you can't trust something that makes basic mistakes. Humans make them all the time. You can't trust any human?

[–] UnderpantsWeevil@lemmy.world 2 points 2 hours ago

Beginning to think I'm arguing with a bot