Automated Reasoning news and trends

Amazon Launches Nova AI Models for Business
artificial intelligence // December 05, 2024

At its annual re:Invent conference this week, Amazon unveiled a comprehensive artificial intelligence (AI) strategy and launched new Nova foundation models. The announcements signal Amazon’s push to make advanced AI more accessible and cost-effective for enterprises through Amazon Bedrock, its fully managed AI service. Get...

Interviews & Exclusives
AWS Turns to Ancient Logic to Tackle Modern AI’s Hallucinations

February 13, 2025
Cloud giant Amazon Web Services (AWS) is using automated reasoning — a method rooted in centuries-old principles of logic — to combat one of artificial intelligence (AI)’s newest and most persistent challenges: hallucinations, or the propensity of generative AI models to make things up. Get the Full Story Complete the form to unlock this article […]