Medical AI uses formal proofs to prevent dangerous hallucinations

Original: Hallucinations in Medical AI can very well be the difference between life and death !

Source: x.com ↗