“Mikal cites the startup PMcardio, which uses machine learning models to detect closed coronary arteries from ECGs that are not detectable by standard criteria.”