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   →   A proof of the infinitude of these was verified!

             5)    Integer Factorization   →   A subexponential algorithm was found!