The Department of Defense was afraid it was falling behind the curve in persuading employees to use artificial intelligence, so the Trump administration made a concerted effort to push it.