this post was submitted on 27 Apr 2026
53 points (76.8% liked)

Technology

84166 readers
2451 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
[–] dhork@lemmy.world 139 points 1 day ago* (last edited 1 day ago) (28 children)

“The raw output of ChatGPT’s proof was actually quite poor. So it required an expert to kind of sift through and actually understand what it was trying to say,” Lichtman says. But now he and Tao have shortened the proof so that it better distills the LLM’s key insight.

This tracks with what I have seen regarding AI. It looks superficially awesome, but when you start to analyze its output it has a lot of holes that require someone trained in the art to fix. You know, someone with years of experience, and who got that experience without the benefit of AI shortcuts.

What happens 10 or 15 years from now, when all the current crop of experts are retired and all the experts who could have curated the AI output had to spend all that time as baristas instead because the AI took all of their entry level jobs?

[–] nymnympseudonym@piefed.social -2 points 22 hours ago (1 children)

My grandpa said using a calculator would spoil my math abilities.

Actually it spoiled my arithmetic tricks. Instead I had more time to learn things like vector calculus.

[–] dhork@lemmy.world 19 points 22 hours ago* (last edited 22 hours ago)

Yeah, but your calculator does math the same way every time, and doesn't hallucinate wrong answers seemingly at random.

load more comments (26 replies)