The Automatic Computer Scientist