> _Google hopes prove ..._
I am guessing that was meant to be "hopes _to_ prove", or else we're at the point now where for Google, merely hoping for something to be true makes it true.
Or are we using the mechanism of "hope" to delineate between classical computers and quantum computers, one of which we now consider Google to be?