While companies like Anthropic debate limits on military uses of AI, Smack Technologies is training models to plan battlefield operations.