Improved long gaps between consecutive primes

Source: url:https://cdn.openai.com/pdf/51126fac-1b68-4128-9666-c908bcc16033/long_gaps.pdf Authors: OpenAI Status: verified Main declarations: LongGapsBetweenPrimes.long_prime_gaps Tags: analytic-number-theory, prime-gaps, sieve-theory, erdos-rankin MSC: 11N05