Are you saying this movie production wasn't paid for by Google? If it was, surely he did?
oh it might have been paid for by Google for sure.
Like 99.99% probability, sure. Greg's previous big feature was on Deepmind's AlphaGo, three years after its Google acquisition.
https://www.imdb.com/title/tt6700846/
Full length: https://www.youtube.com/watch?v=WXuK6gekU1Y
They do a great job capturing the "Move 37" moment: https://youtu.be/WXuK6gekU1Y?t=2993