Bruker 20 millioner på avanserte tallknusere – vil bli best på kunstig intelligens