Earlier quoted context omitted.
"our new grad student made progress on the combinatorics problem we posed!" "oh awesome let's see if he can solve p!=np!"
Yes, too many people here do not understand the distance between the problems the article is discussing (and LLMs have solved) and the big problems in math and CS.
Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
171–180 of 208 posts
Re: Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
#172I've always said this but AI will win a fields medal before being able to manage a McDonald's. Math seems difficult to us because it's like using a hammer (the brain) to twist in a screw (math). LLMs are discovering a lot of new math because they are great at low depth high breadth situations. I predict that in the future people will ditch LLMs in favor of AlphaGo style RL done on Lean syntax trees. These should be a…
And if we can train the systems to discover new tricks, whoa Nelly.
Re: Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
#173Earlier quoted context omitted.
Throughout human history that didn’t happen fast enough to avoid an astonishing amount of human misery. Nobody’s worried about the future of work. They’re worried about the people that rely on tech jobs for food, mortgage/rent, cancer treatments, elder care, retirement, et al. Look at what happened to the rust belt, coal country, etc. etc. etc.
I agree with you, IMO largely this is an affordability crisis though, which is fuelled by inflation. I don't really offer many solutions besides eliminating inflation. I apologise if that is insufficient (it is).
Re: Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
#174Re: Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
#175Re: Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
#176Earlier quoted context omitted.
This is truly amazing. Do people not really realize how amazing stuff like this is? I feel like I'm taking crazy pills here, but man, it certainly feels like we're on the edge of something quite amazing...
Autonomous robots murdering humans in warfare? That's at least the sense i got from reading this news site the past few days
Re: Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
#177Earlier quoted context omitted.
That just takes you back to the debate about the code being the spec.
The code lets you shoot yourself in the foot in a lot more ways than a spec does, though. Few people would make specs that include buffer overflows or SQL injection.
Re: Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
#178Earlier quoted context omitted.
In the grand scheme it's good to invent things that replace human labor. It frees up people to do more interesting things. The goal should be to put everyone out of a job.
> The goal should be to put everyone out of a job. Yeah, but why does it need to take the fun jobs first, like painting, writing poems, coding, making music, ... I want the AI to cook, do the dishes, take out the trash, etc.
Re: Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
#179Earlier quoted context omitted.
This is truly amazing. Do people not really realize how amazing stuff like this is? I feel like I'm taking crazy pills here, but man, it certainly feels like we're on the edge of something quite amazing...
Autonomous robots murdering humans in warfare? That's at least the sense i got from reading this news site the past few days