It’s a big day for number theory! Harald Helfgott has also proved the odd Goldbach conjecture, that every odd number greater than five is the sum of three primes. http://arxiv.org/abs/1305.2897
I think you're making a stronger statement than the article - it's certainly possible for there to be an infinitely many pairs of primes less than 70e6 apart, without there being another prime within 70e6 either side of a given prime number
It is especially obvious given that the goal is to lower the boundary from 70e6 to 3.
There are i such that |prime[i] - prime[i+1]| >= 3 but it doesn't prevent the possibility that there are infinite number of pairs such that |p - q| < 3 where p, q are primes.
Well, he's mistaken if what he is saying is what you think he is saying, but I think his statement is ambiguous.
I think he might mean when he says the gap does not grow unbounded is that that you never reach a point where the gaps are ALL arbitrarily large. As we run through the primes, we'll always continue to find gaps that are 70 million or less.