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 (Belle Lin/Wall Street Journal)

Belle Lin / Wall Street Journal:
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  —  The tech giant says an obscure field that combines AI and math can mitigate—but not completely eliminate—AI’s propensity to provide wrong answers