> no matter how sparse the primes become — you will keep finding prime pairs that differ by less than 70 million.
Does this mean even for numbers longer than 70m/2.3 = 31m digits, there is bound to be at least one prime every 70m numbers or so?
That's where that 2.3 you quoted comes from. If you are looking at numbers with d decimal digits, they are around 10^d and so the average gap is approximately the log of that, log(10^d) is d log(10), and log(10) is approximately 2.3. Hence, the average gap for d digit numbers is approximately 2.3 x d.
What this proof shows is you never get to a point where the gap is always bigger than 70 million, forevermore. This is a big step towards the "twin primes conjecture" which claims there are an infinite number of pairs of primes only 2 apart.
since the gap never gets always-bigger than 70 million, and there are an infinite number of gaps between primes, by something resembling the pigeonhole principle it can be shown that there are an infinite number of prime pairs for at least one specific gap size between 2 and 70 million. That is, there might not necessarily be an infinite number of pairs of primes exactly 2 apart, but there are an infinite number of primes exactly N apart for some N<70,000,000.
I don't know whether it has a name.
Assume that 70 million disjoint sets all have finite cardinality. Then the cardinality of the union is the sum of the cardinalities, and is finite by construction.
1. The conjecture has been found to hold for a large number of trial cases, and
2. The conjecture has an intuitive aura of rightness.
A good example is the 3n + 1 conjecture:
Anyway, obviously point two is extremely subjective, but I think it's the crux of why long-standing conjectures are interesting. Why should something feel correct without necessarily being so? If it does turn out to be correct, what about its nature put people on its scent trail? Mathematics so often seems to be a kind of hermetic universe unto itself, so part of the beauty of conjectures is that they're kind of a contact point between that universe and human congnition.
Often, a conjecture will be invented and then proved or disproved a short time later (I remember my wife disproving one her thesis adviser had proposed in class earlier that day), but occasionally one will remain unproven either way for a long time. With many of the "big" conjectures, this gives people confidence they're true -- they've been tested for millions, billions, or even trillions of cases over the course of decades or centuries, but nobody has found a counterexample. But they also haven't come up with an airtight proof; maybe they'd fail on the ten trillionth try, or maybe they'd hold true forever. That uncertainty is part of what makes them interesting.
Then, sometimes 100's of years later, somebody does prove (or disproves) the theorem and get's some press, and for some very important conjectures, prizes. If the conjecture is disproven, then all the math based on it falls down.
Conjectures interesting because they are puzzles left by people that they can't answer but they want them to be true, so it is up to future generations with their advanced minds, tools and insights to prove them, leading to progress in the field with the advancements of techniques use to prove these conjectures and make them actual theorems.
Part of math school is to learn making and breaking guesses about things mathematical.
As noted elsewhere ITT, a conjecture becomes one when there's a community-acknowledged aura of moral rightness about it. So at the very least, a bunch of people have tried to disprove it and failed.
Of course the problem is you can't show this by exhaustion. And you also can't currently prove it, hence why its a conjecture. But it's interesting because it means you might be missing some integral property that would prove the conjecture.
What he's proven is that there's never a point after which every prime is more than 70m away from the last one. Even as the average distance between one prime and the next increases towards infinity, you'll always find occasional pairs that are within 70m of each other; they'll get rarer and rarer as the numbers get larger, but you'll never get to the last such pair.
A rough analogy of this prime gaps work is the following. Imagine that you throw infinitely many darts at a dartboard. Before you throw, draw a bullseye around the center, as small as you want. Then you will miss plenty often, but infinitely many of the darts will hit the bullseye.
Yup, at least according to the article:
"His paper shows that there is some number N smaller than 70 million such that there are infinitely many pairs of primes that differ by N. [...] [N]o matter how sparse the primes become — you will keep finding prime pairs that differ by less than 70 million."
So he proved that it there is some number N, not necessarily 70mil but below 70mil, is the "gap" between primes.
This is an amazing development. On the other hand, we are also getting close to nailing the odd Goldbach Conjecture. I think it was just last year that Tao proved, without the Riemann Hypothesis, that every odd number N > 1 can be expressed at by the sum at most 5 primes. Wonderful to witness such great leaps in maths during one's own lifetime.
He showed that there are infinitely many twin primes differing by 70 million from each. However, it could be that the next such twin prime, has its lower prime number more than 70million numbers further along.
What I mean is, there is allowed to be a gap larger than 70million with no primes in it, then all of a sudden, twin primes. But those twin primes with a gap less than 70million between them are guaranteed.
Basically, if you separate all adjacent pairs of primes, with no primes in between, you can separate this into two groups of those adjacent pairs with a gap less or equal to 70mil, or greater than 70mil. The first group has infinitely many members according to the proof. And the second group is probably not empty.
We know for sure it's non-empty by simple factorial arguments ITT or by appeal to the prime number theorem.
The twin primes conjecture holy grail is this: no matter how big we go, we can always find a pair of primes whose distance is the minimal possible, i.e. 2.
So as sparse as these pairs become in the limit according to the prime number theorem, the likelihood of finding them remains always positive.