#747: Unpacking Automated Reasoning: From Mathematical Logic to Practical AI Security

#747: Unpacking Automated Reasoning: From Mathematical Logic to Practical AI Security

From AWS Podcast by Amazon Web Services

November 24, 2025 · 38 min

About this episode

This episode explores how AWS uses automated reasoning to improve AI safety and decision-making, featuring insights from Byron Cook.

Discover how AWS leverages automated reasoning to enhance AI safety, trustworthiness, and decision-making. Byron Cook (Vice President and Distinguished Scientist) explains the evolution of reasoning tools from limited, PhD-driven solutions to scalable, user-friendly systems embedded in everyday business operations. He highlights real-world examples such as mortgage approvals, security policies, and how formal logic and theorem proving are used to verify answers and reduce hallucinations in large language models. This episode delves into the exciting potential of neurosymbolic AI to bridge the gap between complex mathematical logic and practical, accessible AI solutions. Join us for a deep dive into how these innovations are shaping the next era of trustworthy AI, with insights into tackling intractable problems, verifying correctness, and translating complex proofs into natural language for broader use. https://aws.amazon.com/what-is/automated-reasoning/

People in this episode

Guest: Byron Cook

Topics covered

  • automated reasoning
  • AI safety
  • trustworthiness
  • decision-making
  • neurosymbolic AI
  • formal logic
  • theorem proving

Keywords

  • automated reasoning
  • AI security
  • trustworthy AI
  • neurosymbolic AI
  • theorem proving
  • mortgage approvals
  • security policies

Mentioned in this episode

Organizations: AWS, Amazon Web Services

More episodes of AWS Podcast

Explore listener stats, chart rankings, contacts and more on the AWS Podcast podcast page.