According to Alexey Pushkov, the first thousand targets hit in Iran were designated by artificial intelligence through a special system