Problem Theorist: Smart or Not Smart