Analytic number theorist here. I can answer your question. The method doesn't really yield "exactly 70,000,000". If you traced through his method, and worked o

Analytic number theorist here. I can answer your question. The method doesn't really yield "exactly 70,000,000". If you traced through his method, and worked out each step in more detail, you'd probably get a bound of (say) 64,189,288 -- or some random number of like that. If you read through it still more carefully, and tried to introduce genuine improvements, you'd improve this further. Indeed, the bound has been improved to 246. You can see the(long!) proof here: https://www.dropbox.com/s/85pt6mvzf5ghukw/newergap-submitted.pdf https://www.dropbox.com/s/85pt6mvzf5ghukw/newergap-submitted... Zhang stated 70 million because it's easy to remember. Anyway, the basic strategy of the proof is to attempt to prove the twin prime conjecture, and not fall too short. Where do these numbers come from? You end up needing to do lots of random computations in the course of the proof. For example, can you compute a constant C such that the bound e^(.1x^2 + .4x) + 5cos(pi * x) - sqrt(x^2 + 1) < Cx + 4 holds for all x between 3 and 5? If this appeared in the course of an analytic number theory proof, you probably wouldn't try to compute the absolute best value C. It would be tedious and boring, and nobody would want to read it. You'd just compute something that was good enough, and move on.