Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem (twitter.com)

83 points by mean_mistreater 2 hours ago

20 comments:

by gnarlouse 32 minutes ago

out of curiosity, i wonder if people are taking stabs at p!=np

by adrithmetiqa 2 hours ago

Super interesting but what does this mean for us mere mortals?

by dataviz1000 an hour ago

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 it got to the point it was updating and improving the metrics every iteration unsupervised.

Edit: This is going to have huge ramifications for the tech security industry as these systems will be able to break security systems as easily it solved the proof. The sooner the good guys, if there are any left, understand this the better it will be for everybody.

> Super interesting but what does this mean for us mere mortals?

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

by DrewADesign an hour ago

> 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!

by drfloyd51 an hour ago

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.

by marsten 17 minutes ago

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.

by pixl97 4 minutes ago

>It frees up people to do more interesting things

Like beg on the corners and starve in the street? Trying to figure out how the basics of capitalism where labor is exchanged for money is not going to work well when the only jobs left are side gigs. Something will have to change and a lot of People will fight said change.

by mannanj 20 minutes ago

Aren't the true traitors still the ones paying the SE to do that work? The managerial slave-master class?

by frizlab an hour ago

> 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

by troupo 19 minutes ago

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

by TrainedMonkey an hour ago

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.

by dijksterhuis 7 minutes ago

https://en.wikipedia.org/wiki/AlphaFold ...

we've had AlphaFold for a while. it's not a novel that we have ML solutions that can find, erm, novel solutions.

however, by and large, most LLMs as typically used by most individuals aren't solving novel problems. and in those scenarios, we often end up with regurgitated/most common/lowest common denominator outputs... it's a probability distribution thing.

by brcmthrowaway 2 hours ago

Learn plumbing

by oytis an hour ago

There is no reason why market for plumbing will get much larger than it is now (which is not too large)

by radu_floricica 25 minutes ago

This is kindof the opposite? Man + AI > either man or AI. I'd say "learn to work with Claude" is the better lesson here.

by incognito124 an hour ago

Where I live it's bathroom and kitchen tiling

by NitpickLawyer an hour ago

I know your reply was half joking, so please take this the same way, but ... are you sure about that? https://www.youtube.com/watch?v=p1ip68Vv7NE

by dakolli an hour ago

AI isn't replacing anything, get over yourself.

by brcmthrowaway an hour ago

Arent you using Claude?

by heliumtera an hour ago

That llms in the middle of everything will continue until morale improve because llms can generate text on top of bullshit made up problems

Data from: Hacker News, provided by Hacker News (unofficial) API