Le théorème des nombres premiers a été conjecturé par Gauss en 1792 ou 1793 (alors qu'il avait seulement 15 ou 16 ans) en observant la table de nombres premiers de Lambert, selon ses propres affirmations ultérieures : voir Lettre de Gauss à Encke, 1849 (de) ; au demeurant, Gauss n'a pas réussi à démontrer rigoureusement ce théorème, et a d'ailleurs formulé une conjecture plus précise... qui s'est révélée être fausse
uwo.ca
math.uwo.ca
(en) Bailey, David, « New Math Formulas Discovered With Supercomputers », NAS News, vol. 2, no 24, ; voir aussi cet article sur ζ(4) par D. J. Borwein (en), montrant qu'en fait cette identité était essentiellement connue dès 1991.