It's fascinating to think about the space of problems which are amenable to RL scaling of these probability distributions. Before, we didn't have a fast (we had to rely on human cognition) way to try problems - even if the techniques and workflows were known by someone. Now, we've baked these patterns into probability distributions - anyone can access them with the correct "summoning spell". Experts will naturally us…
A bit related: open weights models are basically time capsules. These models have a knowledge cut off point and essentially forever live in that time.
Claude's Cycles [pdf]
221–230 of 376 posts
Re: Claude's Cycles [pdf]
#222Earlier quoted context omitted.
Claude did not find a proof, though. It found an algorithm which Knuth then proved was correct.
Yes, and his point is that finding that algorithm was, to Knuth, the interesting part. Getting from that to a proof was the boring bit.
Re: Claude's Cycles [pdf]
#223I didn't expect such a misleading intro from Knuth. It reads like Claude solved Knuth's math problem. In reality, Claude generated various example solution, and Knuth then manually generalized that to a formal proof. What Claude did is certainly useful, but it would have been nice to be clear about the scope of the contribution in the intro.
Re: Claude's Cycles [pdf]
#224Earlier quoted context omitted.
My interpretation is that Claude did what Knuth considers to be the "solution". Doing the remaining work and polishing up the proof are not necessary to have a solution from this perspective.
Claude did not find a proof, though. It found an algorithm which Knuth then proved was correct.
Re: Claude's Cycles [pdf]
#225Earlier quoted context omitted.
Memory is not just bolted on top of the latest models. They under go training on how and when to effectively use memory and how to use compaction to avoid running out of context when working on problems.
do you have some reading material to share on this matter? thanks already
Re: Claude's Cycles [pdf]
#226Earlier quoted context omitted.
When the LLMs start compacting they summarize the conversation up to that point using various techniques. Overall a lot of maybe finer points of the work goes missing and can only be retrieved by the LLM being told to search for it explicitly in old logs. Once you compact, you've thrown away a lot of relevant tokens from your problem solving and they do become significantly dumber as a result. If I see a compaction c…
> I ask it to write a letter to its future self, and then start a new session by having it read the letter Is that not one kf the primary technologies for compactification?
Just saying "write up what you know", with no other clues, should not perform any better than generic compaction.
Re: Claude's Cycles [pdf]
#227Re: Claude's Cycles [pdf]
#228Earlier quoted context omitted.
So the actors who portrait great thinkers are great thinkers?
No, actors recite a pre-written script. But scriptwriters do have to be great thinkers in order to know what the great thinker would actually say.
Re: Claude's Cycles [pdf]
#229Earlier quoted context omitted.
Or you could have just said "they can't form new memories."
Sure, if you want to speak with the precision of a sledgehammer instead of a scalpel
Re: Claude's Cycles [pdf]
#230It's fascinating to think about the space of problems which are amenable to RL scaling of these probability distributions. Before, we didn't have a fast (we had to rely on human cognition) way to try problems - even if the techniques and workflows were known by someone. Now, we've baked these patterns into probability distributions - anyone can access them with the correct "summoning spell". Experts will naturally us…
A bit related: open weights models are basically time capsules. These models have a knowledge cut off point and essentially forever live in that time.