A friend told me that the number starting with 911 followed by 911 zeros ending with 119 (that is $911\cdot 10^{914}+119$) is a prime number, the so-called Porsche prime. Maple indeed confirms that this number is a prime.
Does anybody know how this prime number was discovered?