Problems Solved by Meta Theorem

             1)    Continuum Hypothesis   →   75 intermediate cardinalities were found!

             2)    Odd Perfect Numbers   →   10 such numbers were found!

             3)    Rationality of Pi to the Pi   →   The fractional value of this was found!

             4)    Twin Primes Conjecture   →   The infinitude of these was proven!

             5)    Integer Factorization   →   A subexponential algorithm was found!

           6)    Optimality of the Frame-Stewart Algorithm   →   This famous puzzle algorithm was verified!