Kirurgiska robotar skalar snabbt eftersom precision är icke-förhandlingsbar inom vården. Men när de får mer självständighet blir verifiering obligatorisk. Ingen kirurg eller tillsynsmyndighet kan förlita sig på "lita på mig"-AI. Proof of Inference är den saknade pusselbiten.