On one of the recent WBD podcasts they discussed this.
Not sure if they are or are not mining BTC but it sounds like they understand the direction we are headed.
It sounded to me like they are running the playbook in Life After Google.
Good move, most likely. 