AI-system ska hjälpt till att välja ut 37 000 Hamasterrorister som måltavlor i kriget.