Erik Meijer on trust and proof for AI agents

In a talk, Erik Meijer outlines how AI agents operate on blind trust, citing failures like a dealership chatbot selling a car for $1 and a coding agent wiping a database. He argues for formal verification as a solution.

Featured · Erik Meijer