米国防総省、機密AI刷新に向けテック大手7社を起用