AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
3min chapter
[Jan 2023] Jeffrey Ladish on AI Augmented Cyberwarfare and compute monitoring
The Inside View
Current generation systems, token limitations, and covert penetration of systems
The chapter discusses the capabilities of current generation systems in solving problems using large language models and emphasizes the need for access to an actual SMT solver. It also explores limitations of tokens and the requirement for more advanced tools like a push down automata or neural Turing machine for arbitrary horizon planning tasks. Additionally, it touches on the use of S and S and P solvers for program verification and concludes with a discussion on covert system penetration without detection.
00:00
Transcript
Episode notes
Get the Snipd
podcast app
Unlock the knowledge in podcasts with the podcast player of the future.
AI-powered
Discover
highlights
Listen to the best highlights from the podcasts you love and dive into the full episode
Save any
moment
Hear something you like? Tap your headphones to save it with AI-generated key takeaways
Share
& Export
Send highlights to Twitter, WhatsApp or export them to Notion, Readwise & more
AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Discover
highlights
Listen to the best highlights from the podcasts you love and dive into the full episode