Just as there is an AWS for the public, with something similar but only for Federal use, so it could be possible that there is AI cloud services available to the public and then a separate cloud service for Federal use. I am sure that military intelligence agencies etc. would like to buy such a service.
AWS GovCloud already exists FYI (as you hinted) and it is absolutely used by the DoD extensively already.