‘AI helped pick the first thousand targets in Iran’