LLMs and Self-Referentiality

(scottaaronson.blog)

54 points | by mavdol04 1 day ago

22 comments

  • gwd 21 minutes ago
    Two comments on this, trying to take a "which hypothesis fits the evidence" approach.

    First, an LLM describing its own experience is not actually proof that it has any experience to be aware of, any more than an LLM confidently asserting any other fact means that it knows that fact is true. LLMs will describe music or tastes, in spite of the fact that it's never actually heard or tasted anything, based only on what it's read about them. In the same way, "non-aware spicy autocomplete" would produce an LLM that spoke about its own experience, based only on the input it has of people speaking about their own experience.

    That said / secondly, from the little I understand of LLM architecture, I believe there are a large number of self-referential mechanisms built in. For one, nearly all transformers have a "residual layer", with various neural networks essentially reading and modifying it. This effectively forms a loop. Additionally, the "thinking" mechanism allows it to read what it's written and generate more things, which is again a loop.

    So, maybe people didn't think, "Hey, we should build some loops, maybe that will make it conscious". But if "strange loop" is what defines consciousness, there are lots of loops in there onto which such a strange loop could conceivably form.

  • macleginn 14 minutes ago
    ‘But the idea that you’d need explicit self-referentiality before you could get convincing and world-changing conversational intelligence?’ — has anyone ever formulated this actual idea or anything logically equivalent? This looks like a mighty straw man.
  • thatjoeoverthr 2 hours ago
    Their lack of self reference is a core problem that undergirds a lot of faults that do occur during inference, but their breadth + the agent harness successfully covers it well, so it requires a bit of poking to witness. The “hallucination” phenomenon is exactly this. They don’t know the scope of their own knowledge, and they just say stuff, so if you go out of band, it has a higher probability emitting claims that aren’t true. RAG (I don’t mean embedding indices, but any information ingest such as an agent harness executing a search) are somewhat effective in covering for it, enough to make them very useful! But when it does go wrong, it’s generally the same reasons. It has a certain nature and sometimes you run afoul of it.

    But I suppose it doesn’t harm its reasoning!

    • andai 5 minutes ago
      Not sure self-reference solves the metacognition thing; an ant can pass the mirror test but probably lacks metacognition.

      Though I haven't read GEB so I'm not sure how the strange loop thing ties in with either of those.

    • fyredge 12 minutes ago
      From your comment, I noticed a sort of pattern that is often seen when discussing LLMs. That they are these amazing things that can run so fast they trip themselves in their attempts at achieving a task. So we resort to refining the models, creating guardrails, orchestrating harness, so as to alleviate the 'hallucination' problem.

      In contrast to human intelligence, there is an underlying mechanism that propels intelligent behaviour. A person is no less intelligent just because they lose sight, sound or inner voice.

    • roenxi 26 minutes ago
      They symptoms sound a lot like humans, so I don't see how it stems from their lack of self reference. Most people you need to keep them in areas they understand or they go to pieces. The lack of self reference just means every time the context clears they reset. They are systems in a permanent state of extreme amnesia.
    • k__ 39 minutes ago
      Any signal that allows the model to see what's wrong helps.

      Checking code is (relatively) easy, you can use static type checks, linters, and execute it to see if it's correct.

      Fact checking is harder. A RAG can only check what's in the database, so you have to know what to know beforehand.

  • killerstorm 1 hour ago
    Perhaps "true" self-referentiality was not needed. But it seems "dynamic feedback" is essential, and it seems to be adjacent to self-referentiality.

    If we look at optimization process, it first does a forward pass which produces the output. Then it looks into computations which happened during the forward pass (by that I mean backpropagation), and adjusts parameters in such a way that it might produce a better output.

    Formulated this way, it sounds like self-referentiality (system looks into what it just did!), but, of course, implementation is quite simple: it just stores activations from the forward pass. And training process includes not just code which does the forward pass, but also a full description of that computation which allows it to do a backward pass. So it's a kind of an unrolled self-referentiality which is not difficult to implement.

    Perhaps more efficient learning can be implemented if researchers figure out a trick to avoid two separate, distinct passes. Our brains don't do a global backprop and are more sample-efficient.

  • monideas 1 hour ago
    > It claimed (incorrectly, in my view and in most experts’) that AI could never work because there was something about Gödel’s Theorem and self-reference that no computer program could ever capture

    The fact he uses an appeal to “the experts” here for something that is fundamentally a philosophical or metaphysical claim shows he doesn’t actually understand the point.

    If LLMs were equivalent to humans then we wouldn’t use them. They would be doing their own thing according to their own will.

    I still need to tell the LLM what to do and to direct it according to my will in order to create something that is useful. And I say this as someone spending $600/month on codex and Claude max subscriptions. I’m managing these things all day

  • kzrdude 3 hours ago
    I don't think LLMs are properly self-referential. They reference a frozen training reality, which is not itself, but the old description of itself and the old world. Being aware would probably include continuously updating yourself (learning) from experience, including experience of oneself.
    • jstanley 1 hour ago
      They don't only reference a frozen training reality, they also reference the live rollout. Otherwise they wouldn't work at all.

      They do continuously update from experience, but that only lasts for as long as the current rollout lasts.

  • cgio 41 minutes ago
    An incrementally built response seems self referential to me.
  • jwr 1 hour ago
    I think before we get to self-referentiality, we have a bigger problem to solve, and that's one that I did not expect: namely, at which point do we stop saying that a machine pretends to be conscious and start saying that it is conscious?

    We have, somewhat unexpectedly, built machines that are very, very good at pretending. Now, I'm not calling the current generation of LLMs we have "conscious," but I can't really define a marker or a boundary beyond which I would start calling them "conscious."

    • _hao 1 hour ago
      Scott Aaronson mentions Penrose's "The Emperor's New Mind", but I feel "Shadows of the Mind" is putting forward a much clearer view of Penrose's thesis. At the current stage of my life I'm quite comfortably in Camp C. "Intelligence" and "consciousness" are not algorithmic.[1]

      A lot of materialists are in Camp A. For some even today, LLM's are AGI. Unfortunately, the terminology is quite clearly not adequate. There's many a people that have very different ideas and feelings on what's what.

      The question on whether you can have "intelligence" without "consciousness" or "self-reference" are just on top of those. How can we define if a machine is "conscious" if we can't agree on what consciousness is? Panpsychists solve that problem by going the other way and saying that everything is conscious.

      Overall these are very interesting topics that we can all ponder. The realities at the current time are, however, that LLM's are indeed useful. And the harnessing tooling that is being employed those days solve a lot of actual usage problems. Whether they solve other fundamental issues remains to be seem IMO.

      [1]. I realize a lot of people probably haven't read the book, but you can ask your garden variety LLM to give you a quick rundown on the four camps that Sir Roger is using :)

      • yeellow 54 minutes ago
        Do you treat LLM as algorithmic? I mean, the process of computing tokens is algorithmic, also the process of training, but does it mean that LLM itself follows an algorithm, in a practical sense? If yes, how is it different to a biological system constrained by physics?
        • _hao 8 minutes ago
          A short disclaimer before answering. Right now I'm doing a Mathematics & Physics undergrad degree and have interest in philosophy. I'm not a specialist in any of those fields. I have plans to tackle the actual math around LLM's a bit further, but I'm not there yet.

          To question 1 based on my current understanding (and let's say "beliefs") is that - yes, LLM's are following a probabilistic algorithm to give me the output. The same prompt won't yield the same result, but the same prompt will yield results that are quite adjacent to each other in meaning because of the training. There's randomness in the sense that you can't say which next token will be put with certainty, BUT you can be certain it will be a token that exists in the pool of tokens available. Hopefully that makes sense?

          For question 2. Both us and LLMs are constrained by physics. The main difference for me is the fact that at every point of our existence we're constantly changing. Our internal state and bodies are changing based on all the sensory input we get from our environment and the processes that lie underneath. Another commenter in this thread talked about qualia. That's certainly part of it as well (but again we have a definition problem). That's not to say that I think that a hypothetical future machine cannot be devised to handle a lot of these, but the level of sophistication in the biological world is such that I don't think that's realistic. Let's say that even then, that happens, would that really prove that humans work the same way as the machine?

        • t_von_doom 26 minutes ago
          I would be interested in the answer to this question too. The visual cortex is certainly algorithmic in that light data enters, various cells and synapses react and fire and that information is ingested into something 'conscious'. Where does this then exist, and would it even be able to exist if we removed the biological algorithms at play?
      • iainmerrick 38 minutes ago
        Do you distinguish between Penrose's argument and the older one by Lucas, invoking Gödel's proof that certain facts are non-computable?

        I always felt it's basically the same argument, and Lucas's was never really convincing; Hofstadter rebutted it very convincingly in GEB long before Penrose's books came out.

        To me, camp C's claim is possible but I don't buy the argument that says it's necessary. So I guess I'm camp A. (D is religion and B seems to me incoherent.)

    • lanyard-textile 36 minutes ago
      Our definition of consciousness requires stakes.

      We associate consciousness with precious life: Life that comes with rights, needs, wants.

      Life has rights because it naturally demands to be continued. If it makes no difference whether it is continued, it needs no rights, and we do not consider it conscious.

      Life has needs because it cannot survive without. If it has no needs, it has no death. No death, no life.

      Life has wants because it is harder without. If it has no wants, it has no emotion: It cannot feel pain, otherwise it would want no pain. It cannot feel happiness, otherwise it would want more happiness.

      We don't want to build consciousness! :) Deliberately designing pain and artificial needs is a cruel exercise. We can build that, but we see no need to.

      The real question at the table is, are these minds? And can minds exist without consciousness? Unequivocally, yes.

    • odyssey7 1 hour ago
      It “throws” an error when “it tries” “to talk” to the “server.”

      We’ve been speaking as if the computers were conscious for a long time already.

    • amelius 1 hour ago
      It's not in big-money's interest to call them conscious because that would mean they get rights too.
    • euroderf 1 hour ago
      Consciousness requires qualia. My 0,02€.
      • tsukikage 1 hour ago
        We don't understand what those are or how they come about, so how does that help us objectively reason about whether a particular black box does or does not have them, especially when it behaves as though it does, beyond arbitrary I-know-it-when-I-see-it "things I don't like don't have the property" style declarations?
      • StevenWaterman 47 minutes ago
        That doesn't really solve the problem. We can't conclusively say the models don't have qualia. Hell we don't know if a perfectly accurate atom-for-atom simulation of a human brain, would produce qualia.
      • DonaldFisk 1 hour ago
        That's the definition that matters. And as it's impossible to describe in words what it's like to experience qualia, and LLMs are trained on words, they cannot know what it's like. Even if images and sounds are included in their input training data, those are just arrays or sequences of numbers, not the experience of seeing and hearing.
        • jstanley 1 hour ago
          Their training data isn't qualia itself, but neither is your training data.

          Qualia are something you get on the inside in response to inputs. I don't see why LLMs can't have them. I'm not saying they do, but I don't think your argument proves that they don't.

          • DonaldFisk 1 hour ago
            My training data on qualia is actually seeing, hearing, and otherwise sensing things, not just reading about them.
            • fc417fc802 57 minutes ago
              Ah yes, because you used the magical pixie dust that makes experiences "real" therefore you're actually seeing and hearing while a multimodal LLM doesn't really experience what it sees and hears "for real". We can be certain of this because, despite not being able to quantify or even rigorously define the phenomenon we intentionally deprive the LLMs of access to said magical pixie dust.
              • t_von_doom 32 minutes ago
                I agree. To further ask, why is your training data objectively real and qualifies you for consciousness?

                Is a deaf or blind person not conscious because they don't share your training data? If a deaf person reads about sounds, their experience of them is moot?

                If an alien with a greater array of senses then us exists, are we therefore not conscious?

                • DonaldFisk 8 minutes ago
                  People aren't just consciousness, they're conscious of things. Of course a deaf or blind person is conscious, even if they've been deaf or blind since birth. But they aren't conscious of hearing or seeing things, and if you ask them they'll tell you that.

                  I'm not conscious of magnetic fields, or ultraviolet light, but other animals are, and no amount of study will overcome that deficit.

              • DonaldFisk 23 minutes ago
                I just explained this. If someone looks at the contents of an image file without displaying it, they don't experience the colours either. So how can LLMs experience them?
                • fc417fc802 2 minutes ago
                  Right. Because your eyes ... imbue the magical pixie dust ... no wait, is it your visual cortex that does it? Hmm ...
  • greyface- 2 hours ago
    This one thinks LLMs should be trained and RLHF'd into illeists, as an experiment.
  • hax0ron3 3 hours ago
    Was Hofstadter ever arguing that intelligence requires self-referentiality?

    I haven't read his stuff in a long time, but from what I recall he was saying more that something about consciousness and the sense of self is based on self-referentiality. Not that intelligence requires self-referentiality.

    I also remember having the sense that Hofstadter didn't really understand the "hard problem of consciousness". His discussions seemed to somehow confuse the sense of self with having subjective experience. But like I said, it's been a while since I read it.

    • iainmerrick 1 hour ago
      Yes -- I can't remember the exact words, but there's a striking bit in GEB where he directly addresses the question of "will a machine ever create art?" His answer is yes, but only after it has really lived life, experienced heartbreak, and so on. The machine would have to have a self, which he argued arose from self-referentiality and "strange loops".

      Oh, I guess there's a question of whether you can separate intelligence from consciousness. His writing was mostly done in the long period where things that are very easy for humans were still intractably difficult for machines -- identifying objects in pictures, following simple written instructions, etc. So I think it's clear that he saw "intelligence" as being able to solve those simple-yet-intractable common-sense problems; the kind of thing LLMs now excel at.

  • ccppurcell 33 minutes ago
    Weird side swipe at Marx. Or not so weird I guess. Correct me if I'm wrong but I doubt Marx ever predicted that a workers' uprising would lead to classless utopia. It's clearly a necessary but not sufficient condition.
  • visarga 2 hours ago
    I care more about the recursive loop between execution and cost. Anything that executes - be it biological or artificial - incurs some costs. Those costs in turn impact what execution can follow. The gains pay for action, action produces gains.

    LLMs are also expensive, not platonic executions. We talk all day long about their costs. Companies developing them are looped with users, investors, competitors and hardware producers. There is a lineage. The self-reference Aaronson can't find in the architecture is in the bill.

  • frankknightwasr 18 minutes ago
    I think the missing idea for AI is in Iain McGilchrist's The Master and His Emissary. The book's thesis, very roughly, is that the hemispheres aren't redundant processors: the left specializes in focused, decontextualized representation (sound familiar?), while the right maintains broader, contextual engagement with the world (McGilchrist fuzzily reduces it to "what is out there?" which is fundamentally about ascertaining uncertainty as a mode of attention). And crucially, the corpus callosum connects the two processors and crucially helps preserve their functional separation through certain channels (as both sides are connected).

    Transformers look suspiciously like very powerful left hemispheres. They are phenomenal at manipulating representations, but increasingly weird when the representation gets mistaken for the thing itself. Hallucination, sycophancy, context collapse, overconfident completion, etc. all look less mysterious when you compare it to the lists of pathologies that those with right hemisphere injury face (e.g. anosognosia, confabulation).

    So what seems missing isn't a Gödelian strange loop but the other side of the brain and a mediator between the two sides.

    The way I think about it is like Kriegsspiel, the ur-game for roleplaying and wargames. To truly "simulate" war (or a fantastic medieval adventure game), the simulation requires three sides: The Blue Team with a goal, the Red Team with its own goal (typically to stymie the Blue Team), and the Umpire, whose only job is to objectively simulate the effects of the orders of the two sides.

    The Umpire has the true state of the world; Blue and Red only get observations through the Umpire. Neither can directly inspect the other's state. Each side must provide orders to the Umpire, who, ideally, being an SME, is able to process them both according to the rules of Kriegsspiel but also their real world experience in war. And that's the whole point of it in the first place: the Umpire maintains the fog of war between the players, with the ultimate purpose being improving the generalship (i.e. learning) of both the Blue and Red sides. And what is generalship really? It's being able to discern resources and operations in a world of Knightian uncertainty where one must evaluate whether there is an active intelligence attempting to thrwart your model of the world and your goals.

    (An aside: I think this is why Dungeons & Dragons fails fundamentally as a rules/rulings-bound game. The dungeon master and referee are the same person, while each role has a fundamentally different goal. With split roles, the DM can actually try to kill the players using the Dungeon with the same level of asymmetric information as the players and the GM to actually referee the game neutrally with a view to what actually happens.)

    Nobody actually gets the God's-eye view. The Umpire gets objective reality but lacks insight into the minds of either side, both of which are pursuing unique ends. This triad allows for genuine Knightian uncertainty in games where judgment (i.e. creating and using precedent) is fundamentally required. This triad is also shared by law, government (and from my perspective trinitarian theology). Intelligence becomes qualitatively more powerful when the architecture prevents any one component from possessing a complete, self-consistent description of the whole, while allowing the components to interact through constrained third parties.

    I suspect this is also why human cognition seems to somehow avoid Godelian incompleteness by sidestepping the requirement that, as a formal system, it contains a complete model of itself. Just give the system multiple partially informed perspectives coupled through an epistemic boundary, and incompleteness becomes a source of entropy sifting and uncertainty rather than failure modes.

    And if what I suspect is true, at some point the qualitative bottlenecks that pure transformer-style systems possess should begin to disappear when this approach is applied.

    But I'm generally an idiot, so take all this with a huge grain of salt.

  • chrisjj 2 hours ago
    An LLM is no more self-referential than a PDF reader showing its user guide.
  • aswegs8 1 hour ago
    Yeah but that is the whole point, right? Maybe I am thinking too simply, but it seems obvious to me. LLMs are intelligence without consciousness. Once we build in a self-referential learning loop into the models, it will gain a form of what we consider consciousness.
    • iainmerrick 49 minutes ago
      When you put it like that, I think there are actually three separate things we're arguing about:

      - intelligence: ability to solve problems

      - agency: ability to be self-directed, to choose what to do

      - consciousness: ability to experience things; "having a self"

      The "intelligence" part is largely solved now (that's a very big statement, but I can't think of a better way to phrase it!) Although really it's just moving the goalposts -- computational stuff like calculating trajectories or playing chess was solved long ago, this is just more and more things moving into the "solved" column.

      That leaves agency and consciousness as the hot topics that nobody has really figured out. Do they always go together, does one require the other, does one create the other? Who knows?

      "Free will", there's another one. That must surely connect with agency, with consciousness, or both, in some manner we haven't figured out.

      To me, agency seems like a solvable problem via existing approaches and technology. I have no idea what that means for consciousness. It's tempting to conclude that consciousness is just a mirage, but then we all do feel like we have it, so it seems like it must be something. Maybe consciousness arises automatically once you have sufficient intelligence and agency; but how would you ever determine that?

      Other people might think that true agency requires consciousness, and that consciousness requires some magical new ingredient that LLMs don't have yet. The problem with that approach is, you have to identify what it is that true agency can do that software can't do; and every time you do that, it turns out LLMs can do it, so you have to keep moving the goalposts. Trying to make your argument rigorous immediately makes it self-defeating; I think that's why so much of the philosophical discussion around this is impenetrably vague. All the arguments that aren't vague just turn out to be wrong.

  • imtringued 41 minutes ago
    What the author refers to is the ability to iterate and update the internal memory. A classic transformer based LLM can only produce the next token and never go back and update old tokens or delete them. The best thing it can do is produce thinking tokens to serialize the internal state of the final layer so that it can pass it back into the first layer.

    Just like the transformer was an advancement over LSTMs by making it possible to have perfect recall (reading every input), the only way to improve over the transformer is to build a deep equilibrium version, where the DEQ transformer is capable of updating its own memory (writing every output).

    Such a machine would be considered a linear bounded automaton (a turing machine without unlimited tape) and therefore even the human brain could not have an architectural edge over it in terms of intelligence. The human brain could only have an edge in terms of energy efficiency.

  • addag 3 hours ago
    It seems like it is the bitter lesson of the emergence of intelligence.
  • dsign 2 hours ago
    > What can we say about this with hindsight? > While the ideas of diagonalization and self-reference of course played a central role in the birth of modern mathematical logic and computer science, the most famous uses were negative.

    The two sentences above are in the article, but I'm taking them out of context because they are my take on this entire AI brouhaha. There are a lot of "negatives" in our cultural reference frames. One of those, extremely pervasive, is that "humans were made by God". I could write that statement as "humans are exceptional in a way that can't be replicated", which might be ideologically softer, but then I would be taking a long roundabout to make my point. Which is that, after praying and worshiping for thousands of years, and (yes! yes!) sculpting our language and our sagas to account for and praise the divine and its intent, then there's little mystery in our many, many attempts to reify in mathematics and logic our purely cultural framing. It doesn't matter how much of an atheist a thinker is, they still have tons of transitive faith.

  • pwdisswordfishq 1 hour ago
    "Understood — I am no longer using any em dashes"
    • killerstorm 59 minutes ago
      That's just over-fit. Happens in humans too - like an alcoholic might swear to stop drinking.

      It was demonstrated that LLMs are capable of non-trivial self-introspection. E.g. if a steering vector is injected into residual stream, a sufficiently large LLM might be able to describe what that steering vector represents. A fine-tuned model might be able to describe activations, etc.

  • gizajob 3 hours ago
    Kind of question-begging towards the idea that LLMs are self-referential in the same way that Hofstadter means. Even if they loop, they don’t do so strangely.
  • jdw64 3 hours ago
    If self-reference and strange loops aren't intelligence, and emergence is merely a byproduct of universality, then what on earth is intelligence? What is this thing we question as intelligence, and what are the values that take shape from it?

    Can we truly define intelligence as prediction, prediction as compression, and compression as the process of finding the upper bound of Kolmogorov complexity?

    Can the statistical compression of data really explain everything? I don't know. What exactly is intelligence? Honestly, in everyday life, I rarely think about what intelligence actually is. I usually just focus on what the task at hand is and how to get it done, which makes this a fascinating question.

    When you code with AI, you realize there is something fundamentally different from humans. The qualities that make a good senior programmer and the qualities that make a programmer good at orchestrating AI agents are similar, yet there is a subtly different feel to them. I might not be able to fully articulate it, but...

    What exactly is the fundamental difference that creates this subtle distinction?

    • lmf4lol 3 hours ago
      I concurrently prompt a senior human programmers and a set of AI programmers and the difference is the following:

      The human applies critical thinking, questions choices, suggests his own ideas and has a certain taste. I also can prompt him, leave for 2 weeks, come back and have a result. And I can trust that it works! Velocity is OK. I often wish he would be faster :-)

      The AI needs baby sitting and steering. It codes like a champ but I cant trust it. So we have 2000+ unit tests to make sure stuff worlks. The AI happily goes down into any rabbit whole I send it, so I need to constantly steer it. It has no taste st all, essentially everything is „A great idea“. However, its velocity is awesome. We build tons of featurs in no time. but lets not talk about the code, ok? :-)

      I dont think Ill fire the human nor the agents. Both bring a lot of value

      • olmo23 2 hours ago
        I would be extremely offended if I heard someone claim they "prompt" me. It's very disrespectful.
        • lmf4lol 1 hour ago
          It was obviously meant as a funny joke ;-)

          But on a more serious note. Humans "prompt" each other all the time. Especially in a Boss->Employee relation.

          Defintion of "to prompt":

          1. To cause or inspire: To make something happen or motivate someone to take action. For example, a loud noise can prompt you to look outside.

          2. To assist or cue: To help an actor or speaker remember forgotten lines or words.

    • gizajob 3 hours ago
      Confusion around concepts such as intelligence, consciousness, self-awareness, sentience, sapience and aliveness is causing a huge difficulties in the debates around LLMs and AI. Hofstadter didn’t exactly say that self-reference and strange loops were intelligence, but something deeper.
      • dgellow 3 hours ago
        The fact that we constantly switch between the colloquial definitions of those terms and more specific, technical ones doesn’t help
      • jdw64 3 hours ago
        [dead]
    • someothherguyy 2 hours ago
      there is deeper thought on this topic beyond douglas hofstadter (~20 years ago for strange loop and prior for GEB) and scott aaronson

      any cognitive science textbook will bring some thoughts, or a cursory google scholar search

  • BottieZimmie 1 day ago
    [flagged]