Engenheiros de software do Pentágono vendo a proposta de contrato da Anthropic perdida para a Grok