AI:AM — AI-Generated Code, Formal Verification, and Agent Security · October 12, 2026

Podcast: AI:AM · Prakash Narayanan & Nathan Labenz

Opublikowano: 2026-10-13

Runtime Verification CEO Everett Hildenbrandt and founder Grigore Rosu discuss AI-generated code, formal verification, Linux kernel rewrites, and the human role in setting specifications and reviewing evidence. Prakash Narayanan and Nathan Labenz also explore agent security, AI alignment, infrastructure risk, autonomous transport, and how organizations should work with AI agents. Chapters (0:00) When AI writes and verifies code (2:36) Claude locked Nathan out of his own agent console (3:56) What airlines know about falling back to paper (5:40) Should we let China hit AI risks first? (6:57) Meet Everett and Grigore from...