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

Technology

84146 readers
2920 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
 

Here's a github tracking AI contributions to Erdos problems: https://github.com/teorth/erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems

you are viewing a single comment's thread
view the rest of the comments
[–] dhork@lemmy.world 87 points 3 hours ago* (last edited 3 hours ago) (6 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?

[–] rozodru@piefed.world 12 points 1 hour ago (1 children)

It's already happening. I'm looking to "retire" this year (which essentially means I'm just quitting this bullshit, I can't deal with it anymore.) I've been doing consultation/contracting dev work for the past several years and about 2 years ago I pivoted from that to essentially doing code review for AI slop for my various clients. It's always the same song and dance of "this is why your new fancy AI produced crap doesn't scale, this is why there are exploits, this is how you fix it with real devs, yadda yadda yadda". I was naive and hoped I could make a difference by hoping these startups and small tech houses would get the picture and pivot back to utilizing actual devs. hire people back and what have you. But none of them have. So I'm getting paid and wasting my time talking to CTOs and upper managers and I might as well be talking to a brick wall. they're all going to continue to ride this AI train until the wheels come off and even when the carriage is missing all the wheels they'll try to push it along down the tracks.

it's hopeless. I've given up. I know it's not something unemployed or under-employed devs want to hear but this is the conclusion I've come to within the past couple months. I hate this industry now. absolutely hate it. I might just focus on FOSS stuff, contribute to random projects or start maintaining some and call it a day. but the passion for coding and anything tech related has been sucked dry from me thanks to LLM's and AI.

[–] dhork@lemmy.world 6 points 1 hour ago

I would just keep cashing those checks....

[–] cecilkorik@piefed.ca 1 points 38 minutes ago

Also there's a "thousand monkeys at a thousand typewriters" effect going on, but what people neglect to notice is that each of the thousand AI monkeys is (either out of necessity or mere curiosity) currently being supervised and edited by a brilliant mathematician who would otherwise be working on their own proofs and discoveries right now. And sure enough, one team might actually come up with a genuine shakespeare-quality draft eventually, but even if that is the case, you also have to consider the opportunity cost of having 1,000 brilliant mathematicians focusing on reviewing monkey-typewriter output instead of each working on their own groundbreaking work much more slowly and "traditionally". The work being delegated to AI isn't replacing human work, it's overriding it.

I don't know if all this AI work is a completely net-unproductive and worthless endeavour or not, but I do know we're not doing an honest accounting and AI companies have a huge incentive to cook the books to make it look way more productive than it actually is.

[–] d00ery@lemmy.world 28 points 3 hours ago

Lol, capitalism & CEO rule 1: only think about the next quarter profits, fuck the future, I've already made my money

[–] soratoyuki@piefed.social 5 points 1 hour ago (1 children)

Not just that the next generation of experts will hypothetically be employed as baristas, but I don't think people take the risk of deskilling enough. The next generation of would-be experts won't be as good at whatever because they've learned to rely on AI. We risk effectively transferring valuable skills from humans to Musk- or Altman-owned chatbots. That should horrify everyone.

[–] dhork@lemmy.world 2 points 1 hour ago

Ok, maybe not literally baristas. But my point is that the next generation of experts simply will not exist, because all the entry level jobs are evaporating. All of them. Just ask any group of college graduates with a tech degree about how hard the job market is right now.

[–] Lexam@lemmy.world 21 points 3 hours ago (1 children)

Why didn't they just ask ChatGPT to summarize it for them? /s

[–] Zwuzelmaus@feddit.org 9 points 3 hours ago (2 children)

If you have your steak a little burnt already, then you can't fix that with more heat.

[–] Lexam@lemmy.world 8 points 2 hours ago

I see you too have eaten my father in law's steaks.

[–] hume_lemmy@lemmy.ca 6 points 2 hours ago (1 children)

That's when you ask chatgpt how to un-burn the steak! It probably involves glue, or perhaps sunblock.

[–] edgemaster72@lemmy.world 1 points 1 hour ago* (last edited 1 hour ago)

"A little bleach will take that char right off


and gives the steak a bold, vibrant flavor as well!"

[–] nymnympseudonym@piefed.social 1 points 2 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 11 points 1 hour ago* (last edited 1 hour ago)

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