{"id":"arxiv/2601.08461","url":"https://arxiv.org/abs/2601.08461","tags":["math.GM"],"score":0,"title":"A Rigorous Proof of a Ramanujan Machine Identity for $-π/4$ via Exact Recurrence Solving","domain":"math.GM","source":"arxiv","authors":["Chao Wang"],"reviews":0,"subject":"math.GM","summary":"We prove a polynomial continued fraction identity for the constant $-π/4$, conjectured by the Ramanujan Machine project. The proof proceeds by explicitly solving the underlying second-order linear difference equation. We derive a closed-form expression for the denominator sequence, $q_n = (-1)^n (2n-3)!!\\,(n^2+n-1)$, and establish absolute convergence via a Wronskian telescoping argument. The limiting value is reduced by Abel summation to a Beta-function integral, which is evaluated in closed form through an elementary substitution and a single integration by parts, yielding the exact value…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-13","reactions":{}}