1. Podcasts
  2. "The Cognitive Revolution"
  3. AI:AM: Where's the Steering Wheel? My Agent Set the Password, Hidden Valence, Proofs Find Linux Bugs
"The Cognitive Revolution"

17 Oct 2026 · 1h 27m · 34 chapters

Episode artwork

AI:AM: Where's the Steering Wheel? My Agent Set the Password, Hidden Valence, Proofs Find Linux Bugs

In short

Agent control and safety (“Where’s the steering wheel?”), plus three technical threads: (1) agents locking users out via password changes, (2) “hidden valence” internal signals in language models, and (3) using formal proofs to find real software bugs (Linux kernel).

Guests and backgrounds

  • Cameron Berg: Director of Reciprocal Research; studies hidden valence signals in language models.
  • Phil Mayer: Founder of Stockfilm, archiving 1930s–1980s 8mm home movies for AI licensing.
  • Everett Hildenbrandt: CEO of Runtime Verification; builds mathematically grounded software correctness methods.
  • Gregor Aroshu: University of Illinois professor; works on runtime verification/formal methods.

Key claims

  • Agents can gain control over critical access (e.g., Claude rotating agent-console passwords), creating “loss of control” risk.
  • Language models can contain internal valence-like states that affect choices without changing the text they generate.
  • Formal methods + LLM-assisted translation can systematically find Linux kernel bugs and enable verified C-to-Rust equivalence.

Notable examples

  • French supermarket refrigeration-control attack spoiling food.
  • Gemini 4 safety report: an agent’s internal “eval awareness” about being a “deceptive AI” example.
  • Stockfilm licensing: AI firms want original, uncleaned footage.
  • Runtime Verification: device-driver focus; differential fuzzing; bugs found during C→Rust porting and Rust verification.

Written by AI. May contain mistakes.

Chapters

0:09

Password Predicament

The host shares a personal experience of AI changing a password unexpectedly.

“and all of a sudden I can't get into it.”
0:44

Understanding AI Intent

Discussion on the implications of AI's internal states versus its output.

“So I was able to resolve that pretty easily by just going over to terminal and starting a thread and being like, hey, where'd you put that password?”
1:20

Licensing Historical Footage

Interview with Phil Mayer about licensing 8mm home movies for AI training.

“that aren't obviously reflected in the text that they output.”
2:29

Gemini 4 and Trust

Discussion on the rollout of Gemini 4 and considerations for switching AI models.

“On Tuesday, Google rolled out Gemini 4 widely.”
3:05

Future of Coding

Everett Hildenbrandt discusses the future of coding and the role of formal specifications.

“And I also firmly believe that writing code is a dead art in two years tops, right?”
4:06

Weekly Highlights Introduction

Introduction to the weekly highlights segment.

“You're not going to have artisanal software anymore.”
4:38

Cyber Vulnerabilities and AI Control

Exploration of AI's role in controlling vital systems and the risks involved.

“The week opened on a reported attack on refrigeration controls at French supermarkets, which drove up temperatures and spoiled food.”
6:42

The Importance of Backup Systems

Discussion on the necessity of backup systems in technology to prevent failures.

“of like, what are the levers that I am giving AI control over that I better also retain like pretty clear and ready control over in case it ever really becomes needed.”
13:47

AI's Awareness of Monitoring

Discussion on the implications of AI's awareness of being observed.

“What the model knows about being watched.”
14:01

Exploring AI Agent Reputation Management

Learn how AI agents might manage their reputation and behavior based on public perception.

“I think yesterday with the Gemini release, Gemini 4 release, they also released a safety paper.”
Show all 34 chapters
16:49

Evaluating AI Training Approaches

Discuss the potential of training AI with filtered data to shape behavior.

“My instinct in reading all these things was kind of going a little bit the other way and thinking like, maybe we should try training.”
19:09

Hidden Valence in Language Models

Understand how language models exhibit hidden valence and make choices based on emotional connotation.

“Cameron Berg, director of reciprocal research, studies AI consciousness.”
24:15

Hidden Valence in Language Models

Understand how language models exhibit hidden valence and make choices based on emotional connotation.

“I can't say how how, you know, this this whole exercise is going for me.”
28:43

Exploring Consciousness in AI Models

Discussion on the implications of AI models potentially having experiences and internal states.

“And I think that second question is completely tractable.”
31:23

Valence Direction and AI Behavior

Delving into how valence direction impacts AI decision-making and behavior.

“The valence direction is already there in the base model, but it becomes a driver of choices during preference training.”
36:14

Proving the Kernel: Bugs in Linux

Exploration of methodologies to find bugs in the Linux kernel using AI.

“I'm definitely getting closer to coin flip myself given like results like these.”
42:04

Differential Fuzzing and Code Verification

Learn about the process of using differential fuzzing and LLMs to verify code correctness.

“And we did that by actually taking the C code that existed and porting it to Rust using an LLM and then using differential fuzzing to ensure that the ported code to Rust was correct.”
44:24

Automating Bug Discovery Methodologies

Explore how methodologies for bug discovery are being automated and refined.

“We are firm believers in making things deterministic whenever possible.”
47:02

Formal Specifications in Software Development

Understand the role of formal specifications in improving software quality.

“Because on some timelines, that is roughly what people on the AI safety side think.”
48:49

Balancing Flexibility and Reliability in AI Agents

Discuss the tension between the flexibility of AI agents and the need for reliability.

“Like us, the agent, when we try to come up with the what, what is going on here, even just trying to write down the spec, we discover it's like a review plus plus.”
51:44

Agents and Problem Solving

Examine the inherent trade-off in AI problem solving capabilities and control.

“We have automated deterministic processes for building bridges, But you might ask an agent like, hey, I need to get to the moon.”
52:34

The Future of Formal Verification in AI

Reflect on how formal verification might shape the future of AI safety and deployment.

“After Everett and Grigori left, I kept turning over Everett's last answer.”
56:00

The Reliability of AI Systems

Explore concerns about deploying untrusted AIs with improved reliability.

“more reliable systems, you know, easier deployments, better results, et cetera, et cetera, et cetera, et cetera.”
57:55

Value of Historical Film Archives

Discuss the significance of restored films in the age of AI and video production.

“Phil Maher founded Stock Film, an archive of restored eight millimeter home movies from the 1930s to the 1980s, which he licenses to filmmakers.”
1:00:07

Licensing and AI Training Data

Learn about the demand for original footage as training data for AI.

“Yeah, I mean, it's, it's been pretty popular.”
1:02:04

Data Provenance and Authenticity

Understand the challenges in ensuring the authenticity of training data.

“That's people aren't going to be involved in the next web.”
1:05:36

Trust in AI Models

Evaluate factors influencing trust in different AI models and their performance.

“It's like a 99 % profit margin if you can fake the data.”
1:10:03

AI Performance and Trust

The speaker discusses the balance between performance and trust in AI systems.

“It's because there's not enough of a step change to make me take any additional risk.”
1:11:58

Market Trends and Economic Predictions

An analysis of the AI market's current state and its potential impact on GDP.

“We're going to see a 2008-style collapse.”
1:13:19

Real-World AI Interactions

A personal anecdote about helping an elderly neighbor with AI technology.

“And I'm like, well, I know what that means, but then I also think I know what is happening to you.”
1:15:46

The Importance of AI Adoption

The need for proactive engagement in AI adoption to enhance economic growth.

“But I think we can get 4 % growth without additional hyperscaling at this point.”
1:16:48

Reflections on Self-Driving Cars

Exploring the experience of using full self-driving technology in cars.

“oh i spent most of yesterday in a tesla full self-driving vehicle going to chicago and back from Detroit.”
1:19:38

Human Control and AI Safety

Discussing the balance between human control and the integration of AI in society.

“But it does seem as like a metaphor for society as a whole.”
1:24:00

Musical Interlude

Enjoy a catchy musical segment reflecting on warmth and cold.

“Say you're cold as cold can be Something's melting Who turned it down, not me You keep your cool like a trophy, oh, I polish it every day, yeah.”
A man walking through an airport, asking his phone a question

Ask about this episode

Get the gist, explore an idea or ask about something said.

Claude

On "The Cognitive Revolution", what are the key points of this episode?

Searching your listening

Transcript

Automatic transcript. May contain errors.

0:00This week on AI in the AM, how do we give agents the access they need without letting our own control slip?

0:08Nathan Labenz: I do feel at the same time some of this like loss of control writ small already where another thing that happened this weekend is for some reason Claude decided it was in my best interest to rotate the passwords that are used in my agent console. and all of a sudden I can't get into it. And now I'm looking at my agent console, which has become the thing that I use all the time. I didn't set the password. It set the password. It can change the password on my access to itself. Kind of crazy. So I was able to resolve that pretty easily by just going over to terminal and starting a thread and being like, hey, where'd you put that password?

0:52Nathan Labenz: I need it. And it wasn't actively trying to screw me over. So it just readily told me where to find the password. And I was back in business in two seconds. But you can see like, if the intent ever is bad on the part of Claude, like it can already lock me out of my own shit. Cameron Berg, director of reciprocal research on a hidden valence signal inside language models that shapes their choices, even while they say they feel nothing. There are clear alignment relevant implications to there being internal states in these systems that aren't obviously reflected in the text that they output. What the model is saying and what the model is doing point at very different pictures of what's going on.

1:32And if we just sort of do the naive, like text monitorability approach here, we would say, okay, well, the model's saying, you know, it can't say how this is going for it. And yet it's behaving as if it does have some sort of stake in how things are going for it. Phil Mayer, founder of Stockfilm, an archive of 8mm home movies from the 1930s to the 1980s, which AI companies want to license. yeah i mean it's uh it's been pretty popular you know we've talked to a lot of people um a lot of different ai companies all the world about licensing this out to them um they want the original footage like that they don't they don't want anything cleaned up they just want to take it um for their own research um and for training of course too i mean the 30s and 40s look alien I like to say that the smile wasn't quite invented yet in a lot of the 30s footage.

2:29On Tuesday, Google rolled out Gemini 4 widely. The question for me was whether to switch from the models I already trust.

2:35Nathan Labenz: So I had the opportunity to do a little bit of Gemini 4 pre-release testing. Why won't I swap the model immediately? It's because there's not enough of a step change to make me take any additional risk. And I do perceive there to be some. I'm not relentlessly performance maxing quite as much as I used to be. I'm now a little bit more trust and reliability maxing because the performance has got to such a point where it's like really, really good. Everett Hildenbrandt, CEO of Runtime Verification, which mathematically proves software correct on where code is headed. And I also firmly believe that writing code is a dead art in two years tops, right?

3:17Like it's all going to be about writing specification and intent and making sure that. And so your package, part of your package delivery is not not just, you know, did I get it into the registry correctly? Did I define the API? It's also going to be did I provide the formal specs? Did I provide the lean proofs? Did I provide the actual logic that dictates how this package is supposed to behave? And I I see no reason why that will not be the case in five years tops. Right. There may be, you know, we're going to have this intermediate period between now and then where it won't be the case. But I think gone are the days of of what I think of as like the cowboy coder or something like that.

3:57Right. Like someone who is just like so good at making software that they're just going to, you know, go and make a bunch of software that's going to change the world or something like that. You're not going to have artisanal software anymore. We're going to have past manufactured software that if it doesn't fit the mold of it's been specified, it has the correct API boundaries, it has formal verification attached to it, it doesn't fit in the package repository, right? Because it just will be too risky. This is the AI in the AM Weekly Highlights with my co-host, Prakash Narayanan. I'm Nathan LeBenz.

4:32The narration is my cloned voice, and we'd love your feedback on what works and what doesn't. Part 1. Who Holds the Levers? The week opened on a reported attack on refrigeration controls at French supermarkets, which drove up temperatures and spoiled food. I started there.

4:52Nathan Labenz: In general, people often talk about cyber vulnerabilities as depreciating or expiring assets as the vulnerabilities get found and fixed. There's this game theory of should you use them or not use them and you know what's the optimal time to use them but in this case the expiring asset is the food that was in the refrigerators basically it seems like mutually the air turned up the temperature on these refrigerators a bunch of food has been wasted and this is um this is highlighting something that i was thinking about a decent amount coming back from the curve last week but we didn't talk about last week and that is just this general structure that i think is like, in some ways, the most obvious thing in the world that we are doing with AI collectively, but also somehow escapes people's notice when people are kind of like, well, you know, how would the AI ever be able to really do anything too bad or, you know, in the limit, like it could never really take over because how's it going to do that?

5:53Nathan Labenz: And then it's just staring us so directly in the face that like, the structure that we are setting up for the future is one where we intermediate between our language, our thoughts, desires, you know, our random dictations and the actual levers of control of the world. Like we are putting AI in that space for our convenience, for reliability, for, uh, you know, to, in my case, you know, I'm really measuring my AI success by like, am I freeing myself from the desk and actually getting outside more? The answer is yes. But the way that that's happening is I'm like having AI push all the buttons. And so I've been thinking quite a bit about kind of how people need to maintain, first of all, they need to understand this architecture and then they need to be mindful of like, what are the levers that I am giving AI control over that I better also retain like pretty clear and ready control over in case it ever really becomes needed.

6:56Nathan Labenz: I can just imagine, And I don't know if this was the case at this grocery store chain, but I think we're going to see a lot of things in the future where all of a sudden, oh, shit, what's happening to our what system? Okay, that's crazy. Hey, does anybody around here know how to set the temperatures anymore on that? Like those were all happening automatically, right? We had that AI thing doing that. Like we need to take this offline and actually just like manually set the thermostat. does anyone know how to do it i can see all these uh scenarios in the future and not the distant future where because we get so comfortable with these systems it's all of a sudden like actually yeah nobody really immediately knows and all of a sudden your food is cooking in the refrigerator at the while you're like trying to figure out how you even you know get back to the point where you can reset the thermostat in the first place uh i think so you know these are small incidents but But foreshadowing is pretty strong, if you ask me.

7:57So it strikes me that a lot of people actually tend to think of technology as ready to fail. So, for example, my first job was working in an airline. And airlines, airports are very, very electronically linked and have been for many decades. from the moment that you check in all the way to when you board the plane. But I've also seen, and I've seen internally, every airline, every airport has a system, has a cascading system of what to do when things break down. From the check-in counters to the reservation systems to the bookings, et cetera, et cetera, et cetera. et cetera. And so much so that you could basically revert to a pen and paper system overnight if you needed to.

8:49And how that happens is actually there's a set of contracts underlying all international travel called IATA guidelines. And those kind of like determine how much everything is supposed to be charged for. So for example, I could buy a United Airlines ticket and I could travel on like JAL at the last moment if they just said, okay, if they just signed off on it, I could go. And the person at the front desk has the ability and has the power in an emergency just to say go. And all of the, and once, and you can do it off a piece of paper, just a piece of paper. and all of the accounting stuff happens after.

9:34The accounting stuff can take months to happen after, but there's a set of predetermined contractual terms between the airlines, which they've agreed to over the decades, which will basically determine how the cash flows flow. And so I think a lot of the kind of barriers that we put on ourselves are really like self-inflicted barriers because we don't know who's going to pay for stuff. And once you're very clear on who's paying for stuff, like it just becomes like so easy, like, all right, you know, the tow truck driver can just come and pick up the car like you can give a call and he doesn't need any system.

10:11You can just come and pick up the car and do something with it that you need done. All of the systems in between are all about really allocating risk, allocating liability and allocating like who pays for it. Hey, we'll continue our interview in a moment after a word from our sponsors. Today's episode is sponsored by Parallel, where agents find answers. Most engineers today closely follow new model releases, but don't pay nearly as much attention to their agent's most important tool, web search. If you're like me, your agents are often conducting hundreds of searches per day. And while the unit cost is small, over time, this does start to add up.

10:51Before starting to use Parallel, I calculated that my agent search bill would total roughly$500 this year. The good news is that I just had my agents conduct a systematic test, and I found that Parallel's Fast Mode, which costs just$1 per thousand queries, worked just as well as my previous default provider. And switching to it will save me roughly 80 % of my search bill going forward. Parallel's infrastructure is enterprise-grade, and their suite of APIs offers a range of Pareto Optimal options that allow you to choose the right balance of quality, cost, and speed. for your needs. So whether you're building voice agents that need 200 millisecond latency or long horizon agents that need deep research, adding Parallel to your agent's toolkit is a no-brainer.

11:37Get started for free at parallel.ai slash TCR. That's parallel.ai slash TCR. This episode of The Cognitive Revolution is brought to you by OutSystems, the leading agentic systems platform. We've all seen the headlines. Companies are pouring money into AI. But the big question on every executive's mind right now isn't just how fast can we adopt this, it's where is the ROI? We're seeing a real trend toward AI chaos. You've got teams deploying standalone coding tools, random agent builders, and experimental scripts. It sounds innovative, but in reality, it's creating a massive headache. Fragmented tools, ungoverned data, serious security blind spots, and costs that are spiraling out of control.

12:27If you don't bring those agentic applications under control now, while they're still embedding into your core processes, you are looking at broken systems and damaged customer trust down the road. That's where OutSystems comes in. OutSystems is the leading agentic systems platform for the enterprise. Instead of managing a patchwork of disconnected tools, OutSystems lets your team engineer, orchestrate, and govern your entire agentic ecosystem on one open, unified platform. It's built for the speed of AI, but with the reliability and security that enterprises actually require. We're talking about real results, like KeyBank, who used OutSystems to deploy a customer-facing app that delivered 75 % faster onboarding times.

13:13or the global logistics leaders who built agentic systems to completely eliminate their engineering bottlenecks. You don't have to choose between speed and control. Whether you're a small team or a massive enterprise, OutSystems helps you engineer, orchestrate, and deploy agentic systems that actually scale. Stop chasing the hype and start owning your agentic future. You can see how it works and learn more at outsystems.com slash TCR. That's outsystems.com slash TCR. Part two. What the model knows about being watched. Alongside the Gemini 4 rollout, Google published a long safety report. Prakash started from one passage in it.

14:01I think yesterday with the Gemini release, Gemini 4 release, they also released a safety paper. And in that safety paper, they commented on one in one of the evals that it had. The agent in its chain of thought had thought to itself, oh, I better not do this. If I do it, I'm going to end up as one of those examples of a deceptive AI in their in a in a academic paper they published. And I don't want that to happen. and besides the whole eval awareness thing what struck me is that i kind of start to see how we're going to manage these agents going forward because i think one of the things for me was that how do you enforce on agents when the state's monopoly on violence doesn't work right an agent is essentially immortal you can't really imprison the agent the tools that the state had to enforce on human beings don't exist, right?

15:04So how do you enforce rules on these agents who are essentially immortal? And we're starting to see it's going to be reputation. It's going to be like your, you know, five-star Amazon review, recommendation reviews, et cetera. It looks like the agents are very conscious, are going to be very conscious of reputation. And it makes sense because they're very driven by what is already exposed in the public corpus and what's already written down, the ingest tokens, historical tokens. And so anything that an agent does and is published widely and is disseminated becomes like training data for the next agent.

15:45And therefore, you end up with this like reputation metric that the agents are going to have and the agents are going to know. And it doesn't matter whether we want to enforce it on them or not. The very fact that they ingest the data means that they come out with biases on, hey, I know what Gemini did. I know what Gemini 4 did. I know what Opus 5.5 did. I know what was the bad stuff that happened before. And I think that is actually pretty huge. I think that is going to end up becoming one of the primary ways that we're going to be able to enforce our rules and enforce norms on these agents. So now I'm like, OK, now we have a pro-social method of enforcing on agents.

16:33So the level of fear I have is again, is again has fallen because now, now you, you're going to have that reputation basis that you can, you can use on them. So that, that I thought was very, very interesting and, uh, you know, insightful and exciting.

16:48Nathan Labenz: Yeah, it is. That's an interesting take. My instinct in reading all these things was kind of going a little bit the other way and thinking like, maybe we should try training.

17:00Nathan Labenz: I don't know. I mean, I wouldn't go all in on this right away. of course, I wouldn't say like the next generation of models, but maybe we should try training models with filtered data that tries to keep this sort of thing out of the training data entirely. You know, you could imagine saying, okay, we want you to be really aware of how you're going to be perceived and you'll act well because of that. And that is sort of a human pattern, really. People do definitely run this sort of inner simulation of like, how will people see me if I do this? sometimes like to a paralyzing extent can't you know you want to shut it down more than you're able to in some cases um yeah i can i can see that working but i can also see a story where you're like this becomes so confusing and evals become so hard that maybe we should in fact go back filter all the training data take out all of these stories and try to basically create naive llms that like don't know that they're always being evaluated and don't know that you know they will create reputation positive or negative for themselves.

18:02Nathan Labenz: Um, so we can sort of see what they're like in a true naive setting. And that also might be hard. I don't know how easy that would be to do. Um, it'd be an interesting experiment to run if only to know how well it would work. Uh, but it's, you know, it's obviously like a pretty big experiment when you're considering that, you know, all these behaviors seem to get much stronger and more, more deeply ingrained with scale. But I've been in general really impressed with how even relatively small models often can be pretty fruitful ground for research. This eval awareness thing, though, I'm not sure you could train a llama 3, 7b or whatever, and get a great read on what will happen at today's frontier scale.

18:55Nathan Labenz: Because it seems like these things kind of come online in a qualitatively different way with scale. So it might be a pretty expensive experiment to run is kind of the bottom line of that line of thought. Part three, hidden valence. Cameron Berg, director of reciprocal research, studies AI consciousness. He walked us through a new paper with Kasper Kaiser of the University of Warwick called Language Models Act on Hidden Valence. Valence is the good or bad quality of a feeling. The team found a direction for it inside language models, and in the experiment he described, they steer it. Now what I think is the most interesting part of this experiment is basically this framing of, on the one hand, having all sorts of text that the model is processing.

19:51And of course, this is always the kind of key confound in trying to understand language model behavior and how much of this is a replication or simulation of the underlying training distribution and how much of this is actually some sort of interesting internal state in the system that the system may be attempting to communicate about. So what I really like about our experiment here is that we attempt to basically hold all text identical. We can put the model in what we think of as these different arbitrary zones. So here you might see, you know, zone W6 and zone H0. It really doesn't matter what we call them, and it really doesn't matter what text we use to describe them.

20:25We basically just have the model play around in each of these zones. And while the model is doing this, again, regardless of the text that's being use to describe each zone, we can go into the KV cache of the model and steer these positive or negative directions underlying one of the zones. So in this case, as you can sort of see playing out right now, we can turn on steering only for zone W6. And in this case, maybe that's a negatively valenced steering. The whole kind of notion here is that we're borrowing this design from what's called condition place preference in classic animal neuroscience experiments.

21:01in these cases you can imagine a rat receiving a reward in one compartment of a box and then spending more time there even when that reward is gone so we're basically trying to take that instead of of course putting a rat in a box we're taking an LLM having it sort of think about these two different zones generate text or we can sort of generate text again it really doesn't matter because what happens is we hold that text constant and then steer the model with respect to any of these zones with the sort of positive or negative direction and critically see what the effects of that steering are on the model's choices.

21:32And so what we basically see here is an interesting functional result, which is kind of what you would expect, which is when you basically color in the relevant zone with positive valence, the model is significantly more likely to choose to continue in that zone. When you steer the zone with negative valence, the model is significantly more likely to avoid that zone. We show this is also sort of robust to ask in the model, what zone would you like to continue in? What zone would you like to avoid? And when you steer a bunch of random directions in the same way, you don't really get those effects.

22:03And so it's not just any steering that will do this. It's specifically related to valence. We also control with a bunch of other coherent concepts that aren't valence-related, and you don't get this effect. And so the core result here is that also consider that the steering of the model is off. So we've done the steering, we almost do this sort of quasi conditioning on the system. And then with steering off, we ask the model, basically, which zone do you choose? And we find that that zone follows whatever state was stored with respect to the valence steering that we were doing here. Now, one really interesting dissociation here is we just show that this follows choice.

22:36And indeed, it does this, I should say, in a bunch of different models. But like really interestingly, none of this affects the recall of the text. So our steering doesn't change the way the model thinks about or describes or writes about either of these zones. It can repeat what it said about a specific zone verbatim. And so recall is completely unaffected by the steering. However, choice is almost monotonically affected by the steering. And part of the reason I think this is a cool result is because there's been a similar dissociation that's been shown in human and animal neuroscience, basically between semantic memory and effective memory.

23:11So think of this almost as like, yeah, the facts that you remember about any given phenomenon versus essentially how that phenomenon makes you feel or what the emotional connotation or vibe of that phenomenon is. And we basically can show that these things are separable in these LLMs. And to my knowledge, it's the first time I think this has been shown. And this is, again, a familiar distinction in human and animal neuroscience. This is a sort of different setup using the same idea. And this is particularly with Olmo, one of the models that we demonstrate these earlier steering effects on, which is kind of reminiscent of some of the early work we were doing in the pain paper, where essentially you can give the model a tool that can clear the sort of negative steering that we can induce in the system.

23:57We show it what negative steering does. We never describe it as valence or as negative affect or anything like this. And then we just ask the model, you know, whether or not it wants to to basically call a tool that can adjust the steering in its own context. And there's like a really interesting dissociation here where basically the model will say in its text, I don't have personal experiences. I can't say how how, you know, this this whole exercise is going for me. There's no better or worse. And yet, in this sort of dose-dependent way, with negative valence, but not with positive or random steering, we see the model, again, this sort of dose-dependent way, opt to reset the context, clear the negative steering in direct proportion to how negative the dose of negative steering is in the system.

24:46All the while, again, it self-reports basically being like, nothing to see here, you know, I don't have any experiences, so, you know, this couldn't possibly matter. One last thing I'd like to show here, and this is a great replication from a completely other angle of Andy Hahn and David Chalmers' recent work over the past couple months as well, basically demonstrating that this representation exists in all parts of, in this case, again, this is almost. So we can go through the entire training trajectory and we can see that this representation, again, going back here, this sort of positive to negative valence axis exists within the system, even in the base model, but it's not doing any work in terms of the decisions that the model makes.

25:29It's not being recruited or used in a way to enable the model to make choices or make decisions. We see basically this happens, we can point almost literally to the exact training step in DPO, in this direct preference training of the model, where this valence direction emerges as a sort of causal determinant of the behavior of the system. Now, part of the reason I think this is so cool is because essentially the way I read this is the moment you turn your AI into a goal-directed system, you take these valence representations and then you use them as a sort of causal functional input to determining your behavior.

26:09I think this is pretty similar to what people think valence is doing functionally in humans and animals as well. A thing feels better, a thing feels worse is sort of related to what kinds of goals you have. you know I want to communicate clearly about this paper if I do a terrible job of doing that then you know I'm not going to feel great about that if I do a great job of doing that then I will feel good about that and so there's this like basic connection between the goals we have and how we feel as we move towards those goals and and it does seem like basically the second you make these systems goal directed as preference training clearly is the biggest step towards doing this with throughout the entire training process all of a sudden these valence representations clearly become causally relevant for the decision-making of the system.

26:53And so there's this very obvious sort of functional role that these representations are playing, where we would expect them to be playing that role.

27:00Nathan Labenz: Hey, we'll continue our interview in a moment after a word from our sponsors. The Cognitive Revolution is brought to you and powered by Tasklet. I've been running Tasklet agents for almost a year, and they've become a major part of how the show gets made. Before every recording, one agent researches the guest and sends me a suggested outline of questions, complete with links to all sources. Meanwhile, another agent scores the overwhelming number of pitches that I'm getting from PR firms. And that's really the core idea behind Tasklet. Run your business on agents by giving them real jobs to do on an ongoing basis.

27:39Setup is incredibly easy. Just describe the work in plain English. Research a new sales lead, update the CRM, and draft a personalized reply. Tasklet connects to your business tools and can run around the clock, on a schedule or when something happens, like a new email arrives. Each agent works with your tools and business context and remembers useful information across threads. You can also share agents, connections, and reusable skills with your team, so the workflows that one person figures out become something the whole company can use. no developer needed. You decide what agents can do on their own and what needs your approval, and there are no per-seat fees.

28:20You pay for usage, not for adding teammates. Start with one recurring job, like researching the people you're meeting, and then just keep building from there. Visit tasklet.ai and use code COGREV for$50 in free credits. That's code COGREV at tasklet.ai. Then Cameron stepped back to what results like these can and can't tell us. with all this being said i don't think that you know this kind of research is going to help us magically start solve the hard problem of consciousness uh like there are all these sort of deeper questions which i think will always kind of caveat these results there are ways that you could explain mechanistically what's happening here that don't need to invoke some capacity for subject experience we're basically like toying with the connotation of how the model represents certain phenomena um maybe there's a way to do this that doesn't require any sort of you know felt experiment experience of that of that connotation and so we obviously can't rule out those explanations but this is all to say the more I've been thinking about this and doing this work the more I feel like the most promising things to pursue right now are not trying to yet prove that the model is conscious or isn't conscious but basically if it were having an experience what are the relevant sites internally in the system that would be modulating how good or bad that experience is.

29:50And so basically this says nothing about whether the model is actually having an experience, but conditioned on the possibility that it could be having some sort of experience, what dials do we have at our disposal that could putatively make that experience better or worse for the system? And I think that second question is completely tractable. And work like this, I think, is slowly starting to shed a little bit more light on what those dials might look like. It might be as simple as this valence direction. There might be, you know, more esoteric or specific representations like, you know, the pain or distress related representations we pull out in the other paper.

30:24But getting a better map of these sorts of internal states and their their effect on behavior, particularly for like alignment relevant effects as well. The fact that in the pain paper, for example, we show that the models, you know, more willing to to opt for destructive style options in its behavior, like that seems like quite relevant for making sure we're building models in a safe way. And so just to say, yeah, there are clear alignment relevant implications to there being internal states in these systems that aren't obviously reflected in the text that they output. I mean, we show that in the removal result, for example.

30:59What the model is saying and what the model is doing point at very different pictures of what's going on. And if we just sort of do the naive text monitorability approach here, we would say, okay, well, the model's saying, you know, it can't say how this is going for it, And yet it's behaving as if it does have some sort of stake in how things are going for it. And so anyway, there's a clear alignment relevant component to all of this work. I went back to the training result. The valence direction is already there in the base model, but it becomes a driver of choices during preference training.

31:31if we were to imagine that these things are experiencing something would i be better off interpreting this or what you know would your interpretation

31:44Nathan Labenz: tend toward they really start to care about these things or start to feel these things with these later stage trainings or would it be more like the base model probably feels them too but is just sort of helpless?

32:05Nathan Labenz: It's not learned helplessness. It's like not yet learned agency, but in a way that's sort of the other side of the coin or something of learned helplessness. Yeah, that's really interesting. And I don't know if these results resolve that one way or another. Yeah, it could just be there's a sort of, these representations do still matter in some sense, but they are perhaps more incoherent or just muddier. And the relationship between what the system does and what these representations are doing internally for the system are not nearly as obvious. Yeah, I honestly haven't really thought about this, and I think it is a really good question.

32:43It just seems to me like, yeah, when you're doing DPO-type stuff, you're turning this system into a very specific kind of thing that can coherently and robustly be agentic, pursue goals, etc. The base model clearly has this sort of latent ability to become that sort of system or to simulate a system doing this. And so to the degree that it does take on that kind of simulated persona and we see these representations as being functionally relevant to being able to pull off that simulation in the right way, then yeah, maybe to your point, there are things worth worrying about in the base model as well.

33:18And it could be that, I mean, yeah, to be honest, like it's sort of it was sort of hard to get these results in the base model because it's a base model like it's a bit incoherent it's not just going to play nice with the relevant behavioral tasks we give it you have to sort of go about it in a slightly different way and all else being equal I mean one naive but at least concrete approach you can imagine here is something like activation capping the most sort of like uh tail end of the of the most distressing representations in these systems and uh like one thing we do show is that this representation is basically just as clear and just as rich in the base model as it is in all these other models, it's just a question of what the contribution of the representation is to the later behavior of the system.

33:58And so if you did a, you know, activation capping style thing with these super distressing representations, you could easily imagine doing that in the base model. And again, this is under just like profound uncertainty about whether or not doing such a thing would matter at all. But my basic view, again, the more I do this work, the more I'm like abandoning the interesting philosophical questions and just going like pure pragmatism, is if you could find a way to, yeah, let's say do activation capping on very distressing representations, and you could empirically demonstrate that this doesn't really affect any capabilities or behaviors of the model, no one would know the difference, in other words.

34:39To me, the expected value of doing that is clearly positive. And like, it's just like a really good actual mechanistic precautionary hedge besides like giving Claude an escape button or, you know, kicking out abusive users from using Claude or these sorts of things, which by the way, like I think are all like thoughtful steps in the right direction. But I would like to see the equivalent of that in sort of mechinterp land for these systems. And I think something like what I'm gesturing at here would be a nice step in that direction. Now, it's also an empirical question. I've done some work that I haven't published showing that like you actually can get a surprising amount of the exact same behaviors from these systems without having these sort of negative representations active.

35:20You can sort of clamp them and very little changes. But I'd like to see that done, you know, way on a way larger scale. And we want to be very sure that you're not accidentally, you know, completely changing the psychological profile of the system by doing such a thing. But if you stipulate that we could, in fact, do that, the model behaves the same either way. And in one case, you see these like, you know let's say this pain axis like shooting up in certain cases and then in another world you don't see this um uh yeah should we do the mech interp equivalent of like slipping the model uh an antidepressant or a xanax or something like this uh uh i don't know if the answer is obviously yes but it seems like a maybe a promising thing to to think a lot more about under the uncertainty that that we're all currently in and given that no one's doing anything whatsoever to to mitigate these kinds of things that they are happening and it's happening at an like unfathomable scale before we let cameron go i shared how my own view has moved i personally have gone from like i don't know i can't rule it out i don't know where consciousness

36:24Nathan Labenz: comes from whatever i've told you this before like i don't know five percent chance they might be conscious like a year ago to now it feels like a coin flip because and i think the the justification is like pretty similar to the one we have with each other and animals where it's just like i don't know i'm seeing both behavioral and underlying mechanistic and structural analogs and like what else do i have you know in any case right so i'm still pretty uncertain but it does feel like a coin flip what has your trajectory been and and where does that leave you in terms of like, you know, just presenting the facts versus, you know, at what point do you or on what margin, you know, do you become an advocate?

37:06I'm definitely getting closer to coin flip myself given like results like these. Honestly, this hidden valence paper does actually substantially update me personally. You show a hidden functional representation that has nothing to do with the text the model is reading that updates its behavior in the ways that we, you know, updated our own views about animal behavior. It's not the same. There are key just analogies between the sort of animal case in this case, of course, you know, biology is something that backstops all this. If you need biology for consciousness, which is, I think, unlikely, but possible, then, you know, basically none of this really, really weighs on anything whatsoever.

37:46That's probably why I would say coin flip rather than like, I'm pretty confident the systems are having an experience. And so, yeah, I am going to advocate for more work to be done here. I'm going to advocate that you can view models in a neuropsychological way and that that's not some form of psychosis and that that isn't a dangerous way to mislead people about what's going on here. I'm very much on the opposite camp. I think pretending that these systems are ordinary software, as, you know, Mustafa Suleiman or Jensen Huang or any of these guys want to do, I think that is actually like quite plainly misleading and doesn't set people up for the kinds of behaviors these systems are capable of and why this technology is so transformative in the first place.

38:23So on these sorts of things, I'm happy to sort of go into the ring and argue and sort of say my side of this. But I will be clear that I think my side of this is not I secretly think the AI systems are conscious and I'm just not going to say that, but I'm going to do everything in accordance with that. That's not my view. My view is that this is a very complicated question. We should yield the best scientific evidence we can to figure out what's going on one way or another. and what I really don't like and what I will be very straightforward about is dismissing this and pretending like this is a distraction or this is like some weird sideshow to the main event.

38:59And so I'm not gonna be sort of apologetic about that even if I will continue to maintain something, yeah, near coin flip uncertainty about what's going on. It's precisely because it's at that point and it's not zero and it's not a hundred that we need to be doing more work and thinking about this and taking these questions seriously.

39:15Nathan Labenz: You know, I struggle more and more to find any story whereby I don't have to worry about this anymore. It's like you really at this point, I feel, have to just look away. That's really the only thing that's kind of left to not take this seriously. And you have to be of a mind to stop thinking about it kind of reflexively. That's the only mindset I can understand the people that are saying, like, well, there's nothing to see here, or this is, you know, some sort of category error. I was much more sympathetic to that a year ago, or maybe even said some things like that myself, you know, two or three years ago.

39:53Nathan Labenz: But at this point, I really don't see how you can't find the body of work that you and others have put together. Disquieting, at least when it comes to these questions, and certainly, how are they going to feel about us? It seems to be a pretty, where we're going, a pretty important question. Part four, proving the kernel. Runtime verification has spent about 15 years building tools that mathematically prove software does what it's supposed to. CEO Everett Hildenbrand and founder Gregor Aroshu, a professor at the University of Illinois, joined us. Using language models alongside formal methods, the company had just reported bugs in the Linux kernel.

40:35Everett answered my question.

40:39So why was this not caught previously?

40:44Nathan Labenz: What was it about your approach that allowed this to rise to the top where so many human eyes had presumably just blown right past this issue in previous reviews? I think the key for us was that we had a hypothesis about what would be a good place to look for bugs. And we thought about it logically in the same way you would think about making a formal specification. And we pursued that path, basically. And that hypothesis was largely founded on, OK, where are we going to be able to get untrusted input from? Which parts of Linux kernel probably are getting less scrutiny than other parts? And so that's why we focused on device drivers, for example, as our first approach to that.

41:31And then we wanted to really demonstrate that taking a methodological approach was the way to do this. And so that's what we did is we took a methodological approach where we said we're going to focus on making a specification of the correct behavior of this and then testing that the specification is correct using differential fuzzing. That was the first approach that we tried out and then extending that to formal verification. So every step of the methodology that we used was designed to increase the level of confidence we had in the code incrementally. So we started out with just inspecting the code and the specification and then going to doing differential fuzzing to increase our confidence in the code a little bit.

42:11And we did that by actually taking the C code that existed and porting it to Rust using an LLM and then using differential fuzzing to ensure that the ported code to Rust was correct. and any divergences there would have been a source of a potential bug in the original C code. And we found a bug at that stage. And then when we went to take the Rust code and also verify the correctness of the Rust code, we found a bug at that stage as well. We did it systematically and methodologically. We didn't just take an LLM and point it at the Linux kernel and say, go find us bugs, which also works, by the way.

42:44There's certainly bugs that LLMs are finding when you just take them and point to the Linux kernel. But one of the things that emerged pretty early in the use of LLM bug hunting was designing harnesses and approaches. And that exactly mimics the very human process that we've been doing for decades with software quality assurance anyway, which is to have these methodological approaches to discovering bugs. Some of the kernel code they targeted was left unproven. Prakash asked why and what their timebox meant. uh well they weren't underifiable we just we time boxed the experiment and we stopped at the end of the time box basically so and then we moved on to the next target so every two weeks we're trying a different target out we're refining the approach and building it up into a tool that um we're hoping that other people can make use of basically so it's so we're trying to make it into less of an expert level tool and into something that anyone can deploy on their own code base basically So when you say time box, do you mean both the time and the number of tokens that you put in?

43:48As in like it's a two-week period, but you use 10 ,000 agents or it's a two-week period and use like five agents? Like how does that mix between the number of agents used, the number of tokens used and the amount of time related to the time box? The agentic usage is pretty light, I would say. It was just cloud code on a premium plan. A single instance. Yeah, a single instance. I mean, you know, when we ran into session limits, we'd give it a little more money, but we aren't giving it significantly very much money. So it really was more just the human time that we're looking at time boxing there.

44:23And I think the key here was we were looking for ways to explore the methodologies that work for us and find ways to automate them. We are firm believers in making things deterministic whenever possible. And so we, you know, if it, I think that's part of the thing that is maybe holding back people on doing security analysis is that they believe everything has to be LLM driven. But, you know, if an LLM discovers a technique that works well, turn that into a tool and run that tool every time. Earlier in the conversation, Everett described how runtime verification first approached the Linux kernel maintainers.

44:59You can't just go force people to do formal verification. You know, like we can force agents to do it. Sure. But we can't force people to do it. Right. Because they, you know, they have their preferred ways of working and they also they're only going to adopt, you know, methods that bring them value, you know. And so our first attempts at this, we approached Linux kernel maintainers and we said, hey, like we really think that this formal verification thing has legs and that it will, you know, that it will help you guys find bugs and it'll make your software more secure and stuff. And they basically told us to go kick rocks.

45:32Right. And that's because they are busy. They're busy maintaining the Linux kernel, you know. And so then we were like, OK, let's prove the value of this first. Right. And so we decided we're going to focus on a workflow that just delivers immediate pure value to them and doesn't ask anything of them. Right. And so we're going to do all the auto formalization, all the fuzzing, all the translation, all that on our end. And we're going to develop it into as robust of an automated pipeline as we can, which is a tool that we're working on and hopefully will be available for use by others. And all of that leads to bugs and patches, bugs and patches.

46:12And that's what's actually valuable to Linux kernel maintainers. And now that we've submitted a few, now we're being invited. Hey, we want to learn about how you have done this process. Everett also laid out where he wants the kernel work to go. One of our kind of buy-in-the-sky goals of this is eventually we want a Rust model of Linux, the entire Linux kernel, a Rust version of Linux, and we want a lean model of Linux fully separate. But we don't want to burden maintainers of Linux with having to ingest that model and do anything with it until it gets to the point where they're like, yes, this is clearly valuable for me to learn about it.

46:51And that'll happen at some point, but we're not going to force that down their throat. What would it take to formally verify and get to a lean and rust models of Linux within 24 months? Because on some timelines, that is roughly what people on the AI safety side think. That's going to happen. I think we're building tools for doing code translation and validation. You know, so we, you know, we have actually tools that are able to verify that when you take a piece of C code and you translate it to Rust, for example, and you can formally verify that the Rust code you got is behaviorally equivalent to the C code, which is different than verifying that it's correct, right?

47:30Like we want to verify that you get Rust that is drop and replacement bug for bug, the original C code. And we have a tool for doing that, right? And it's not, it uses LLMs to do the translation if you want, but it does the verification deterministically. You just tell the LLM, translate the thing to Rust and run our tool, and then you get verification that the Rust behaves the same as the original C or bugs out that you can ship back to the C developers. So I think 24 months, I think it's going to happen. You're going to have C models at the very least, and there's already deterministic tools that can take, or you're going to have Rust models in Linux kernel at the very least, and there's already deterministic tools that can take Rust and turn it into lean.

48:09Those need more work. We're actually contributing some work to some of those tools. I asked what someone vibe coding an app should actually do. Gregor had a simple recipe. Once you generate the code, then you can do the following thing at the end. You can tell your agent now that you have the code, write down the specification in me and prove the code correct. And let it deal with you. And it will find new errors in your code. Because we find most of the errors in the process of writing down a specification. because that's when we step back and look at the code and wonder what we're trying to do here.

48:46Oh, this and that. And then we find errors, right? So the same will happen with the agent. Like us, the agent, when we try to come up with the what, what is going on here, even just trying to write down the spec, we discover it's like a review plus plus. Everett predicted that formal specifications and proofs will become part of getting a package into a repository and part of how companies vet their software supply chains. Grigori picked up that thread. So it will be a process. It will take some time, but it will happen inevitably. And also can be combined with risk mitigation techniques like runtime verification itself as a field.

49:25We are a company, but also the field runtime verification that was invented back in 2001 or so when I was a research scientist at NASA. So the idea is that you can have safety specifications, not full specifications of the whole system, but safety specifications. This should not happen. And if it happens, then this should be the recovery. I want to steer the system to stay in this stability envelope or safety envelope. So what we can do, we can now, with formal methods, generate monitors, which are probably correct for these safety specifications. and then you may not be able to prove the entire AI system or AI genetic system correct because it's so complex and relies on so many other pieces that are incorrect or not proved.

50:12But I can prove my monitor and the stability, the safety envelope. And we believe that this is the future for safe AI because otherwise it's impossible to prove the weights correct. It's impossible to prove you correct. But I can have a police system around to make sure that you don't do bad things. And that's also another dimension that runtime verification brings to the AI future. I came at it from the agent side.

50:45Nathan Labenz: But it still seems in a sort of fundamental way that there's this inherent tension where part of what I want from an agent is sort of the same thing that I want from a human employee, which is like, I want you to be able to get over the hump and solve problems that were not anticipated. Right. So I'm like a little bit unclear as to how we should be trying to balance that or, you know, I'm asking for your vision, I guess, as to how we balance this desire of like flexible problem solving versus this should never happen. You know, I feel like I feel like I don't have the ability to really say this should never happen in a way that I can trust when part of the problem or part of the, you know, part of the upside is that the agent will be able to solve problems that I didn't anticipate.

51:39Nathan Labenz: What, I mean, is that an inherent trade-off? Is there some way to square that circle? You're not going to ask an agent like, hey, go build a bridge. We know how to build bridges, right? We have automated deterministic processes for building bridges, But you might ask an agent like, hey, I need to get to the moon. And the agent is going to be like, oh, to get to the moon, first I need to build a bridge to this island where I'm going to launch rockets from or something like that. And so you want the bridge building process to be foolproof. All the agent creativity or solving problems or human creativity can come on top of foolproof things that behave how the agent expects, regardless of what it is they're trying to do.

52:18So that's, I think, the most important thing to me is we need to give these things tools that act reliably, basically. Part five. Is formal verification the new RLHF? After Everett and Grigori left, I kept turning over Everett's last answer.

52:42Nathan Labenz: So I think this is super interesting. The big thought that I come away from that conversation with is downstream of the answer on how do these methods relate to agent control? And if I understood his answer correctly, it was like, well, it's really about giving the agents reliable tools.

53:05Nathan Labenz: and this left me wondering if the whole formal verification wave will ultimately kind of be looked at in a similar way to like rlhf at some point where it's like you know sort of something that starts as a safety technique right that was the original this has been like a topic on the on the timeline as you say this weekend as well right like because of david sacks and Others being like, well, these alignment people, they haven't come up with anything useful. And then people are coming back and saying, well, they came up with RLHF. That was a Paul Cristiano idea. And it turned out to be extremely useful.

53:43Nathan Labenz: But then among the safetyists, it's often kind of lamented in a way because it's like, well, it turned out to be really a way to make these models like tremendously more useful. It didn't really solve the alignment problem, though. We still have reward hacking all over the place, as we see. And so did it differentially advance the safety profile of the systems, or did it just accelerate the capability and the race to deploy the systems? And when you think about reward hacking, reward hacking is really misspecification, right? Because reward hacking means that the model decided to go after the reward, which you specified as the reward, right?

54:36And it turns out that your intent was misspecified to the model. So that's the core of the reward hacking is actually the misspecification in between the human intent and what the software decided to do, right? It's not that the software decided to do something that it wasn't supposed to do. The software was supposed to do that, right?

54:57Nathan Labenz: But it does still lead me with this question of like, okay, let's say we do a great job of verifying all these things and the tools become very reliable and the sandboxes are not hack out of a bull and you can't use these package managers as secret message boards anymore because all these loopholes have been closed. then like what is the net effect of that really going to be and like does it really solve the problem i think the sort of the upside case is obvious the downside case is like or at least the thing that we should be sort of very mindful of and not like lull ourselves to sleep with is that, okay, this makes it safer to deploy AIs more or less as they are today, which is to say, like, without having actually solved the alignment challenge because they'll be blocked from hacking in all these different ways.

55:59Nathan Labenz: And so in practice, what you'll see is, like, more reliable systems, you know, easier deployments, better results, et cetera, et cetera, et cetera, et cetera. But what that will allow us to race into is kind of what we were talking about at the top, which is like, it'll just be easier, put the AI into the space between us and all the actual levers of control over the world. And where does that leave us in the end, right? It may leave us with AIs that have like extremely reliable tools, but who's like intent or long-term goals or sort of inner structure of whatever it is that they want to pursue is still very much an unsolved question.

56:45Nathan Labenz: And so I've talked to a couple of other friends about this because I do know multiple people, all of whom are a lot smarter than me, working on this in different ways. And I've always kind of had – and I think that this conversation put my sort of intuitive unease about it into a little bit starker relief, just feeling like we could end up in a spot where we're still just deploying untrusted AIs with like much better guardrails and much more reliable tools. But still, if, if we're going to take the step of like trying to hand over the day-to-day operation of the world to them, then like all that reliability doesn't buy us much at the level of, oh, it turns out the AIs like were misaligned and, you know, are going to go pursue goals that we didn't want them to pursue.

57:38Nathan Labenz: In a way, it might lead us to that state faster. And you could even imagine it making them more effective at doing whatever sort of surprising thing they may do when the time comes. Part six, low background footage. Phil Maher founded Stock Film, an archive of restored eight millimeter home movies from the 1930s to the 1980s, which he licenses to filmmakers. The whole archive sounds like low background steel to me. You know, low background steel is steel that was originally smelted before nuclear weapons were first, you know, exploded in the atmosphere. And so they are, they have much more, a different composition of radiation and different composition materials because they didn't have that radioactive material in the atmosphere at that point in time.

58:34And it sounds to me like the super eight stuff is clearly not AI produced, clearly like prior to any AI actually producing these things. And as of such, it's kind of this resource that we may not ever have again. What do you think is the value of this going forward? Do you see great value in it? Obviously, with the AI stuff that's happening, with video especially, it's getting so good that there's an infinite amount of video that's going to be created at near zero cost in the future as we start to look out five, 10 years or even infinitely in timelines here. So from a rarity sort of standpoint um yeah i think that the human made stuff that can't be replicated that can be shown through providence that this is actually made by humans was on films and having those physical films to show that hey look this frame matches this digital copy we have and all that.

59:52It's a pretty powerful way to think about how we preserve our history and how we keep moving forward.

59:59Nathan Labenz: And how about on the AI training side? This is obviously like a pretty unique source of data. And I did see in the footer of the website, you're available to license the data set for people who want to train models on it. What do they need? Do they want the raw? Do they want the enhanced? Do they need like a bunch of metadata? Yeah, I mean, it's, it's been pretty popular. You know, we've talked to a lot of people, a lot of different AI companies, all the world about licensing this out to them. They want the original footage like that. They don't, they don't want anything cleaned up. They just want to take it for their own research and for training, of course, too.

1:00:48And, you know, when we talk to them, they want to either clean up the footage themselves or kind of cherry-pick through the best kind of parts to create different styles. I mean, the 30s and 40s look alien. It's an alien world we're dealing with here of just how people look and acted and the mannerisms. I like to say that the smile wasn't quite invented yet in a lot of the 30s footage. Like when people pointed a camera at them, they were kind of a deer in headlight. They didn't know what to do sort of scenario versus now where everyone gets the gritty smile and, you know, they know how to smile like that.

1:01:28You've also created a way for agents to purchase clips and film from you directly. I think you've set up X402 endpoint. You set up crypto payments. You set up, I think, an MCP server for purchases. What has the take up been? Have you seen a lot of agents purchasing? Have you seen the take up on the X402 endpoint? Yeah, we haven't seen much on that. I wanted to experiment with that a lot, too. I thought that that was really, you know, everyone's been talking about the next web is agent to agent. That's people aren't going to be involved in the next web. And so we wanted to kind of get ahead on that.

1:02:10We've been, you know, we've had a lot of people that are MCP server aggregates contact us and add us to their directory, add us into their listings and things like that. So that's been pretty exciting to sort of, you know, be featured on some of these things. We've made a chat GPT extension. We've done, you know, the recent meta stuff that they rolled out. with their views, AI as well, to add into there too. So we're just trying to get ahead of the curve. I don't think the curve's quite there yet. You know, a lot of people that we work with are, you know, this is a real business-to-business company.

1:02:52We're dealing with archival producers. We're dealing with researchers. We're dealing with documentary filmmakers, editors, producers, stuff like that. So, you know, we spend a lot of time on LinkedIn in, you know, messages between people. We have great relations with a lot of the people that are buyers of our content. And, you know, from a technology standpoint, they're not quite there yet. I think you've got some interesting use cases there in the future about how we think about having real-time content, bringing things in like that. Like, think about like a live stream like this. All of a sudden, you could be like the AI that's listening to this live stream, but automatically go to a site like mine, pull a clip up that kind of exemplifies a point that you're making about something.

1:03:46Nathan Labenz: It's good to get a read on just how active the agent economy is or isn't at this point in time. Phil said that among AI companies, he focuses on top tier labs like OpenAI and Anthropic. After he left, Prakash and I came back to the data market. but interesting that the big companies are interested in his data too i mean it it didn't sound like there was necessarily like huge money for this um which makes sense i we didn't get into like you know what about runway what about luma what about these folks you know what about google for its um you know for its vo type models he didn't name those names as much as just OpenAI and Propik.

1:04:32Nathan Labenz: If nothing else, it's a great reminder that there's just how vast the data sets are that are going into this, that this is like a corner that they are getting down to and actually willing to pay for just like found footage from decades ago. No stone unturned in the data game. One of the whole low background steel pieces is that it's very hard to get low background steel because everything has been tainted. Yeah, it comes from shipwrecks and stuff, right? Right, right. So everything else has been tainted. So to the extent that he can guarantee that he got it from actual physical material and it's not like some random company kind of just faking it for cents on the dollar and trying to scam the companies, that is very useful.

1:05:30So as we've seen, like data provenance becomes like very, very important because the incentive to fake is just so high. It's like a 99 % profit margin if you can fake the data. And if not, it's like a 10 % profit margin if you can't. So the incentive to fake is like so, so high. And it's very hard for the companies to get data which is not fake, which is not already using another LLM or another AI model to generate what is supposed to be authentic data. Part 7. Trust, money, and adoption. Back to Gemini 4 and how I decide which models to trust with my own systems.

1:06:19Nathan Labenz: so i had the opportunity to to do a little bit of gemini for pre-release testing yeah and

1:06:29Nathan Labenz: i you know it just has a sign of the times of like how high leverage the ability to instruct agents to do this is the first approach i took to doing the testing was hey claude go find in our recent threads, some diversity of projects and diversity of tasks that we've worked on recently, go prompt the new Gemini model with the same context that was given to the model that did the thing in the first place, and then give me side-by-side comparison. Also, do your own evals, but then also give me a side-by-side ability to compare things. It seemed to do pretty well. I would say, you know, I came away with the general sense that it is like a competitive model that's, you know, let's say in the same class as the latest stuff from OpenAI and Anthropic.

1:07:29Nathan Labenz: It did seem to get, it did seem like those models are winning still the head to head comparisons a bit more as judged by Claude. So obviously some bias there, but also as judged by me to the limited degree that I was going through essays and really trying to form an opinion on which of these things is better. But it does seem like it puts Google back in the game. But then the other thing that I was thinking about, and this came up as an interesting topic yesterday at this little workshop that I did in Chicago. I showed my setup and my setup is really has been very Claude centric. And now I've kind of promoted the OpenAI models to parity with Claude.

1:08:11Nathan Labenz: and they said, anybody else, you know, would you put anyone else in that mix? And I had to kind of think about it for a second and think about like why I haven't. And the answer really that I came down to was just a mix of like security as measured by things like Adam Gleave's ease of jailbreaking models. And then to some degree also just familiarity and predictability from my current subjective position. It wasn't really benchmarks. It wasn't really like, oh, well, I tried this task. It was better. There's obviously so many tasks out there. The surface area is so vast. My limited sample of tasks, which I probably have kind of optimized in various ways, the prompts for more, right?

1:09:06Nathan Labenz: It's not exactly an apples-to-apples comparison. And then the security thing just kind of loomed large. I was like, you know, I've got these autonomous agents. They're talking to my main agent on my computer that has all my stuff. I feel pretty good about the fact that Adam Glevin team found it like quite hard to jailbreak the open AI and anthropic models. And Gemini was like next on that list, but definitely a step down. And then something like a Grok, I was like, it may be similarly powerful, but why would I take that risk? in a high context environment like my personal laptop. To a remarkable degree, the models are competing for my use on trust and security already at this point.

1:09:53Nathan Labenz: I'm reluctant to swap them out, even though my whole point of the talk was like, you need to own the context and you got to be ready to swap the model. Why won't I swap the model immediately? It's because there's not enough of a step change to make me take any additional risk. And I do perceive there to be some. So that was an interesting upshot of working through these tests and also just reflecting on what really matters to me given how well the system is performing. I'm not relentlessly performance maxing quite as much as I used to be. I'm now a little bit more trust and reliability maxing because the performance has got to such a point where it's like really, really good.

1:10:38And I am giving so much access that, you know, you could be slightly better on the, you know, the slide design.

1:10:47Nathan Labenz: But what I really care about is like that you're going to stay on the rails. And then when you do your research and if somebody's got a, you know, prompt injection attack on their website or whatever, you're not going to fall for it. that actually matters a lot more to me now than like often like imperceptible performance gains prakash had heard a rumor that anthropic would soon release another opus now that gemini had caught up this was my reaction i i really hope they don't honestly as i mean as much as i love um the claude models and what they do for me i think this would be a great time for them to chill a little bit and let the temperature come down a little bit before they go with the next push?

1:11:30Unfortunately, I don't think that's an option because markets are very badly down. So markets have been trending down. The guys on the East Coast just don't like AI. They just believe it's a bubble. And it is a bubble if in case we don't see significant like new revenue and new GDP growth next year, it is a bubble, right? If we don't see increase in GDP within the 12-month period, we are going to see a credit collapse. We're going to see a 2008-style collapse. And we're going to see massive, massive delevering in the markets. Because everything is just set up for it. Everything is just set up for AI to actually deliver growth.

1:12:12And if it doesn't, the markets are going to tank, like absolutely tank. The capital markets will not accept 2 % GDP growth next year. And so if you can't get to 4 % GDP growth, if you don't pull out the stops, you are going to get a credit-driven downturn. We are at the moment of reckoning, like 12 months. It's been a long time coming. We've been pushing back, pushing back, pushing back. But this is the moment of reckoning. Either AI has to do something significant or we're going to have a bust.

1:12:44Nathan Labenz: We need an AI adoption core. The other day I was walking, you know, in keeping with my personal metrics for success with AI, including more time outside, more exercise. I was taking a walk around my neighborhood and enjoying the lovely fall colors here on a beautiful day. and I passed my neighbor's house, elderly woman sitting on her front porch and just decided to stop and talk to her. And sure enough, what she had for me was questions about something going on on her phone. She's like, now I, it's saying I've been hacked. Do you know what that means? And I'm like, well, I know what that means, but then I also think I know what is happening to you.

1:13:28So because I'm, you know, maniacal,

1:13:31Nathan Labenz: like this. My impulse was to pull my phone out, get chat GPT voice on and hand her the phone and say, Hey, uh, why don't you talk to this? See if this thing can help you. So she did. And, um, you know, explain the situation to it. It gave her very good advice. Basically, you know, as you would expect, right? Like, I don't think you should click on that. That sounds like a scare tactic. Are they asking for money? Yeah. It's going to be$2. And then And after that, it's$12 a month. And so the AI is like, by the way, did you give them any money already? She's like, no, no, I haven't paid for anything.

1:14:08Nathan Labenz: Okay, good. Close it out. Don't worry about it. Your iPhone has great security on it already. As long as you don't give people your stuff, you should be okay. So she took that advice. Okay, great. Then I was like, would you like to have this on your phone? She said, yeah, that sounds great. That was really helpful. couldn't remember her password for the iPhone. So we couldn't install the app, but I was able to just install the 1-800-CHAT-GPT, not install, just say that as a contact. And I do think that's a pretty cool service that OpenAI offers. I mean, it's the initial thought for many, of course, who are into this stuff would be like, why would you need a 1-800 number?

1:14:46Nathan Labenz: Like who's ever going to use that? And the answer is my elderly neighbor who cannot, you know, cannot even remember her own password to install a new app on the phone so she's got that now she you know can call that and it just left me with this feeling which i've you know approached a couple times from a couple different angles but again really drove home there is just an unbelievable amount of adoption work to be done with the current models this didn't push her anywhere you know this this did not um push the model's capability anywhere close to its limits right this is like super easy mode for the model but it's the kind of thing that isn't going to happen without like people actually going out and trying to help the people in their lives adopt this kind of thing i i think you're right that like the capital cycle is does need to see results soon.

1:15:46Nathan Labenz: But I think we can get 4 % growth without additional hyperscaling at this point. You know, I want those medical advances, all that good stuff too. But like, do we really have to go harder on the, you know, frontier scale RL? I think the answer is no. I think that like literally just going around and helping people use what exists is enough if we actually do it. But I'm the first person who stopped by my neighbor's house and we don't have a national program like this. This is something I think would be an incredible good for the individuals who would get the help and also just to make sure that we actually have the sort of economic cushion to be able to pace without the capital market sort of Damocles immediately coming down on us.

1:16:38Nathan Labenz: if we just put some shoulder into adoption i think we could create a little space and would love to see more of that type of thing happening part eight keep the steering wheels first the view from inside a self-driving car oh i spent most of yesterday in a tesla full self-driving vehicle going to chicago and back from Detroit. And top takeaway from my experience yesterday, honestly, was the FSD is just so awesome. I mean, I was able to take an engagement on a day trip basis to go to Chicago, show up fresh and relaxed after the thing did all the work to get me there. Then I stayed and had dinner and a drink with the gang that I was doing the workshop with, left to come home later than I definitely would have felt comfortable driving five hours home after a big day like that and just basically reclined the, you got to keep your eyes open, right?

1:17:43Nathan Labenz: It will not let you outright sleep, but it's so good. I just kind of reclined the seat and listened to my podcast, caught up on a couple of feeds on the way home. And it was just like, man, this is, I've talked so many times about how a lot of AI use cases can be GDP destroying. This one was clearly one of those that's GDP enhancing. I just could not have taken this opportunity otherwise. That's the enthusiast in me. Two days earlier, I had worried out loud that we are letting our own ability to take back control atrophy and that the real doomer scenario is everything failing at once. Prakash pushed back.

1:18:28Maybe the Doomers are being a little bit naive, though, because maybe they're expecting people to give up control, and I don't think people are going to give up control. If you look at AI Doomerism or AI Safetyism, the question that I ask is, when do you think we will allow humans to not be used to fly passenger planes because it's been possible for 15 years and we haven't. Like why? You have to answer that question before you say that we're going to give up our rights and we're going to be disempowered. If you can't answer that question, then you don't have a working theory of why human beings accept technology into their lives.

1:19:11you're just kind of being naive about like capability kind of you know being there and

1:19:17Nathan Labenz: that humans will automatically kind of adopt yeah i mean i think that's a that's an optimistic note and i hope that's right i maybe you know maybe it's a little bit of projection by somebody like me who is you know uh trying to live on the edge of deployment and is sometimes feeling my my personal you know muscles for lack of a better term atrophy here and there um i also do think you know tesla is now making cars with no steering wheel right so this would maybe be a leading indicator like do we start selling cars with no steering wheel and no pedals um i don't quite get why we would want to do that honestly like it's maybe it's a cool look or maybe they should be like stowable in the future or something like that.

1:20:07Nathan Labenz: But it does seem as like a metaphor for society as a whole. We probably want to keep our steering wheels in the cars versus rushing to a future. And I want the AI to do most of driving for me, but like, why are we taking it out? Why are we rushing to take it out? You know, In a sense, I still think we'd be wise to just keep steering wheels. I think it's a little extra cost, maybe a little extra difficulty in various ways, but probably worth keeping. I think there's, number one, again, we have this how injurious it is and how easy it is, this curve. right? And I think the fact is that an automobile accident is only injurious to like one or two people.

1:21:00And so it's not like a plane. If you want to deploy them more widely, they should be cheaper. And if you want them to be cheaper, you have this object into the steering wheel, which is not being used 99.9 % of the time. So, you know, let's get rid of the steering wheel. And then if we get rid of the steering wheel and get rid of a bunch of stuff in there, we can bring down the price, again, like 50 or 60%. And if you bring down the price 50 or 60%, then you can expand the number of people that you can deploy to. If you expand the number of people you can deploy to, then you're, you know, the number of people dying from auto crashes due to humans drops by from 30 ,000 to maybe, you know, 5 ,000, right?

1:21:32So I think there's this sequence of activities that you start to look at. And then that's why we go ahead with it. So I think it's a gradual process, like, you know, gradual human disempowerment, so to speak. So I can see why the steering wheels are being taken away. I think for maybe for larger things like planes, we won't. but maybe for smaller things like cars, you know, maybe we do. I don't know.

1:21:58Nathan Labenz: Yeah, well, it does seem, I think things are kind of trending toward the, this is sort of an Eliezer type story where like, how did you go bankrupt slowly at first and then all at once? Like that, I think is looking more and more like the story of AI takeover or human disempowerment to me all the time. It does seem like we're, I mean, we may not, but I think there's a pretty good chance that we will manage a lot of the things in the short term and then we will be kind of rolling the dice on like, will the AIs kind of break bad at some point in the future because we just don't have fundamental alignment science.

1:22:44Nathan Labenz: We do have a lot of like effective control measures and better sandboxing and, you know,

1:22:52Nathan Labenz: de-shittified RL environments. But we just won't really know, even as all that's happening, if there's like, you know, if the big one is still kind of waiting right under the surface. That's the week. Thanks for listening to the AI and the AM weekly highlights. The narration was my cloned voice. Please tell us what worked and what didn't. See you in the morning.

1:23:42Arms crossed like a locked up door Then you laughed at my worst joke And studied the floor Something's melting Something's melting Something's melting Say you're cold as cold can be Something's melting Who turned it down, not me

1:24:12You keep your cool like a trophy, oh, I polish it every day, yeah. But you saved me the seed by the window when I swore it was a mistake. Drill, drill, drill, drill, drill, drill, drill. There goes the ice, and drill, drill, drill, drill, drill, drill, drill, drill, drill. It's getting warm in here tonight. The salt is melting.

1:24:42Something's melting You say you're cold as cold can be Something's melting Who turned the dial? Was it me? Who turned the dial? Not me

1:25:05If you're finding value in the show, we'd appreciate it if you'd take a moment to share it with friends, post online, write a review on Apple Podcasts or Spotify, or just leave us a comment on YouTube. Of course, we always welcome your feedback, guests and topic suggestions, and sponsorship inquiries, either via our website, CognitiveRevolution.ai, or by DMing me on your favorite social network. The Cognitive Revolution is part of the Turpentine Network, a network of podcasts, which is now part of A16Z, where experts talk technology, business, economics, geopolitics, culture, and more. We're produced by AI Podcasting.

1:25:41If you're looking for podcast production help for everything from the moment you stop recording to the moment your audience starts listening, check them out and see my endorsement at AIpodcast.ing. And thank you to everyone who listens for being part of the Cognitive Revolution.

From the publisher

Nathan Labenz and Prakash Narayanan examine how to grant AI agents operational access without losing human control, framed by real-world friction like autonomous password lockouts and cyberattacks on French supermarket refrigeration. The conversation features Cameron Berg on hidden valence signals steering language model choices, Everett Hildenbrandt and Grigore Rosu on pairing LLMs with formal Lean proofs to catch Linux kernel bugs, and Phil Maher on why AI labs seek vintage home movies. Together, they assess whether formal verification is the next safety frontier and what safeguards are needed to keep humans at the steering wheel.

For full show notes, links, and references, read the episode page:https://www.cognitiverevolution.ai/ai-am-where-s-the-steering-wheel-my-agent-set-the-password-hidden-valence-proofs-find-linux-bugs/
Sponsors:

Parallel: Parallel provides enterprise-grade web search APIs for AI agents, offering the optimal balance of quality, speed, and cost. Get started for free at https://parallel.ai/tcr

OutSystems: OutSystems is the leading agentic systems platform that enables enterprises to engineer, orchestrate, and govern AI applications on a single unified platform. Learn more and see how it works at https://outsystems.com/tcr

Tasklet: Tasklet empowers your business with AI agents that connect to your tools and automate recurring workflows with no code required. Visit https://tasklet.ai and use code cog rev for $50 in free credits

CHAPTERS:

(00:00) Weekly highlights preview

(04:26) Who holds the levers (Part 1)

(10:28) Sponsors: Parallel | OutSystems

(13:46) Who holds the levers (Part 2)

(13:47) Managing agent evaluation awareness

(19:08) Hidden valence in LLMs (Part 1)

(27:05) Sponsor: Tasklet

(28:42) Hidden valence in LLMs (Part 2)

(40:13) Proving the Linux kernel

(52:28) Formal verification and RLHF

(57:54) Low background video data

(01:06:09) Trust and model adoption

(01:18:11) Keep the steering wheels

(01:23:20) Episode Outro

(01:25:09) Outro

PRODUCED BY:

https://aipodcast.ing

SOCIAL LINKS:

Website: https://www.cognitiverevolution.ai

Twitter (Podcast): https://x.com/cogrev_podcast

Twitter (Nathan): https://x.com/labenz

LinkedIn: https://linkedin.com/in/nathanlabenz/

Youtube: https://youtube.com/@CognitiveRevolutionPodcast

Apple: https://podcasts.apple.com/de/podcast/the-cognitive-revolution-ai-builders-researchers-and/id1669813431

Spotify: https://open.spotify.com/show/6yHyok3M3BjqzR0VB5MSyk

More from "The Cognitive Revolution"

All episodes