A crypto miner became Europe’s most valuable AI startup in two years. Now it is spending $812 million to prove the model scales. — Blankdot