Journal Article

EMPIRICAL VERIFICATION OF THE EVEN GOLDBACH CONJECTURE AND COMPUTATION OF PRIME GAPS UP TO 4 · 10

e SILVA, TOMÁS OLIVEIRA, PARDI, SILVIO, HERZOG, SIEGFRIED

2014

Overview

This paper describes how the even Goldbach conjecture was confirmed to be true for all even numbers not larger than 4 · 10¹⁸. Using a result of Ramaré and Saouter, it follows that the odd Goldbach conjecture is true up to 8.37 · 10²⁶. The empirical data collected during this extensive verification effort, namely, counts and first occurrences of so-called minimal Goldbach partitions with a given smallest prime and of gaps between consecutive primes with a given even gap, are used to test several conjectured formulas related to prime numbers. In particular, the counts of minimal Goldbach partitions and of prime gaps are in excellent accord with the predictions made using the prime k-tuple conjecture of Hardy and Littlewood (with an error that appears to be $\\mathrm{O}(\\sqrt{\\mathrm{t}\\text{\\hspace{0.17em}}\\mathrm{log}\\text{\\hspace{0.17em}}\\mathrm{log}\\text{\\hspace{0.17em}}\\mathrm{t})}$, where t is the true value of the quantity being estimated). Prime gap moments also show excellent agreement with a generalization of a conjecture made in 1982 by Heath-Brown.

• Publisher: American Mathematical Society
• Subject: Algorithms / Approximation / Even numbers / Experimental data / Goldbachs conjecture / Integers / Mathematical intervals / Number theory / Odd numbers / Prime numbers