Automated Reasoning

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 >