It's educated guessing, from analysts, according to what I've seen.[1] That said, it's not just a large short position, it's the largest (recently surpassing Apple shorts). Given that Apple's market cap is 15 times that of Tesla, that's quite a lot.

1: https://www.forbes.com/sites/chuckjones/2018/04/15/tesla-has...