what if we just pretend he's an AI company and give him more shots at it?

Any private AI companies funded with government money?

(I know grants exist, but I mean, a significant chunk of their capital)