| ▲ | syrrim 4 hours ago |
| > I want any LLM I use to choose the very best, most precise words at every single decision point. Then bad news: LLMs already use randomness in a fundamental way. Each time they go to generate a token, they first generate a probability distribution of possible tokens. Then they pick one randomly according to this distribution. The technique described can be thought of as making the random number generator pseudo random. The output it generates is one of the possible outputs it would have generated before, just now it's deterministic and will generate the same thing every time. |
|
| ▲ | npilk 4 hours ago | parent | next [-] |
| I think this is a key reason why humans write better prose than LLMs - we can try to choose the best word every time, and go back and restructure sentences and paragraphs if we want. On the other hand, LLMs are forced into picking some likely-ish word, and then have to build the rest of their response to retcon that choice into making sense. Even good human writers would probably struggle with this constraint. It would be like someone interrupting your writing to tell you the next word MUST be such-and-such, and then you have to try and make it work as best you can first try, without going back to edit. The result would probably be a little clunky. (Maybe it’s impressive LLMs write as well as they do.) |
| |
| ▲ | brookst 3 hours ago | parent | next [-] | | This is the classic misunderstanding that LLMs only pick the next token at a time. Really, they are coalescing the probabilities of a range of tokens at a time. There is no “oops, I wrote ‘th’ but I should have written ‘tw’ so I guess I’m stuck writing three instead of tween”. | | |
| ▲ | Maxatar 2 hours ago | parent | next [-] | | >There is no “oops, I wrote ‘th’ but I should have written ‘tw’ so I guess I’m stuck writing three instead of tween”. You're mixing up two claims here, and only one of these is kind of true. Yes LLMs do internally plan ahead in a way that is emergent rather than strictly part of their architecture, so that part of your claim is true. The way you word it by saying they are "coalescing the probabilities of a range of tokens at a time" is poetic sounding jibberish though. What's actually happening is one distribution output for the next token computed from a hidden state that implicitly encodes where the text headed. Your claim that if an LLM does happen to pick a token "th" instead of "tw", then the LLM isn't stuck with that decision is entirely false for autoregressive LLMs which is what all of the frontier models are. Whatever an LLM picks as its output token is final, it has no ability to undo that token selection and it must continue on the basis of that choice. It can't go back on that decision and revise the output. If you're interested in this, Anthropic has a summary of a very technical paper on this topic that mostly deals with this issue with respect to poetry: https://www.anthropic.com/research/natural-language-autoenco... | | |
| ▲ | robocat an hour ago | parent [-] | | What a crazy link: So we train a second copy of Claude to work backwards—reconstruct the original activation from the text explanation. We consider an explanation to be good if it leads to an accurate reconstruction. We then train Claude to produce better explanations according to this definition using standard AI training techniques.
Incentives to train a pathological liar. There's no baseline so can only catch out the worst of the lies/errors. Anything (including fabrications) that passes our filters is reinforced? |
| |
| ▲ | inigyou 2 hours ago | parent | prev | next [-] | | No, they really do one at a time. You're incorrect on that. Mathematically, a long chain of conditional probabilities is equivalent to a single probability over the whole range. But computationally, for that to work out, the computation for the first probability needs to somehow consider all the downstream probabilities depending on it, which obviously isn't how autoregressive language models work. They can pack in as much downstream computation as their neural architecture allows for, which is quite a lot. Suppose in some context you have three equally plausible conpletions after "Be": "tween a rock and a hard place", "twixed he stood there" and "lieve he can fly". To model this probability distribution of the whole sentence, the next token "tw" needs to appear at 2/3 probability and "lie" at 1/3. After "tw" would be a 1/2 chance of "ix" and a 1/2 chance of "een"; after "lie" would be a 100% chance of "ve " and in any case the rest of the sentence after that would be 100%. The model needs to somehow "think ahead" to know those are the possible completions. For example if "lieve he can swim like a dolphin" was another equally plausible completion, that first token would need to be 50/50 instead of 67/33. So the computation of the first token somehow needs to encode the fact that the guy thinks he can fly but not swim, even though it doesn't become relevant in the output until several tokens later. In practice this probably happens to some degree but definitely doesn't happen perfectly. To perfectly model the first token's probability distribution, it would have to include knowledge of the entire distribution of all possible outputs, which is just not happening. So it approximates. Surprisingly, the approximation is good enough to produce language. You can see this breaking down in the seahorse emoji incident from last year. When you ask the model if there's a seahorse emoji, it first completes "Yes," as if a few tokens later it's about to produce a seahorse emoji. But when it actually gets to the token that would produce a seahorse emoji, it can't because there isn't one. But it's already outputted "Yes, the seahorse emoji is" and can't just go back and change that to "No, there's no seahorse emoji." Some models would try a few times and then say there isn't one or a system error seems to be making them unable to produce one, other models (including then-current ChatGPT) would loop forever with ensuing hilarity. | | | |
| ▲ | npilk 2 hours ago | parent | prev | next [-] | | But on some level there is uncertainty, right? Even if it’s not token-specific but at the word- or phrase-level? Otherwise what does the temperature setting do? Or has architecture changed significantly in the background? | |
| ▲ | doctorpangloss 3 hours ago | parent | prev | next [-] | | everyone in this thread is saying something kind of imprecise and reductive and varies between models and even modifications among the models | |
| ▲ | moralestapia 2 hours ago | parent | prev [-] | | There are diffusion-based models and transformer-based models (and many other "architectures"), so your comment does not make sense. | | |
| ▲ | inigyou 2 hours ago | parent [-] | | Are there any diffusion-based or otherwise non-transformer-based models in mainstream use? | | |
| ▲ | moralestapia 2 hours ago | parent [-] | | If by mainstream you mean "ChatGPT" or "Claude", then no. But also, no one really knows as they're closed. |
|
|
| |
| ▲ | halJordan 15 minutes ago | parent | prev | next [-] | | Humans already do struggle with this constraint. Good examples are JRR Martin, Tolkien, and Rothfuss. You cant describe the struggle of picking the next word and then act like humans don't sit at the table struggling to pick the next word. | |
| ▲ | danofsteel32 an hour ago | parent | prev | next [-] | | I tried brainstorming what an agent harness for writers would look like. https://chainofbranches.com/conversations/2/branches/20/ I’m not convinced it’s possible. A good nights sleep and a notepad in a quiet room still feels like the state of the art toolchain for writers. | |
| ▲ | mholm 4 hours ago | parent | prev | next [-] | | This was true in the ChatGPT era. Now we're in a world with reasoning tokens, where a model can thoroughly plan out the response it wants to make. If anything, it makes the style worse. | | |
| ▲ | npilk 3 hours ago | parent | next [-] | | Yes, models can reason and plan, which helps them write more coherently. But when they write the final output, it’s still a single generation. It would be like letting a human make notes and write an outline, but not let them use the backspace once they start typing their response. Presumably you could use the same reasoning trace, run multiple generations, and get different outputs (if the temperature is >0). But now I’m interested in playing more with Cowork or Claude Code/Codex for prose writing to see if the set of tools there affects outputs at all. I guess you might need a more custom “writing” harness. | |
| ▲ | tomrod 3 hours ago | parent | prev [-] | | Isn't this just chain-of-thought though, doing the same thing multiple times without necessarily defining one path? | | |
| ▲ | brookst 3 hours ago | parent [-] | | Chain of thought attempts to guide a single forward pass. Reasoning tokens with tool calling tell the model to loop on a one phase of a question and call a tool to indications completion when done. Related, but not the same thing. |
|
| |
| ▲ | hyusap 4 hours ago | parent | prev | next [-] | | autoregressive generation doesn’t mean the model is myopic. the next-token distribution can already reflect a longer horizon plan for the output sequence. | | |
| ▲ | npilk 3 hours ago | parent | next [-] | | Sure, but mightn’t there be several plausible long horizon plans? Here’s an example: I had asked Claude for some music recommendations in a certain style. Part of its output was: — *Long journey tracks* Clinic — “The Return of Evil Bill” Guided by Voices — not really, wrong band Silver Apples — “Oscillations”. Proto-everything, deeply repetitive, hypnotic. — So at some point there, the next token produced was “Guided” or “Guide” or whatever, and then because it can’t go back, it had to correct itself after the fact. Reasoning/CoT have helped a lot, but I feel like small versions of this still happen all the time. Human writing is like 90% editing. | | |
| ▲ | inigyou 2 hours ago | parent [-] | | Would be fun to run an LLM on fake output from itself. Like just force the first N tokens to say the beginning of something really stupid, and then see how it finishes the sentence. "You're absolutely right! Human feces is actually the most effective engine coolant because $<completion>" |
| |
| ▲ | inigyou 2 hours ago | parent | prev [-] | | It can but it is limited because it's only got a single pass through the network to fit the entire "longer horizon plan". |
| |
| ▲ | disillusioned 2 hours ago | parent | prev | next [-] | | It's a bit like trying to finish a sentence when you're really stoned... you vaguely remember the preceding couple of words you've said but don't really know how you got there and now you're wandering in the forest trying to stumble on coherency. Well, I suppose it's nearly the opposite of that experience, upon further review. But for some reason, that's where my head jumped. | | |
| ▲ | robocat 2 hours ago | parent | next [-] | | After "stoned" you triggered into a different state. You be a human who's brain shifted into LLM mode (chainneling Markov?). Or perhaps you're an LLM impersonating humanity. I often wonder how much LLMs are just mirroring our own brain's patterns. | |
| ▲ | inigyou 2 hours ago | parent | prev [-] | | You're thinking of Markov chains. |
| |
| ▲ | scuppernong 4 hours ago | parent | prev | next [-] | | auto-oulipo | | |
| ▲ | Alive-in-2025 4 hours ago | parent [-] | | Today I learned a new word, "Oulipo". Interesting. But what about the general idea that they can watermark results to tell where they came from. The next step is tracking down which user got a result. I hate both of these things. Must everything we do be tracked? Next altering wikipedia results so they can tell who looked at the page or something? I'd like "the best answer" from an llm and don't want to be tracked, but this isn't for me, it is for them. I understand llm results are already using a varying statistical input so they aren't always the same. But I really hate watermarking and likely tracking too. |
| |
| ▲ | cush 4 hours ago | parent | prev [-] | | Models can easily do multiple passes |
|
|
| ▲ | dragonwriter 4 hours ago | parent | prev | next [-] |
| That's inaccurate in two ways: (1) The behavior that is approximately what you describe is not "fundamental" (though it may not be something you can disable on some hosted providers), it is an option that is not fundamental (and with runtimes where you have full control can be either disabled or tuned in a large number of manners), and (2) The actual behavior that is approximately what you describe already usually involves use of PRNG (with a user or harness supplied seed), not a true RNG; the change to do watermarking isn't going from RNG to PRNG, it involves adding an additional set of constraints on token generation on top of the existing ones, which inherently compromises quality. |
| |
| ▲ | reliablereason 4 hours ago | parent | next [-] | | (1) LLMs collapse and start outputting garbage after a number of tokens if you do not sample and just pick the "best token" each time.
This is a consequence of how they are trained. | | |
| ▲ | case540 3 hours ago | parent [-] | | Citation needed | | |
| ▲ | inigyou 2 hours ago | parent [-] | | You know you can just try it and see on any inference system thst has this knob, right? Related: if you don't have a limit on sampling (top-K or top-P), eventually you'll hit one of the really unlikely tokens by chance and then the model will switch to Japanese because the most likely completion after a random Japanese character in the middle of an English sentence is more Japanese writing, not a reversal back to English. |
|
| |
| ▲ | beering 2 hours ago | parent | prev [-] | | > which inherently compromises quality. I don’t see how this follows? Tokens are chosen randomly. If you choose tokens with a different RNG in the same distribution, you’re still getting equally good or bad tokens. | | |
|
|
| ▲ | demibabs 3 hours ago | parent | prev | next [-] |
| Yeah this is my main issue with the argument.
He acknowledges in the article that LLMs are already non-deterministic, but he doesn’t seem to actually understand that. |
|
| ▲ | colmmacc 4 hours ago | parent | prev | next [-] |
| I think the article is wrong on this but it's more subtle than that. Probability distributions have a peak; there is still a token with a peak probability. What's interesting about these techniques is that token by token it can actually make the peak token even more probable. A distribution doesn't have to be "flattened" to leave a watermark - it can be "amplified" and made "more peaky". |
|
| ▲ | avaer 3 hours ago | parent | prev [-] |
| That's missing the point. It's the distribution that's the "best", not the tokens. Then Anthropic comes in and makes the distribution something other than the best. The only saving grace is that Anthropic says it's not that bad. Even so, I don't think it will stop here. Once this is in place, the next step is to put more and more identification into the AI generated content; might as well pack it in, it's not that bad, and if it is they won't admit it. There's no way for anyone to check. And your argument will still be technically correct but missing the point. |
| |
| ▲ | inigyou 2 hours ago | parent | next [-] | | there's absolutely no reason to think Claude produces absolute best token distributions or that slight adjustments would be noticeable. In fact we know it's not that good because we can often tell Claude's writing apart from human writing. | |
| ▲ | brookst 3 hours ago | parent | prev | next [-] | | How do you know you picked the singular “best” set of tokens in your comment here? Could it have been equal or better with slight variations in wording? The slipper slop argument is too lazy to address directly. Argue A is bad because A, not because A might become B and you’ve got good arguments against B. | |
| ▲ | beering 3 hours ago | parent | prev [-] | | The watermark doesn’t change the distribution, only per-token selection. I think not understanding that is the source of most people’s FUD. | | |
| ▲ | inigyou 2 hours ago | parent | next [-] | | There's no difference between those two things. The distribution that matters is the distribution of tokens that are picked not the distribution of tokens the LLM model passed to the selector. | |
| ▲ | cubefox 2 hours ago | parent | prev [-] | | This comment disagrees with you: https://news.ycombinator.com/item?id=49324387 | | |
| ▲ | beering 2 hours ago | parent [-] | | That comment merely says quality must be compromised. It doesn’t make it clear why that must be true. Empirical study seems to say that quality is not compromised, and looking at various proposed schemes, it seems intuitively true. |
|
|
|