There is no hard number. It mentions that they are just an estimate and could be off. They are labeled as MAUs, so that gives a lot of leniency depending on how "active" they are. It doesn't define bots either.

The SEC filings thing has been repeated even by Musk himself. It doesn't really help him.