3 ms·The Amazon scientist using automated reasoning to kill AI hallucinations3 points by xjparker 10mo agodeleted 10mo ago[deleted]