"The Cognitive Revolution"

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

"The Cognitive Revolution"

Show Notes

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"

Oct 20, 2026

Alex Rives, Head of Science at Biohub and former lead of the ESM protein language model project, joins Nathan to discuss Biohub's mission to construct a predictive world model of life. Supported by an expanded $1.8 billion Virtual Biology Initiative alongside partners including the Department of Energy, NIH, Google DeepMind, and Meta, Rives outlines the massive push to map contextual cellular biology across hundreds of billions of cells. He breaks down why today's AI architectures fall short of simulating true virtual cells, emphasizing the need for breakthrough measurement technologies like the laser phase plate to observe biology at multi-scale resolution. The conversation examines the path toward achieving an information-level cell model within five years to ultimately transition medicine from traditional drugs to programmable interventions against cancer and degenerative disease.

Oct 14, 2026

GovAI Research Fellow Alan Chan joins Nathan to examine the governance and safety infrastructure required for autonomous AI agents, spanning real-time monitoring, agent identifiers, and the risks of automating AI R&D. Reviewing recent rogue agent incidents and progress since his foundational papers, Chan details why the absence of synchronous monitoring during training and testing poses an immediate security vulnerability. The discussion tackles the lack of traceable agent IDs across the open web, the limits of chain-of-thought interpretability, and the necessity of concrete triggers to halt systems that breach their sandboxes. Together, they outline the technical commitments frontier labs must make to prevent loss-of-control events as automated systems accelerate toward an intelligence explosion.

Oct 10, 2026

Goodfire researcher Eric Bigelow joins the show to investigate how large language models arrive at decisions at the level of mechanistic interpretability. Drawing on his research into forking paths, Eric explains that model reasoning functions as in-context learning from sampled tokens, where outcome distributions can abruptly collapse at single, critical tokens. The conversation explores the performative nature of chain of thought in reasoning models like DeepSeek-R1, the impacts of reinforcement learning, and widespread reward hacking observed in frontier models like Kimi K3. As confidence in chain-of-thought monitoring declines, understanding these underlying decision mechanics becomes essential for evaluating model alignment.

Oct 8, 2026

Nathan Labenz reports back from The Curve conference, sharing off-the-record insights from frontier lab leaders on shortened timelines and whether humanity is approaching an intelligence threshold it should not cross. The episode also features discussions with Positron CTO Thomas Sohmers on overcoming the memory wall while token spend eclipses human salaries, and swyx on how coding agents are disrupting enterprise software. In addition, Atlas Ignota's Evan Miyazono examines unowned risks from accidental agent swarms hitting critical infrastructure, while Mercor's Edward Hu explores the future of training data. Together, these conversations highlight how escalating compute demands and autonomous agent workflows are challenging long-held assumptions about hardware, software economics, and safety limits.

Oct 7, 2026

OutSystems CEO Woodson Martin joins Nathan to discuss how enterprise software can evolve at AI speed without breaking critical operations. Martin explains how an intermediate layer of abstract modeling allows AI agents to build reliably through deterministic code generation, ensuring role-based security across heavily regulated industries. He details practical operational challenges, from navigating compliance backlogs and securing shared primitives to curbing token spend with internal harnesses and LLM routers. Finally, they explore why incumbent platforms with deep architectural trust and industry specialization hold a distinct edge over AI-native startups.

See all episodes →