{"id":"palomar/PALOMAR-2026-11-01-000015","url":"https://github.com/lopatto/plouffe-palomar-public/tree/206334982fff64ce420f5e3d8a3f40f68845075e","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-11-01-000015-v1.json","repo":"https://github.com/lopatto/plouffe-palomar-public","tags":["math.NT","msc:11M06","msc:11Y60"],"score":0,"title":"Odd zeta values and powers of pi","trust":"high","domain":"math.NT","source":"palomar","authors":["Patrick Lopatto"],"reviews":0,"subject":"math.NT","summary":"Lean proofs of three-Lambert-series formulas for pi^(4m-1), pi^(4m+1), zeta(4m-1) and zeta(4m+1), for m>=1, together with a separate formula for pi and the signs of the rational denominator coefficients.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-11-01","reactions":{},"formalized":true,"formalizes":[{"title":"Formulas for odd zeta values and powers of pi","identifier":"https://arxiv.org/abs/2406.00567v2","relationship":"formalizes"}]}