Super interesting but what does this mean for us mere mortals?
My understanding is that, if confirmed, this demonstrates that AI can find novel solutions. This is a strong counterpoint to generative-AI-is-strictly-limited-to-training-data.
[dead]
Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
11–20 of 208 posts
Re: Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
#12Super interesting but what does this mean for us mere mortals?
I got Claude to self reference and update its own instructions to solve making a typed proxy API of any website. After a week, scores of iterations, it can reverse engineer any website. The first few days I had to be deeply involved with each iteration loop. Domain knowledge is helpful. Each time I saw a problem I would ask Claude to update its instructions so it doesn't happen again. Then less and less. Eventually i…
> I went to the coffeeshop and drank very good coffee listening to music. Then at night I sat and had a beer thinking about T.S. Eliot's 'The Wasteland', the effect of industrialization in England at that time and his views of how ennui affected the aristocracy.
Well, for those among us that are not aristocracy already, except for the vanishingly small number of people required to oversee such processes, we’re probably the closest we’re going to get to it. If they don’t need people to do the tech labor, we’ve got way more people than we need, so that’s a huge oversupply of tech skills, which means tech skills are rapidly becoming worthless. Glad to see how fast we’re moving in our very own race to the bottom!
Re: Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
#13Super interesting but what does this mean for us mere mortals?
That llms in the middle of everything will continue until morale improve because llms can generate text on top of bullshit made up problems
Re: Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
#14Re: Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
#15Super interesting but what does this mean for us mere mortals?
I got Claude to self reference and update its own instructions to solve making a typed proxy API of any website. After a week, scores of iterations, it can reverse engineer any website. The first few days I had to be deeply involved with each iteration loop. Domain knowledge is helpful. Each time I saw a problem I would ask Claude to update its instructions so it doesn't happen again. Then less and less. Eventually i…
> I would go for a 2 or 3 hour walk with my phone using the remote control feature looking every 5 - 10 minutes to make sure it doesn't need human help.
That is a nightmarish scenario tbh
Re: Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
#16Earlier quoted context omitted.
I got Claude to self reference and update its own instructions to solve making a typed proxy API of any website. After a week, scores of iterations, it can reverse engineer any website. The first few days I had to be deeply involved with each iteration loop. Domain knowledge is helpful. Each time I saw a problem I would ask Claude to update its instructions so it doesn't happen again. Then less and less. Eventually i…
> I went to the coffeeshop and drank very good coffee listening to music. Then at night I sat and had a beer thinking about T.S. Eliot's 'The Wasteland', the effect of industrialization in England at that time and his views of how ennui affected the aristocracy. Well, for those among us that are not aristocracy already, except for the vanishingly small number of people required to oversee such processes, we’re probab…
I kind of feel like software engineers working on improving AI are traitors working against other SE’s trying to make a living.
However…
I have to acknowledge my craft of SE has been putting people out of work for decades. I myself came up with business process improvement that directly let the company release about 20 people. I did this twice.
So… fair play.
Re: Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
#17out of curiosity, i wonder if people are taking stabs at p!=np
Re: Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
#18Re: Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
#19Earlier quoted context omitted.
> I went to the coffeeshop and drank very good coffee listening to music. Then at night I sat and had a beer thinking about T.S. Eliot's 'The Wasteland', the effect of industrialization in England at that time and his views of how ennui affected the aristocracy. Well, for those among us that are not aristocracy already, except for the vanishingly small number of people required to oversee such processes, we’re probab…
I kind of feel like software engineers working on improving AI are traitors working against other SE’s trying to make a living. However… I have to acknowledge my craft of SE has been putting people out of work for decades. I myself came up with business process improvement that directly let the company release about 20 people. I did this twice. So… fair play.
Aren't the true traitors still the ones paying the SE to do that work? The managerial slave-master class?
Re: Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
#20Super interesting but what does this mean for us mere mortals?
I got Claude to self reference and update its own instructions to solve making a typed proxy API of any website. After a week, scores of iterations, it can reverse engineer any website. The first few days I had to be deeply involved with each iteration loop. Domain knowledge is helpful. Each time I saw a problem I would ask Claude to update its instructions so it doesn't happen again. Then less and less. Eventually i…
> I would go for a 2 or 3 hour walk with my phone using the remote control feature looking every 5 - 10 minutes
2-3 hours "walking" while having to check in every 5-10 minutes?
If I have to check in every 5-10 minutes, I won't taste coffee or hear that there's good music playing.