The Inside View cover image

[Jan 2023] Jeffrey Ladish on AI Augmented Cyberwarfare and compute monitoring

The Inside View

CHAPTER

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
Play full episode

Remember Everything You Learn from Podcasts

Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
App store bannerPlay store banner