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