• freagle@lemmy.ml
    link
    fedilink
    English
    arrow-up
    2
    ·
    1 day ago

    Fucking garbage article. Completely inappropriate metaphor between a game with finite states and a win condition on the one hand and literally total open ended language expression on the other

    • ☆ Yσɠƚԋσʂ ☆@lemmy.mlOP
      link
      fedilink
      arrow-up
      11
      ·
      edit-2
      1 day ago

      The key point, which is entirely correct, is that next token predictor label is technically true in a narrow sense but it completely misses what LLMs actually do. Pre training is about matching existing sequences, but RLVR means that the model generates its own sequences and learns from the outcomes instead of just imitating the training data.

      The chess analogy has nothing to do with chess having finite states. What the article is saying is that a system trained only on a specific set of games would be a next move predictor, but one that chooses moves dynamically based on winning probability uses live context for its heuristic. So the mechanism encoded in that loop is able to discover and reinforce new patterns that were never part of the original training.

      • freagle@lemmy.ml
        link
        fedilink
        English
        arrow-up
        3
        ·
        1 day ago

        but RLVR means that the model generates its own sequences and learns from the outcomes instead of just imitating the training data.

        It generates it own sequences by predicting the next token based on the training data

        And then it updates it’s weights based on the outcomes of those predictions.

        It’s still a probabalistic next token generator.

        But RLVR allows humans to define deterministic fitness tests and then continuously run the next token predictor and let the deterministic software use the results to backward propagate adjustments to the weights.

        Which all presupposes that the output of an LLM is probabalistic and based statistical weights of model parameters, which returns is back to probabilistic token generation by a statistical model that doesn’t represent anything resemble knowledge or fitness. In theory, you could tweak parameters with RLVR for a millennia and the LLM will just thrash between various states of meaninglessness, because the conjecture of LLMs is that meaning is exclusively encoded in the statistical distribution of tokens.

        • ☆ Yσɠƚԋσʂ ☆@lemmy.mlOP
          link
          fedilink
          arrow-up
          3
          ·
          1 day ago

          Yes, it is a stochastic system, that’s the whole point tough. There are two things at play here, one is that the model does prediction based on the context of the current data it’s looking at rather than just whatever data it was trained on. That’s what the article is highlighting. The second part is the feedback loop such as what you see in agentic coding. The model makes a prediction, that prediction is tested against the environment, the model gets feedback, and it iterates. And that’s what grounds it in reality addressing the issue of it producing meaningless outputs. The system as a whole behaves similarly to a genetic algorithm where the solution evolves through the cycle of trial and error.

          Incidentally, this is true for humans as well. This is why we need tools like the scientific method and peer review in science. People hallucinate things all the time, and when we loose the connection between the predictions the brain generates and sensory feedback we call that schizophrenia.

          • freagle@lemmy.ml
            link
            fedilink
            English
            arrow-up
            2
            ·
            edit-2
            22 hours ago

            one is that the model does prediction based on the context of the current data it’s looking at rather than just whatever data it was trained on

            That’s always true. That’s how neural networks work. The model is a statistical transform from input to output. Neural networks work by taking input to produce an output. The “context of the current data” is just the input. “Rather than just whatever data it was trained on” is meaningless.

            The second part is the feedback loop

            Yes, as I said, there’s a fitness algorithm and it back propagates adjustments to parameter weights. But that’s all it can do, because the model is just weighted parameters. It can’t learn facts, it can only adjust its probabilities.

            The model makes a prediction

            Or rather it produces a random output based on the input and its parameter weights

            that prediction is tested against the environment

            By something other than model itself that has knowledge of what “success” is and what “failure” is

            the model gets feedback

            In the form of adjustments to parameter weights

            and it iterates

            The training apparatus outside the model does this repeatedly, yes, under the thesis that tweaking parameter weights will result in fewer failures to the deterministic fitness algorithm. That’s a theory.

            And that’s what grounds it in reality addressing the issue of it producing meaningless outputs

            No. That’s a leap that has no basis. The training data is no less a part of reality as the current prompt context is part of reality. What you’re describing is that the output of the probabilistic transformer gets tested against various forms of curated fitness tests. The problem with is that the only thing one can do with the the results of fitness tests is to change the probabilities of the opaque parameter space. So you can create a fitness test for how many "r"s are in “strawberry” but the results of that test can only be expressed by weight changes. And those fine tuning adjustments are applied to an opaque network of weights that also includes the opaque probabilistic representations of the fitness tests for how many "r"s are in “perrywinkle” and how many "b"s are in “strawberry syrup”.

            At no point is the LLM getting closer to learning facts, and the thesis that knowledge or skill is representable as a statistical model is unproven and seems increasingly unlikely.

            The system as a whole behaves similarly to a genetic algorithm where the solution evolves through the cycle of trial and error.

            Yes, it uses the same concepts as a genetic algorithm but it the representation is still the problem. Genetic algorithms for path finding are great because they have discrete actions and limited scope. Applying the same technique to fine tuning an LLM is a better use of time than manually fine tuning, but that doesn’t make it any less a probabilistic next-token generator that can’t represent stable facts and rules and where every fine tune for one input is always in tension with the fine tubes for all other inputs.

            Incidentally, this is true for humans as well.

            Yes, but just because algorithms are analogous doesn’t mean they are functionally equivalent. Humans also have an opaque neural network that functionally behaves like a statistical model. But we have more subsystems than LLMs do, we have more dimensions to our encoding, and we have greater self-governing and modification abilities. So while the genetic algorithm approach is useful, it doesn’t make the LLM become closer to reality, it just automates a portion of the fine tuning curation process.

            • ☆ Yσɠƚԋσʂ ☆@lemmy.mlOP
              link
              fedilink
              arrow-up
              2
              ·
              edit-2
              21 hours ago

              Or rather it produces a random output based on the input and its parameter weights

              The bias is precisely what makes it not random, but rather stochastic. There’s a very big difference here.

              In the form of adjustments to parameter weights

              I’m talking about feedback from the environment it operates in. That’s the actual test that allows the model to keep adjusting outputs towards a specific target rather than them being random. And that’s what makes the whole thing useful in the end.

              The training apparatus outside the model does this repeatedly, yes, under the thesis that tweaking parameter weights will result in fewer failures to the deterministic fitness algorithm. That’s a theory.

              No, that’s not a theory, that is precisely what we measurably observe in practice with coding harnesses. And having built one myself, I can tell you for a fact that this works exactly the same way a genetic algorithm does, and large part of making an effective harness comes from ensuring that the model gets actionable feedback.

              No. That’s a leap that has no basis.

              The basis is me having worked on a harness and observed how the model outputs improve based on the feedback. There’s also plenty of research on the subject explaining how and why this works in detail. The parameter space is also not nearly as opaque as you seem to think.

              At no point is the LLM getting closer to learning facts, and the thesis that knowledge or skill is representable as a statistical model is unproven and seems increasingly unlikely.

              That’s missing the point entirely. The question isn’t about whether LLM is getting closer to learning facts. It’s about whether the biasing from the feedback loop causes the LLM to produce relevant outputs. Also, the thesis that knowledge or skill is representable as a statistical model is very much demonstrated by world models where a temporally consistent simulation of the environment is maintained.

              Applying the same technique to fine tuning an LLM is a better use of time than manually fine tuning, but that doesn’t make it any less a probabilistic next-token generator that can’t represent stable facts and rules and where every fine tune for one input is always in tension with the fine tubes for all other inputs.

              That’s not how any of this works at all. You’re not trying to get it to represent stable facts, you use things like compilers, test harnesses, formals specs, and so on, to create the selection pressure. Then the model is the stochastic part of the system which finds a path that satisfies the selection criteria. Or, with robotics, you have models interact with the physical world and use the feedback to adjust predictions within the model.

              Yes, but just because algorithms are analogous doesn’t mean they are functionally equivalent.

              Yet, they are functionally equivalent in accomplishing many tasks now. And of course, biological brains have many more subsystems and are more complex in general. I’m not arguing that part at all. My point was that what grounds our mental models in reality is the same feedback loop we use to ground LLMs, and it’s effective for the exact same reason. I also don’t think LLMs are the pinnacle of AI, they’re just one piece of the puzzle, and as I noted earlier, people are already moving towards world models now.

              I find world models to be fundamentally more interesting than plain LLMs because if a model encodes the rules of how the physical world works, that provides a foundation for meaningful communication. Humans can talk to each other easily precisely because we all have a shared context which is the environment we live in. And we see how the rate of misunderstanding quickly goes up when we start talking about abstract topic because they can be interpreted in many different ways. So, if models can share the understanding of the physical world with us, it becomes a lot easier to tell them what you want, to correct them, and to have them genuinely understand requirements in a human sense.

              • freagle@lemmy.ml
                link
                fedilink
                English
                arrow-up
                2
                ·
                19 hours ago

                What you’re describing for coding, though, is alignment between prompts+context and known good solutions. Yes, it’s entirely possible to have the LLM produce novel code solutions, just like it can produce novel sentences - stochastically - but that doesn’t mean it’s getting a greater basis in reality. It means that it is mapping the highly variable request and existing code to it’s training corpus and it keeps adding more maps between prompts and valid code solutions via rewards-based training. Which is still a next token generator no matter how you slice it.

                • ☆ Yσɠƚԋσʂ ☆@lemmy.mlOP
                  link
                  fedilink
                  arrow-up
                  2
                  ·
                  18 hours ago

                  What I’m describing is the general feedback loop. Coding is just one application here, and plenty of problems can be encoded in the same way. Again, it doesn’t actually matter if it’s getting a greater basis in reality or not. All it needs to do is to generate plausible outputs within a particular context, and these can be tested, and iterated on to solve a problem. And if you go back and read through the thread, nobody is arguing that it’s not a token generator. What’s being said is that this is a reductive way to look at what’s actually happening. It’s like saying that human is a cell reproduction machine. Technically true, and completely useless for understanding what humans do.

                  • freagle@lemmy.ml
                    link
                    fedilink
                    English
                    arrow-up
                    2
                    ·
                    17 hours ago

                    I don’t really think it’s useless as an explanation. It’s a great explanation for why an LLM can produce entire code bases but can’t tell you how many Rs are in Strawberry and why they can’t do math.

                    Yes, people should understand the ways that they are being scaffolded and why “reasoning” multiplies the cost of inference, and also why it doesn’t solve all problems and why despite the many many advances LLMs will essentially never be able to reliably answer statements of fact even in self-referential systems and why world models are part of the solution and how to reason (as a human) about the limits of world models in addressing the gaps people are seeing.

      • m532@lemmygrad.ml
        link
        fedilink
        arrow-up
        3
        ·
        1 day ago

        And a mouse is technically a blob of molecules. But does calling a mouse a blob of molecules explain why it moves away from cats?

      • freagle@lemmy.ml
        link
        fedilink
        English
        arrow-up
        2
        ·
        1 day ago

        But it’s different because “it does it’s own exploration of infinite space which is exactly like knowing how to win all chess positions through a brute force solution to the finite game space”