Automated Reasoning

AWS Turns to Ancient Logic to Tackle Modern AI’s Hallucinations

AWS Turns to Ancient Logic to Tackle Modern AI’s Hallucinations
AWS Turns to Ancient Logic to Tackle Modern AI’s Hallucinations
February 13, 2025  |  Amazon

Cloud giant Amazon Web Services (AWS) is using automated reasoning — a method rooted in centuries-old principles of logic — to combat one of artificial...

READ MORE >
Amazon Launches Nova AI Models for Business
Amazon Launches Nova AI Models for Business
December 05, 2024  |  artificial intelligence

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...

READ MORE >