I have no reason to believe that they are since they are primarily focused on signal intelligence and until very recently the key insights here all seemed to come from number theory, measure theory, linear algebra, and a few other fields of mathematics. Maybe the situation has changed some in the last 5 years, but last I checked they were still primarily interested in recruiting talented pure mathematicians, not the sorts of folks with engineering and programming expertise necessary to build AI.
I have no reason to believe that they are since they are primarily focused on signal intelligence and until very recently the key insights here all seemed to come from number theory, measure theory, linear algebra, and a few other fields of mathematics. Maybe the situation has changed some in the last 5 years, but last I checked they were still primarily interested in recruiting talented pure mathematicians, not the sorts of folks with engineering and programming expertise necessary to build AI.