"a TechInvest program to get artificial-intelligence startups to bid for cash"