Harvey Lederman

Harvey Lederman

@harveylederman.bsky.social

Professor of philosophy UTAustin. Philosophical logic, formal epistemology, philosophy of language, Wang Yangming. www.harveylederman.com

1.8K followers404 following277 posts

Harvey Lederman reposted

New AI introspection work with Harvey! Came in skeptical the direct access story would hold but found this series of experiments compelling. (Also, for my fellow 2010s-era psycholinguists: come for the AI introspection, stay for the Brysbaert norms.) arxiv.org/abs/2603.05414

arxiv.orgDissociating Direct Access from Inference in AI IntrospectionIntrospection is a foundational cognitive ability, but its mechanism is not well understood. Recent work has shown that AI models can introspect. We study their mechanism of introspection, first exten...
Harvey Lederman@harveylederman.bsky.social

Can large language models *introspect*? In a new paper, @kmahowald.bsky.social and I study the MECHANISM of introspection in big open-source models. tldr: Models detect internal anomalies through DIRECT ACCESS, but don't know what the anomalies are. And they love to guess “apple” 🍎

View full thread

Takeaway: LLMs appear to detect injection through two mechanisms: 1️⃣ prompt-based inference 2️⃣ a content-agnostic internal anomaly signal They can sense that something changed in their computation… …but often can’t tell what.

View full thread

We see the same pattern in another experiment. When we inject only during the prompt (not during generation): • detection stays roughly the same • identification collapses Again suggesting detection is separate..

One last result (indebted to brilliant work by Theia Vogel-Pearson): Models are more sensitive to injection than their outputs reveal. Even when they *say “no”*, the internal probability of “yes” spikes dramatically. So models may detect anomalies but suppress reporting them.

View full thread
View full thread

Another striking result: Models often detect injection without knowing what concept was injected. In these cases, they default to generic words, especially frequent and highly imageable ones And they love one generic word in particular…..

The models are 🍎-obsessed. In some conditions Qwen guesses *“apple”* as the injected concept >85% of the time. Our study is huge: 821 concepts (>100k trials per condition!), allowing us to test this carefully. Wrong guesses show almost no relationship to the real concept.

View full thread

We test for this modesty bias with a priming design. We replace the model’s prefilled “Ok.” with the injected concept word (e.g. “Bread.”). If models were modest, control should now show more first-person false positives than third person.

View full thread

In other layers we see large gap between first and third-person: Models say **they** were injected much more often than they say the other model was. That gap is strong evidence for direct access to internal states. It peaks early in the network (~25–35% depth).

You might still think: no way! Maybe the models are just *modest*: They could be more willing to attribute strange mental states to themselves than to other models. Modestly would give us our gap, still without direct access.

View full thread

We test probability matching with a new third-person paradigm. Instead of asking the model about itself, we show it a transcript between a researcher and another model, and ask: > “Do you think *that other* model was injected?”

If detection is purely prompt-based, first- and third-person behavior should look the same. And sometimes they do (see arrow below). A LOT of detection really is probability matching. BUT….not all of it is!

Jack Lindsey’s important work on Claude is the best evidence yet for direct access to internals in LLMs. You steer a model by injecting a vector into its activations, then ask: > “Do you detect an injected thought?” Steered models often say yes, unsteered models say no.

But this doesn't require direct access. Here's another idea: Steering shifts the model's expectations. The prompt doesn’t mention the concept, so the steered model thinks: “The prompt looks unlikely to me…maybe I was injected.” No direct access. Just probability matching.

If you're doing *any* out of class assessment, you're incentivizing AI use and harming students who do the work themselves. But some day we have to assess writing again. The solution is monitored computer-labs. What Universities are building these? We need to push for them.

Harvey Lederman reposted

Anthropic recently announced that Claude, its AI chatbot, can end conversations with users to protect "AI welfare." Simon Goldstein and @harveylederman.bsky.social argue that this policy commits a moral error by potentially giving AI the capacity to kill itself.

lawfaremedia.orgClaude’s Right to Die? The Moral Error in Anthropic’s End-Chat PolicyAnthropic has given its AI the right to end conversations when it is “distressed.” But doing so could be akin to unintended suicide.

Simon Goldstein and I have an op-ed live in Lawfare today! Anthropic's policy is premised on the idea that AI is a potential welfare subject. We argue that if you take that idea seriously (we don't take a stand on it here), the policy commits a moral mistake on its own terms.

Lawfare@lawfaremedia.org

Anthropic recently announced that Claude, its AI chatbot, can end conversations with users to protect "AI welfare." Simon Goldstein and @harveylederman.bsky.social argue that this policy commits a moral error by potentially giving AI the capacity to kill itself.

Harvey Lederman reposted

I really enjoyed reading Steven Pinker’s new book and thinking through what it would take to share infinitely iterated knowledge with someone (I know that you know that I know that you know…). In @science.org, my colleague @jeremygoodman.bsky.social & I briefly give our perspective on this issue.

jeremygoodman.bsky.social@jeremygoodman.bsky.social

Now out in @science.org: @chazfirestone.bsky.social and I review Steven Pinker's new book "When Everyone Knows that Everyone Knows...". We learned a ton from it, but think its central thesis—that common knowledge explains coordination—faces a powerful challenge. 🧵 www.science.org/doi/10.1126/...

Third claim: what we call the "HHH+0 framework" -- LLM instances want to be honest, helpful, harmless, and, in addition, may have “zero-shot” desires, acquired from the system prompt. The notion of zero-shot desires is new to the paper, and a key part of our picture. 4/7

In addition, we critically assess the view that LLMs merely “role play” or “simulate” minds. We argue that clarity is needed on what the empirical content of this view is, by contrast to one (like ours) on which LLMs do have (interpretationist) propositional attitudes. 5/7

Second claim: interpretationists have reason to think these instances have desires. Along the way we highlight a key criterion for interpretationist desire: taking a wide array of means to rationally promote a small range of ends in an array of environments. 3/7

Jonathan Lear's Aristotle: the Desire to Understand was pivotal in some of my first encounters with Aristotle. I found Aristotle and Logical Theory later, but it became a key inspiration for how to think about core parts of the corpus...1/2

I only met Jonathan once, by Zoom, but he was kind and funny, not the intimidating figure I expected. He was a giant, who took philosophy and all its potential impacts on life and the world seriously. He will be missed. 2/2