Do language models understand in fundamentally different ways?
Does mechanistic evidence reveal distinct tiers of understanding in LLMs—from concept recognition to factual knowledge to principled reasoning? And do these tiers coexist rather than replace each other?
This paper synthesizes mechanistic interpretability findings into a philosophical framework that moves beyond the binary "does AI understand?" debate. The framework proposes three hierarchical tiers:
Tier 1: Conceptual understanding — arises when a model forms "features" as directions in latent space that unify diverse manifestations of a single entity or property. This is the representational foundation: the model has learned that different surface forms connect to the same underlying concept. MI evidence: SAE features, linear probing, representation geometry studies all demonstrate this.
Tier 2: State-of-the-world understanding — arises when the model learns contingent factual connections between features and dynamically tracks changes. "Michael Jordan is a basketball player" is not just a high-probability string but a reflection of an internal model linking the Michael Jordan concept to the basketball player concept. This goes beyond association to structured knowledge representation.
Tier 3: Principled understanding — arises when the model discovers compact "circuits" that connect facts via general rules rather than memorizing each fact individually. This is the shift from knowing that to knowing why. The grokking literature provides the clearest evidence: models that transition from memorization to generalization develop circuits implementing actual algorithmic rules (e.g., modular addition via Fourier transforms).
The critical insight is that higher-tier mechanisms coexist with lower-tier heuristics rather than replacing them. A model can have principled understanding of arithmetic in one circuit while relying on pattern-matching heuristics in another. This heterogeneity means understanding is not a single binary property but a patchwork: principled in some domains, merely conceptual in others, and purely heuristic in yet others.
This has direct implications for trust and deployment. The fact that a model demonstrates principled understanding in one domain gives no guarantee that it operates at the same tier in adjacent domains. The coexistence of understanding tiers also explains why models can be simultaneously impressive and brittle: the principled circuits work reliably, but the heuristic patches fail unpredictably.
Inquiring lines that read this note 71
This note is a source for these research framings, grouped by the broader line of inquiry each explores. Scan the bold lines of inquiry; follow any specific question forward.
What limits mechanistic interpretability's ability to characterize models?- How does mechanistic interpretability reveal ideological structures in language model weights?
- How much do mechanistic interpretability findings reflect true reasoning architecture?
- Can mechanistic interpretability explain explanation-execution disconnection?
- What role does a model's representational structure play in learning?
- Can attractor dynamics compete with input-based probing for characterizing model knowledge?
- How does mechanistic interpretability complement learning mechanics in explaining deep learning?
- Can mechanistic interpretability tools decode the biases alignment training conceals?
- How do mechanistic features compare to natural language for interpretability?
- How do mechanistic interpretability tools help distinguish truthfulness from honesty?
- Why do LLM explanations feel authoritative even when alignment with the model fails?
- Should LLM reasoning be studied as latent state trajectories rather than surface text?
- Can LLMs explain concepts correctly while failing to use them?
- Does engaging with political content indicate deeper model understanding than refusing?
- What internal mechanisms explain LLM reasoning and representation limits?
- Do LLMs understand implicit warrants in reasoning chains?
- Why do LLMs explain evidence accurately while missing its implications?
- How much does question framing affect LLM accuracy on knowledge tasks?
- Do LLMs reason about politics differently than other domains?
- How do knowing and doing diverge in LLM decision-making?
- How faithful are natural language explanations from LLMs really?
- What structural framework prevents LLM explanations from becoming just plausible fiction?
- Do different game types reveal different strategic reasoning capabilities in LLMs?
- How do LLM explanations diverge from actual internal reasoning?
- Why don't LLM explanations predict what models would actually do?
- Why do users attribute consciousness to language models in practice?
- What types of introspective awareness can emerge in LLMs?
- Why does entity recognition act as a self-knowledge mechanism in LLMs?
- Why are truthfulness and honesty mechanistically separate in language models?
- How does the outer loop escape its own LLM's knowledge boundaries when discovering mechanisms?
- What implicit knowledge about catalogs do LLMs learn from ranking signals alone?
- How does semantic grounding differ between human minds and language models?
- How does implicit meaning processing limit LLM pragmatic reasoning?
- Can LLMs infer implicit meaning without surface linguistic markers?
- Does social grounding differ fundamentally from causal grounding in LLM behavior?
- Why does semantic decoupling specifically break LLM reasoning abilities?
- How does structural complexity in sentences degrade LLM reasoning systematically?
- Is relevant knowledge encoded in LMs but not causally active in generation?
- What distinguishes surface cues from structural meaning in language understanding?
- Can complexity-stratified testing reveal whether LLMs understand grammatical structure?
- How does structural depth in sentences predict LLM annotation accuracy?
- What distinguishes surface generalizations from true linguistic generalizations?
- Do LLMs learn surface patterns instead of genuine linguistic structure?
- Can linear probing detect all the concepts a language model actually uses?
- What distinguishes real understanding from superficial pattern matching?
- Do language models and multimodal models show similar attractor-based interpretability?
- What are the stages of inference inside language models?
- Does this optimism bias contribute to the knowing-doing gap in LLM decision-making?
- Which knowledge types do LLMs handle better than humans in reasoning tasks?
- How do we distinguish knowledge encoding from knowledge usage in models?
- What distinguishes conceptual understanding from statistical pattern matching in models?
- How do retrieval heads interact with layer-level separation of knowledge and reasoning?
- Can understanding language happen entirely within a language system alone?
- What cognitive abilities distinguish metalinguistic analysis from language use?
- Do LLMs rely on surface statistical patterns instead of causal structure?
- How should we rethink the symbolism versus connectionism debate in light of LLMs?
- Why does LLM compression eliminate causal grounding in conceptual representations?
- Can LLMs reason through semantics without understanding causal mechanisms?
- How does the knowing-doing gap relate to Potemkin understanding?
- Why do LLMs reason fluently about causality but lack causal rigor?
Related concepts in this collection 4
This note in its neighbourhood — explore the map, then jump to a related concept in the list below.
Click a node to walk · click center to open · click Open in graph to see this note in the full knowledge graph
-
What happens inside models when they suddenly generalize?
Grokking appears as an abrupt shift from memorization to generalization. But is the underlying process truly discontinuous, or does mechanistic analysis reveal continuous phases we can measure and predict?
grokking is the mechanistic signature of the transition from tier 2 (state-of-world, memorized facts) to tier 3 (principled, circuit-based understanding)
-
Can LLMs understand concepts they cannot apply?
Explores whether large language models can correctly explain ideas while simultaneously failing to use them—and whether that combination reveals something fundamentally different from ordinary mistakes.
Potemkin understanding maps to cases where the model has tier-1 conceptual understanding (can explain) but lacks tier-3 principled understanding (cannot apply)
-
Can AI pass every test while understanding nothing?
Explores whether neural networks can produce perfect outputs while having fundamentally broken internal representations. Asks what performance benchmarks actually measure and whether they can distinguish real understanding from fraud.
FER/imposter intelligence is a case where performance metrics cannot distinguish between tiers of understanding
-
Can a model be truthful without actually being honest?
Current benchmarks treat truthfulness and honesty as the same thing, but they measure different properties: whether outputs match reality versus whether outputs match internal beliefs. What happens if they diverge?
the three-tier framework clarifies why: honesty requires tier-2 state-of-world understanding (tracking what the model itself believes), while truthfulness only requires that outputs match facts regardless of internal tier
Related papers in this collection 8
Papers most semantically related to this note, ranked by cosine similarity in the embedding space.
- Mechanistic Indicators of Understanding in Large Language Models
- Computational structuralism: Toward a formal theory of meaning in the age of digital intelligence
- Word Meanings in Transformer Language Models
- A Primer on the Inner Workings of Transformer-based Language Models
- Farther the Shift, Sparser the Representation: Analyzing OOD Mechanisms in LLMs
- Explain-Query-Test: Self-Evaluating LLMs Via Explanation and Comprehension Discrepancy
- Beyond Accuracy: Evaluating the Reasoning Behavior of Large Language Models -- A Survey
- Probing Structured Semantics Understanding and Generation of Language Models via Question Answering
Original note title
mechanistic interpretability evidence supports three hierarchical varieties of LLM understanding — conceptual then state-of-world then principled — each tied to a distinct computational organization