Could these same questions have been solved if mathematicians had most of the GPU and memory in the world accessible to them via another interface?