Live data from Hacker News

Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem

twitter.com

171–180 of 208 posts

Re: Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem

#171

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.

[deleted]

Re: Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem

#172

I'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…

> Any professional mathematician will tell you that their arsenal is ~ 10 tricks. If we can codify those tricks as latent vectors it's GG

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

#173

Earlier 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).

Don’t apologize — stop minimizing the job market concerns by saying “there will be new jobs” as if that’s imminent.

Re: Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem

#176
post #52

Earlier 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

[flagged]

Re: Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem

#177

Earlier 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.

"and don't have any security vulnerabilities" isn't a spec though. As soon as you get specific you're right back in it.

Re: Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem

#178
post #35
post #21

Earlier 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.

I'm not sure cooking is a good example as it is fun, and also automated in many ways

Re: Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem

#179
post #52

Earlier 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

You got that from assembling whatever the hell was in the video?
Post reply on HN