The AI startup has been at loggerheads with the Pentagon over the use of AI by the US military.