Prime95 (GIMPS)

This program is used to find Mersenne Prime numbers. See http://www.utm.edu/research/primes/mersenne.shtml for a good description of Mersenne primes.

Mersenne numbers can be proved composite (not prime) by either finding a factor or by running a Lucas-Lehmer primality test.