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