A mathematician may have solved a 250-year-old question about whether every polygon contains a path home