Google DeepMind hires Thinking Machines co-founder in $12B talent war