The Stanford professor behind an FDA-cleared cardiac AI wants $1 billion for his next company — Blankdot