“Dario Amadei believes that AI is more likely to prevent a major global conflict than to cause one, provided that there are proper limits and oversight on its military applications.”