Their Filecoin Token Sale Economics says that 10% of all tokens is allocated to investors. Not sure how much they sold, but even if it's almost all out, does it make it a $1.8bn capitalisation?
The total number of Filecoins that will enter circulation is going to be around 2 billion, and they are selling right now for somewhere between $2 and $5 each. That puts the valuation somewhere between $4 billion and $10 billion.