Tech »  US government is giving leading AI companies a bunch of cash for military applications