🕵️‍♂️🤖 The AI Verification Challenge: Chasing an Elusive Zero-Bug System

Roman Yampolskiy and Lex Fridman discuss the monumental task of creating an AI verifier – a system to ensure AI behaves …

source