“The Atari benchmark, despite being considered 'solved', was a critical component in the development of the Gato model.”