Trump’s proposal to change AI to SI: Tech leaders call it ‘misleading’