Can a Computer Devise a Theory of Everything?