The Amazon scientist using automated reasoning to kill AI hallucinations | Not Hacker News!