News Summary

• AWS distinguished scientist Byron Cook makes the case for "automated reasoning" Automated reasoning is an area of study as old as the artificial intelligence field.
• It is rapidly merging with generative AI to form an exciting new hybrid, sometimes termed "neuro-symbolic AI" Cook gave a talk about automated reasoning at the AWS Financial Services Symposium in New York this May.
• "Reasoning takes a model and lets us talk accurately about all possible data it can produce," said Cook.