How hard can generating 1024-bit primes be?