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
1 source
Daily brief
Get tomorrow's AI brief in your inbox
More stories today
- AWS Quick and fal enable agentic creative workflows
- Anthropic opens 10,000 free Claude seats for scientists
- Researcher breaks Claude Code Opus 5 auto mode with 80% success
- Nvidia CEO Jensen Huang: I wish I had invested more in AI frontier labs
- Apple introduces rubric-based alignment for grounded QA