Líderes tecnológicos comprometem-se a não usar IA em armas. Mas há pormenores que ficaram esquecidos