@numberphile I dunno either! The primality test says it's a proven prime, at least bigprimes.net/primality_test/