What is AI? Do we really know what tech leaders are working?