Their own numbers in the S1 they released before the IPO listed their potential market growth, and it was almost entirely in the AI division. These aren't my numbers, these are Musk's numbers.