Amazon is using math to help solve one of artificial intelligence’s most intractable problems: its tendency to make up answers, and to repeat them back to us with confidence. The issue, known as hallucinations, have been a problem for users since AI chatbots hit the mainstream over two years ago. They’ve caused people and businesses to hesitate before trusting AI chatbots with important questions. And, they occur with any AI model—from those developed by OpenAI and Meta Platforms to those from the Chinese firm DeepSeek. Now, Amazon.com’s cloud-computing unit is looking to “automated reasoning” to provide hard, mathematical proof that AI models’ hallucinations can be stopped, at least in certain areas. By doing so, Amazon Web Services could unlock millions of dollars worth of AI deals with businesses, some analysts say. Simply put, automated reasoning aims to use mathematical proof to assure that a system will or will not behave a certain way. It’s somewhat similar to the idea that AI models can “reason” through problems, but in this case, it’s used to check that the models themselves are providing accurate answers.

Full story : AWS aims to use “automated reasoning”, which uses mathematical logic to encode knowledge in AI systems in a structured way, to prevent AI models’ hallucinations.