{"id":"arxiv/2609.14893","url":"https://arxiv.org/abs/2609.14893","tags":["math.NT"],"score":0,"title":"A proof of Sylvester's conjecture","domain":"math.NT","source":"arxiv","authors":["Ashay Burungale","Ye Tian"],"reviews":0,"subject":"math.NT","summary":"We prove Sylvester's conjecture, originating in his 1879 study of ternary cubic equations, that every prime $p\\equiv4,7,8\\pmod9$ is a sum of two rational cubes. Elkies announced a proof for the classes $4$ and $7$ in 1994, and Yin recently supplied a complete proof. For the remaining class $p\\equiv8\\pmod9$, we prove that the elliptic curve $E_p:y^2=x^3+p^2/4$ has analytic rank one, as predicted by the Birch and Swinnerton-Dyer conjecture, and so $p$ is a sum of two rational cubes. The proof begins by adapting the auxiliary Rankin--Selberg construction from the authors' work on the rank one…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-14","reactions":{}}