Here’s a github tracking AI contributions to Erdos problems: https://github.com/teorth/erdosproblems/wiki/AI-contributions-to-Erdős-problems
You must log in or register to comment.
- dhork@lemmy.worldEnglish4 hours
“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.worldEnglish2 hours
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.
- d00ery@lemmy.worldEnglish4 hours
Lol, capitalism & CEO rule 1: only think about the next quarter profits, fuck the future, I’ve already made my money
- cecilkorik@piefed.caEnglish1 hour
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.
- soratoyuki@piefed.socialEnglish2 hours
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.worldEnglish2 hours
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.
- soratoyuki@piefed.socialEnglish43 minutes
Not disagreeing at all. The mass unemployment of a bunch of industries is terrible. I’m just saying the other side of the coin is also terrible, that we’re heading towards a world where humans have lost the ability to perform important skills to (potentially hostile) chatbots (owned by billionaires) that we won’t be able to properly manage or oversee. That’s the flip side of most ‘positive’ AI stories: ‘AI is better at detecting early breast cancer… And the doctors that use AI have gotten worse because of it.’
- Zwuzelmaus@feddit.orgEnglish4 hours
If you have your steak a little burnt already, then you can’t fix that with more heat.
- hume_lemmy@lemmy.caEnglish3 hours
That’s when you ask chatgpt how to un-burn the steak! It probably involves glue, or perhaps sunblock.
2 hours“A little bleach will take that char right off — and gives the steak a bold, vibrant flavor as well!”
- 3 hours
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.worldEnglish2 hours
Yeah, but your calculator does math the same way every time, and doesn’t hallucinate wrong answers seemingly at random.
- Yaky@slrpnk.netEnglish4 hours
This reminds me of a story my graph theory professor told me (long before LLMs). One of their grad students discovered that a subset of graphs that are of type A and B at once has fantastic properties, such as fast searching, and a few others, useful in communication networks etc.
Excited about their potential thesis, student asked the professor to take a look. After calculating which graphs actually are types A and B at the same time, professor found that the intersection of such graph types is a null set. So the theoretically nice graphs the student “discovered” simply do not exist.
Easy to be surprised when you don’t know how the magic box works. Basically magic.
