Why Amazon is betting on ‘automated reasoning’ to reduce AI’s hallucinations – WSJ
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.
