Pentagon taps former DOGE official to lead its AI efforts