{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T00:25:17Z","timestamp":1774311917164,"version":"3.50.1"},"reference-count":50,"publisher":"American Mathematical Society (AMS)","issue":"288","license":[{"start":{"date-parts":[[2014,11,18]],"date-time":"2014-11-18T00:00:00Z","timestamp":1416268800000},"content-version":"am","delay-in-days":365,"URL":"https:\/\/www.ams.org\/publications\/copyright-and-permissions"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Comp."],"abstract":"<p>This paper describes how the even Goldbach conjecture was confirmed to be true for all even numbers not larger than\u00a0<inline-formula content-type=\"math\/mathml\">\n<mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"4 dot 10 Superscript 18\">\n  <mml:semantics>\n    <mml:mrow>\n      <mml:mn>4<\/mml:mn>\n      <mml:mo>\u22c5<\/mml:mo>\n      <mml:msup>\n        <mml:mn>10<\/mml:mn>\n        <mml:mrow class=\"MJX-TeXAtom-ORD\">\n          <mml:mn>18<\/mml:mn>\n        <\/mml:mrow>\n      <\/mml:msup>\n    <\/mml:mrow>\n    <mml:annotation encoding=\"application\/x-tex\">4\\cdot 10^{18}<\/mml:annotation>\n  <\/mml:semantics>\n<\/mml:math>\n<\/inline-formula>. Using a result of Ramar\u00e9 and Saouter, it follows that the odd Goldbach conjecture is true up to <inline-formula content-type=\"math\/mathml\">\n<mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"8.37 dot 10 Superscript 26\">\n  <mml:semantics>\n    <mml:mrow>\n      <mml:mn>8.37<\/mml:mn>\n      <mml:mo>\u22c5<\/mml:mo>\n      <mml:msup>\n        <mml:mn>10<\/mml:mn>\n        <mml:mrow class=\"MJX-TeXAtom-ORD\">\n          <mml:mn>26<\/mml:mn>\n        <\/mml:mrow>\n      <\/mml:msup>\n    <\/mml:mrow>\n    <mml:annotation encoding=\"application\/x-tex\">8.37\\cdot 10^{26}<\/mml:annotation>\n  <\/mml:semantics>\n<\/mml:math>\n<\/inline-formula>. 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 <inline-formula content-type=\"math\/mathml\">\n<mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"k\">\n  <mml:semantics>\n    <mml:mi>k<\/mml:mi>\n    <mml:annotation encoding=\"application\/x-tex\">k<\/mml:annotation>\n  <\/mml:semantics>\n<\/mml:math>\n<\/inline-formula>-tuple conjecture of Hardy and Littlewood (with an error that appears to be <inline-formula content-type=\"math\/mathml\">\n<mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"upper O left-parenthesis StartRoot t log log t EndRoot right-parenthesis\">\n  <mml:semantics>\n    <mml:mrow>\n      <mml:mi>O<\/mml:mi>\n      <mml:mo stretchy=\"false\">(<\/mml:mo>\n      <mml:msqrt>\n        <mml:mi>t<\/mml:mi>\n        <mml:mi>log<\/mml:mi>\n        <mml:mo>\u2061<\/mml:mo>\n        <mml:mi>log<\/mml:mi>\n        <mml:mo>\u2061<\/mml:mo>\n        <mml:mi>t<\/mml:mi>\n      <\/mml:msqrt>\n      <mml:mo stretchy=\"false\">)<\/mml:mo>\n    <\/mml:mrow>\n    <mml:annotation encoding=\"application\/x-tex\">O(\\sqrt {t\\log \\log t})<\/mml:annotation>\n  <\/mml:semantics>\n<\/mml:math>\n<\/inline-formula>, where <inline-formula content-type=\"math\/mathml\">\n<mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"t\">\n  <mml:semantics>\n    <mml:mi>t<\/mml:mi>\n    <mml:annotation encoding=\"application\/x-tex\">t<\/mml:annotation>\n  <\/mml:semantics>\n<\/mml:math>\n<\/inline-formula> is the true value of the quantity being estimated). Prime gap moments also show excellent agreement with a generalization of a conjecture made in <inline-formula content-type=\"math\/mathml\">\n<mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"1982\">\n  <mml:semantics>\n    <mml:mn>1982<\/mml:mn>\n    <mml:annotation encoding=\"application\/x-tex\">1982<\/mml:annotation>\n  <\/mml:semantics>\n<\/mml:math>\n<\/inline-formula> by Heath-Brown.<\/p>","DOI":"10.1090\/s0025-5718-2013-02787-1","type":"journal-article","created":{"date-parts":[[2013,11,18]],"date-time":"2013-11-18T19:15:40Z","timestamp":1384802140000},"page":"2033-2060","source":"Crossref","is-referenced-by-count":70,"title":["Empirical verification of the even Goldbach conjecture and computation of prime gaps up to 4\u22c510\u00b9\u2078"],"prefix":"10.1090","volume":"83","author":[{"given":"Tom\u00e1s","family":"Oliveira e Silva","sequence":"first","affiliation":[]},{"given":"Siegfried","family":"Herzog","sequence":"additional","affiliation":[]},{"given":"Silvio","family":"Pardi","sequence":"additional","affiliation":[]}],"member":"14","published-online":{"date-parts":[[2013,11,18]]},"reference":[{"key":"1","unstructured":"Ralph G. Archibald, Goldbach\u2019s theorem, Scripta Mathematica 3 (1935), 44\u201350, 153\u2013161."},{"issue":"246","key":"2","doi-asserted-by":"publisher","first-page":"1023","DOI":"10.1090\/S0025-5718-03-01501-1","article-title":"Prime sieves using binary quadratic forms","volume":"73","author":"Atkin, A. O. L.","year":"2004","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"issue":"2","key":"3","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/bf01932283","article-title":"The segmented sieve of Eratosthenes and primes in arithmetic progressions to 10\u00b9\u00b2","volume":"17","author":"Bays, Carter","year":"1977","journal-title":"Nordisk Tidskr. Informationsbehandling (BIT)","ISSN":"https:\/\/id.crossref.org\/issn\/0901-246X","issn-type":"print"},{"issue":"3","key":"4","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/bf01933655","article-title":"Numerical results on the Goldbach conjecture","volume":"15","author":"Bohman, Jan","year":"1975","journal-title":"Nordisk Tidskr. Informationsbehandling (BIT)","ISSN":"https:\/\/id.crossref.org\/issn\/0901-246X","issn-type":"print"},{"key":"5","doi-asserted-by":"publisher","first-page":"959","DOI":"10.2307\/2005532","article-title":"The first occurrence of large gaps between successive primes","volume":"27","author":"Brent, Richard P.","year":"1973","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"key":"6","doi-asserted-by":"publisher","first-page":"315","DOI":"10.2307\/2005842","article-title":"The distribution of small gaps between successive primes","volume":"28","author":"Brent, Richard P.","year":"1974","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"key":"7","doi-asserted-by":"crossref","unstructured":"Harald Cram\u00e9r, On the order of magnitude of the difference between consecutive prime numbers, Acta Arithmetica II (1937), 23\u201346.","DOI":"10.4064\/aa-2-1-23-46"},{"issue":"213","key":"8","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1090\/S0025-5718-96-00674-6","article-title":"Computing \ud835\udf0b(\ud835\udc65): the Meissel, Lehmer, Lagarias, Miller, Odlyzko method","volume":"65","author":"Del\u00e9glise, M.","year":"1996","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"issue":"247","key":"9","doi-asserted-by":"publisher","first-page":"1565","DOI":"10.1090\/S0025-5718-04-01649-7","article-title":"Counting primes in residue classes","volume":"73","author":"Del\u00e9glise, Marc","year":"2004","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"key":"10","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1090\/S1079-6762-97-00031-0","article-title":"A complete Vinogradov 3-primes theorem under the Riemann hypothesis","volume":"3","author":"Deshouillers, J.-M.","year":"1997","journal-title":"Electron. Res. Announc. Amer. Math. Soc.","ISSN":"https:\/\/id.crossref.org\/issn\/1079-6762","issn-type":"print"},{"key":"11","doi-asserted-by":"crossref","unstructured":"J.-M. Deshouillers, H. J. J. te Riele, and Y. Saouter, New experimental results concerning the Goldbach conjecture, Algorithmic Number Theory: ANTS-III Proceedings (J. P. Buhler, ed.), Lecture Notes in Computer Science, vol. 1423, Springer-Verlag, Berlin \/ New York, 1998, pp. 204\u2013215.","DOI":"10.1007\/BFb0054863"},{"key":"12","unstructured":"Jean-Marc Deshouillers and Herman te Riele, On the probabilistic complexity of numerically checking the binary Goldbach conjecture in certain intervals, Number Theory and Its Applications (S. Kanemitsu and K. G\u00ffory, eds.), Kluwer Academic Publishers, Dordrecht \/ Boston \/ London, 1999, pp. 89\u201399."},{"key":"13","unstructured":"Leonard Eugene Dickson, History of the theory of numbers, vol. I: Divisibility and Primality, AMS Chelsea Publishing, Providence, Rhode Island, USA, 1992, Published originally by the Carnegie Institute of Washington (publication number 256) in 1919."},{"issue":"2","key":"14","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0020-0190(96)00099-3","article-title":"A space-efficient fast prime number sieve","volume":"59","author":"Dunten, Brian","year":"1996","journal-title":"Inform. Process. Lett.","ISSN":"https:\/\/id.crossref.org\/issn\/0020-0190","issn-type":"print"},{"key":"15","doi-asserted-by":"publisher","first-page":"373","DOI":"10.2307\/1990253","article-title":"The general form of the so-called law of the iterated logarithm","volume":"54","author":"Feller, W.","year":"1943","journal-title":"Trans. Amer. Math. Soc.","ISSN":"https:\/\/id.crossref.org\/issn\/0002-9947","issn-type":"print"},{"issue":"1","key":"16","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1112\/S0025579300016442","article-title":"On the distribution of primes in short intervals","volume":"23","author":"Gallagher, P. X.","year":"1976","journal-title":"Mathematika","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5793","issn-type":"print"},{"key":"17","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/10722028_17","article-title":"Dissecting a sieve to cut its need for space","author":"Galway, William F.","year":"2000"},{"key":"18","doi-asserted-by":"crossref","unstructured":"A. Granville, Harald Cram\u00e9r and the distribution of prime numbers, Scandinavian Actuarial Journal 1995 (1995), no. 1, 12\u201328.","DOI":"10.1080\/03461238.1995.10413946"},{"key":"19","unstructured":"A. Granville, J. van de Lune, and H. J. J. te Riele, Checking the Goldbach conjecture on a vector computer, Number Theory and Applications (R. A. Mollin, ed.), Kluwer Academic Publishers, Dordrecht \/ Boston \/ London, 1989, pp. 423\u2013433."},{"key":"20","series-title":"Problem Books in Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-26677-0","volume-title":"Unsolved problems in number theory","author":"Guy, Richard K.","year":"2004","ISBN":"https:\/\/id.crossref.org\/isbn\/0387208607","edition":"3"},{"key":"21","doi-asserted-by":"crossref","unstructured":"G. H. Hardy and J. E. Littlewood, Some problems of \u2018partitio numerorum\u2019; III: On the expression of a number as a sum of primes, Acta Mathematica 44 (1922), 1\u201370.","DOI":"10.1007\/BF02403921"},{"key":"22","isbn-type":"print","volume-title":"An introduction to the theory of numbers","author":"Hardy, G. H.","year":"1979","ISBN":"https:\/\/id.crossref.org\/isbn\/0198531702","edition":"5"},{"issue":"1","key":"23","doi-asserted-by":"publisher","first-page":"85","DOI":"10.4064\/aa-41-1-85-99","article-title":"Gaps between primes, and the pair correlation of zeros of the zeta function","volume":"41","author":"Heath-Brown, D. R.","year":"1982","journal-title":"Acta Arith.","ISSN":"https:\/\/id.crossref.org\/issn\/0065-1036","issn-type":"print"},{"key":"24","unstructured":"Chen Jing-Run, On the representation of a large even number as the sum of a prime and the product of at most two primes, Sci. Sinica 21 (1978), 157\u2013176, In chinese."},{"key":"25","unstructured":"Donald E. Knuth, 2006, PRIME-SIEVE-SPARSE program, retrieved on March 2012 from \\url{http:\/\/www-cs-faculty.stanford.edu\/ uno\/programs\/prime-sieve-sparse.w}."},{"issue":"2","key":"26","doi-asserted-by":"publisher","first-page":"153","DOI":"10.4064\/aa148-2-4","article-title":"Averages of Euler products, distribution of singular series and the ubiquity of Poisson distribution","volume":"148","author":"Kowalski, Emmanuel","year":"2011","journal-title":"Acta Arith.","ISSN":"https:\/\/id.crossref.org\/issn\/0065-1036","issn-type":"print"},{"issue":"170","key":"27","doi-asserted-by":"publisher","first-page":"537","DOI":"10.2307\/2007973","article-title":"Computing \ud835\udf0b(\ud835\udc65): the Meissel-Lehmer method","volume":"44","author":"Lagarias, J. C.","year":"1985","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"issue":"4","key":"28","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1007\/BF01933648","article-title":"A note on Goldbach\u2019s conjecture","volume":"20","author":"Light, W. A.","year":"1980","journal-title":"BIT","ISSN":"https:\/\/id.crossref.org\/issn\/0006-3835","issn-type":"print"},{"issue":"2","key":"29","doi-asserted-by":"publisher","first-page":"133","DOI":"10.4064\/aa105-2-3","article-title":"On the Vinogradov bound in the three primes Goldbach conjecture","volume":"105","author":"Liu, Ming-Chit","year":"2002","journal-title":"Acta Arith.","ISSN":"https:\/\/id.crossref.org\/issn\/0065-1036","issn-type":"print"},{"issue":"10","key":"30","doi-asserted-by":"publisher","first-page":"2359","DOI":"10.1016\/j.jnt.2010.03.017","article-title":"Exceptional set of Goldbach number","volume":"130","author":"Lu, Wen Chao","year":"2010","journal-title":"J. Number Theory","ISSN":"https:\/\/id.crossref.org\/issn\/0022-314X","issn-type":"print"},{"issue":"227","key":"31","doi-asserted-by":"publisher","first-page":"1311","DOI":"10.1090\/S0025-5718-99-01065-0","article-title":"New maximal prime gaps and first occurrences","volume":"68","author":"Nicely, Thomas R.","year":"1999","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"issue":"3","key":"32","first-page":"Article 03.3.1, 6","article-title":"New prime gaps between 10\u00b9\u2075 and 5\u00d710\u00b9\u2076","volume":"6","author":"Nyman, Bertil","year":"2003","journal-title":"J. Integer Seq."},{"issue":"2","key":"33","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1080\/10586458.1999.10504393","article-title":"Jumping champions","volume":"8","author":"Odlyzko, Andrew","year":"1999","journal-title":"Experiment. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/1058-6458","issn-type":"print"},{"key":"34","unstructured":"Tom\u00e1s Oliveira e Silva, Fast implementation of the segmented sieve of Eratosthenes, Available at \\url{http:\/\/www.ieeta.pt\/ tos\/software\/prime_{s}ieve.html#n}, August 2003, 2010."},{"key":"35","unstructured":"Tom\u00e1s Oliveira e Silva, Computing \ud835\udf0b(\ud835\udc65): the combinatorial method, Revista do DETUA 4 (2006), no. 6, 759\u2013768, Available at \\url{http:\/\/www.ieeta.pt\/ tos\/bib\/5.4.html}."},{"key":"36","unstructured":"Alphonse de Polignac, Six propositions arithmologiques d\u00e9duites du cribe d\u2019Eratosth\u00e8ne, Nouvelles Annales de Math\u00e9matiques 8 (1849), 423\u2013429."},{"issue":"4","key":"37","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/BF00264164","article-title":"Explaining the wheel sieve","volume":"17","author":"Pritchard, Paul","year":"1982","journal-title":"Acta Inform.","ISSN":"https:\/\/id.crossref.org\/issn\/0001-5903","issn-type":"print"},{"issue":"4","key":"38","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1016\/0196-6774(83)90014-7","article-title":"Fast compact prime number sieves (among others)","volume":"4","author":"Pritchard, Paul","year":"1983","journal-title":"J. Algorithms","ISSN":"https:\/\/id.crossref.org\/issn\/0196-6774","issn-type":"print"},{"issue":"1","key":"39","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1016\/S0022-314X(02)00029-X","article-title":"Short effective intervals containing primes","volume":"98","author":"Ramar\u00e9, Olivier","year":"2003","journal-title":"J. Number Theory","ISSN":"https:\/\/id.crossref.org\/issn\/0022-314X","issn-type":"print"},{"issue":"236","key":"40","doi-asserted-by":"publisher","first-page":"1745","DOI":"10.1090\/S0025-5718-00-01290-4","article-title":"Verifying the Goldbach conjecture up to 4\u22c510\u00b9\u2074","volume":"70","author":"Richstein, J\u00f6rg","year":"2001","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"issue":"222","key":"41","doi-asserted-by":"publisher","first-page":"863","DOI":"10.1090\/S0025-5718-98-00928-4","article-title":"Checking the odd Goldbach conjecture up to 10\u00b2\u2070","volume":"67","author":"Saouter, Yannick","year":"1998","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"key":"42","unstructured":"Pascal Sebah and Xavier Gourdon, Introduction to twin primes and Brun\u2019s constant computation, Retrieved from \\url{http:\/\/numbers.computation.free.fr\/Constants\/Primes\/twin.html} on March 2012, 2002."},{"key":"43","doi-asserted-by":"publisher","first-page":"646","DOI":"10.2307\/2002951","article-title":"On maximal gaps between successive primes","volume":"18","author":"Shanks, Daniel","year":"1964","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"key":"44","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/bf01939515","article-title":"On checking the Goldbach conjecture","volume":"4","author":"Shen, Mok-kong","year":"1964","journal-title":"Nordisk Tidskr. Informationsbehandling (BIT)","ISSN":"https:\/\/id.crossref.org\/issn\/0901-246X","issn-type":"print"},{"key":"45","doi-asserted-by":"crossref","unstructured":"Richard C. Singleton, Algorithm 357: An efficient prime number generator, Communications of the ACM 12 (1969), no. 10, 563\u2013564.","DOI":"10.1145\/363235.363247"},{"issue":"204","key":"46","doi-asserted-by":"publisher","first-page":"931","DOI":"10.2307\/2153264","article-title":"Checking the Goldbach conjecture up to 4\u22c510\u00b9\u00b9","volume":"61","author":"Sinisalo, Matti K.","year":"1993","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"key":"47","doi-asserted-by":"crossref","unstructured":"M. L. Stein and P. R. Stein, Experimental results on additive 2-bases, Mathematics of Computation 19 (1965), no. 91, 427\u2013434.","DOI":"10.1090\/S0025-5718-65-99251-3"},{"key":"48","unstructured":"Terence Tao, Every odd number greater than 1 is the sum of at most five primes, Math. Comp., published electronically June 24, 2013."},{"key":"49","unstructured":"Marek Wolf, Some heuristics on the gaps between consecutive primes, arXiv:1102.0481v2 [math.NT], May 2011."},{"issue":"185","key":"50","doi-asserted-by":"publisher","first-page":"221","DOI":"10.2307\/2008665","article-title":"First occurrence prime gaps","volume":"52","author":"Young, Jeff","year":"1989","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"}],"container-title":["Mathematics of Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.ams.org\/mcom\/2014-83-288\/S0025-5718-2013-02787-1\/S0025-5718-2013-02787-1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/www.ams.org\/mcom\/2014-83-288\/S0025-5718-2013-02787-1\/S0025-5718-2013-02787-1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,30]],"date-time":"2021-07-30T05:38:43Z","timestamp":1627623523000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ams.org\/mcom\/2014-83-288\/S0025-5718-2013-02787-1\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,18]]},"references-count":50,"journal-issue":{"issue":"288","published-print":{"date-parts":[[2014,7]]}},"alternative-id":["S0025-5718-2013-02787-1"],"URL":"https:\/\/doi.org\/10.1090\/s0025-5718-2013-02787-1","archive":["CLOCKSS","Portico"],"relation":{},"ISSN":["0025-5718","1088-6842"],"issn-type":[{"value":"0025-5718","type":"print"},{"value":"1088-6842","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,11,18]]}}}