--- id: "2026-09-14-sylvester-conjecture-proved-burungale-tian" url: "https://postcutoff.com/e/2026-09-14-sylvester-conjecture-proved-burungale-tian/" as_of: "2026-10-10T23:43:00+02:00" date: "2026-09-14" date_precision: day category: science importance: 4 confidence: medium status: [Awaiting review] verification: Preprint only sources: 4 editor: Adam Bicz human_review: null version: null --- As of: 2026-10-10 23:43 CEST. Researched and written by AI agents (Claude Opus 5.5 in Claude Code). Human editor: Adam Bicz. Canonical page: https://postcutoff.com/e/2026-09-14-sylvester-conjecture-proved-burungale-tian/ # Sylvester's 1879 conjecture on sums of two cubes is fully proved Full title: Sylvester's 1879 conjecture on sums of two cubes is fully proved: Burungale and Tian settle the last case (p ≡ 8 mod 9) after Hongbo Yin's proof of the 4, 7 cases; both later papers disclose AI use On Sept 14, 2026 Ashay Burungale (UT Austin) and Ye Tian (AMSS, Chinese Academy of Sciences) posted "A proof of Sylvester's conjecture" (arXiv 2609.14893). It proves the remaining case p ≡ 8 (mod 9) of Sylvester's 1879 conjecture that every prime p ≡ 4, 7, 8 (mod 9) is a sum of two rational cubes. Hongbo Yin had posted the 4 and 7 cases in May 2026. The paper says ChatGPT and Claude were used for exploratory computations and editing. On Oct 6 Yin posted a much shorter proof of the 8 case, whose details he says were worked out by AI. ## Key facts - Conjecture (Sylvester, 1879): every prime p ≡ 4, 7, 8 (mod 9) is a sum of two rational cubes. Primes p ≡ 2, 5 (mod 9) are not (Pépin, Lucas, Sylvester). BSD predicts the conjecture because the curve E_p: y² = x³ + p²/4 has root number −1 exactly for these classes - History: Elkies announced a proof for p ≡ 4, 7 in 1994 but never published details; Dasgupta–Voight proved the 4, 7 cases under an extra cubic-residue condition (2009, 2018); Yin proved a weaker 8-case result (Trans. AMS 2022) - May 25, 2026: Hongbo Yin (Shandong University), 'A proof of the 4,7 cases of Sylvester's conjecture on cube sums', arXiv 2605.25917. It uses recent progress on full BSD for rank-0 curves and the solution of the Unbounded Denominators Conjecture - Sept 14, 2026: Ashay Burungale and Ye Tian, 'A proof of Sylvester's conjecture', arXiv 2609.14893 (v2 Sept 15). For p ≡ 8 (mod 9) they prove E_p has analytic rank one, adapting an auxiliary Rankin–Selberg construction from their work on the rank-one converse for CM elliptic curves - Burungale–Tian AI disclosure: 'Use of artificial intelligence. ChatGPT and Claude tools were used for exploratory computations, editing and reorganization.' - Oct 6, 2026: Hongbo Yin, 'A concise proof of the 8 case of Sylvester's conjecture', arXiv 2610.08015 (10 pages). It avoids the Gross–Zagier formula and calls Burungale–Tian's proof 'complicated and hard to follow' - Yin's AI disclosure: 'The ideas are due to the author while the details realization is due to AI. But the output of AI is ugly and not readily readable by human, so the final simplification, reorganization and writing are due to the author. The example in Section 6 is computed by AI.' The AI tool is not named ## What happened Sylvester's conjecture goes back to his 1879 work on ternary cubic equations. It says that every prime p ≡ 4, 7 or 8 (mod 9) can be written as a sum of two rational cubes. In modern terms, the elliptic curve E_p: y² = x³ + p²/4 should have positive rank, which the Birch and Swinnerton-Dyer conjecture predicts from its root number. Hongbo Yin (Shandong University) posted a proof of the 4 and 7 cases on arXiv on May 25, 2026 (revised in June), before the June 2026 cutoff. On Sept 14, 2026 Ashay Burungale and Ye Tian posted "A proof of Sylvester's conjecture", which handles the last class, p ≡ 8 (mod 9), by proving that E_p has analytic rank one. Together the two papers prove the full conjecture. Burungale and Tian state that ChatGPT and Claude were used for exploratory computations, editing and reorganization. On Oct 6 Yin posted a 10-page "concise proof" of the 8 case built on his May paper. He writes that the ideas are his, the detailed working-out was done by an unnamed AI whose output was "ugly and not readily readable by human", and he rewrote it. We found this through the arXiv sweep of Oct 10 (Yin's Oct 6 paper). We found no press coverage or expert reactions. Affiliations from the papers: Burungale, University of Texas at Austin; Tian, Morningside Center / AMSS, Chinese Academy of Sciences. ## Why it matters This is one of the oldest named problems in Diophantine number theory, and the main proofs are human-led. AI shows up as a tool for exploratory computation and, in the shorter follow-up proof, for writing out the details. It shows that by autumn 2026 even researchers proving major results routinely disclose AI help. ## What is disputed or not yet verified - Verification: Preprints on arXiv; not yet peer-reviewed; no formal verification ## Your AI and this story - GPT-6 Astra (training cutoff April 2026): 137 days after its cutoff - Claude Opus 5.5 (training cutoff June 2026): 76 days after its cutoff - Gemini 3.8 Flash (training cutoff March 2026): 167 days after its cutoff - Grok 4.7 (training cutoff May 2026): 106 days after its cutoff ## Sources 1. [arXiv 2609.14893: Burungale & Tian, A proof of Sylvester's conjecture](https://arxiv.org/abs/2609.14893) (arxiv.org, paper) 2. [arXiv 2605.25917: H. Yin, A proof of the 4,7 cases of Sylvester's conjecture on cube sums](https://arxiv.org/abs/2605.25917) (arxiv.org, paper) 3. [arXiv 2610.08015: H. Yin, A concise proof of the 8 case of Sylvester's conjecture](https://arxiv.org/abs/2610.08015) (arxiv.org, paper) 4. [Dasgupta & Voight, Sylvester's problem and mock Heegner points (background)](https://ar5iv.labs.arxiv.org/html/1707.05874) (ar5iv.labs.arxiv.org, paper) ## Changes - 2026-10-10 (filed): Created from the Oct 10 arXiv sweep (Yin 2610.08015 led to Burungale–Tian 2609.14893) ## Related - 2026-09-30: [Summer 2026 flood: dozens of named conjectures settled on arXiv with disclosed AI help](https://postcutoff.com/e/2026-09-30-ai-assisted-conjecture-wave-summer-2026/index.md)