Conversation

Math twitter: it's proven (afaik) that gaps between primes can get arbitrarily large. So for every N, there's a gap >= N. But is it proven that for every even N, there's a gap of EXACTLY N? If not, what is the smallest N for which we haven't found an instance of a prime gap yet?
3
3