Medical AI has a proof problem Note