What Can Humans and Computers Teach Each Other About the Universe? (short version)