Amazon re:Invent '25 Agentic AI Keynote | Byron Cook, VP, Automated Reasoning Group, AWS

Byron Cook, Vice President and Distinguished Scientist in AWS's Automated Reasoning Group, delivered a focused ~5-10 minute guest presentation during Dr. Swami Sivasubramanian's Agentic AI Keynote titled "The Future of Agentic AI is Here" on December 3, 2025, from 8:30 a.m. to 10:30 a.m. PT, at the Venetian Ballroom F (Level 2, Venetian Convention and Expo Center) in Las Vegas, Nevada. As a leading expert in formal verification (with contributions to SAT, SMT, and symbolic model checking), Cook was introduced by Sivasubramanian to demystify how automated reasoning enhances the trustworthiness of AI agents, addressing a core challenge in scaling agentic systems beyond experimental pilots. His segment, part of a broader keynote unveiling tools like Amazon Bedrock AgentCore and Nova Act, emphasized mathematical proofs to eliminate errors, making AI "reliable teammates" for high-stakes enterprises. Subscribe: https://www.youtube.com/@techusiness Follow us on Social Media: Twitter / X https://x.com/Techusiness Threads https://www.threads.net/@techusiness Instagram https://www.instagram.com/techusiness/ TikTok https://www.tiktok.com/@techusiness LinkedIn https://www.linkedin.com/company/techusiness/ Contact Info Email techusiness@gmail.com