AI investors don't use most AI tools. Here are the ones they do use