The resignation indicates potential internal disputes within AI companies over controversial collaborations.