Abstract
An efficient numerical method of traversal of twin prime pairs was applied to verify bounds on the distribution of twin primes at an arbitrary distance. It was shown that if proven formally, the bounds will be sufficient for the proof of the twin prime conjecture. Heuristic arguments in favor of the bounds obtained with numerical modeling are given and connections with other problems in distributions of prime sequences briefly discussed.