No. They absolutely have special use AIs but they are not in the cutting edge of computer research. One big reason is that the large creative tech populations are not good at rigid hierarchy and rules. For example, the FBI and DOD are hard up for coders because they refuse to hire anyone that has ever smoked weed.