Brute forcing primes..
A interesting solution for finding otherwise unfindable formulas:
Generate all possible legal (language of your choice) programs of a set length (say, 2k)
Get access to a massively parallel computing array
Define success in well codified terms
Test them all.