> There are a huge number of people involved in AI outside of the major AI companies

How many, approximately?