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

The technique marks a major advancement in making AI outputs more reliable, which is especially valuable for highly regulated industries like finance and health care, said Mike Miller, AWS’ director of product management and one of its leaders of automated reasoning initiatives.

While AWS has been using automated reasoning for a decade, it recently reinvented the technique by adding generative AI to make it much easier and faster to use, Miller told PYMNTS.

Miller said it...

Today's Sponsors

Venturous
ZeOmega

Today's Sponsor

Venturous

 
Topics: AI (Artificial Intelligence), Cloud, Technology
How AI Will Shape Cloud Services And Infrastructure In 2026
Greenway Health, AWS Build an Agentic AI Factory for Medicine
Philips: Cloud Imaging is about Time and Access not Infrastructure
The Top AI Cloud Investment Stories Of 2025
AI security is fundamentally a cloud infrastructure problem, Palo Alto Networks says

Share Article