{"schema":"postcutoff/event@1","as_of":"2026-10-30T13:42:00+01:00","url":"https://postcutoff.com/e/2026-10-06-openai-bsd-low-selmer-corank-goldfeld-claim/","md":"https://postcutoff.com/e/2026-10-06-openai-bsd-low-selmer-corank-goldfeld-claim/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"human editor","policy":"https://postcutoff.com/about/"},"license":null,"id":"2026-10-06-openai-bsd-low-selmer-corank-goldfeld-claim","date":"2026-10-06","date_precision":"day","short_title":"OpenAI claims BSD in Selmer corank ≤ 1 and Goldfeld's conjecture","deck":null,"takeaway":"Families 002 and 006 of OpenAI's 6 Oct 2026 maths release claim the full Birch–Swinnerton-Dyer leading-term formula for every elliptic curve over ℚ whose p-power Selmer group has corank 0 or 1 at some prime, and Goldfeld's conjecture that half of all quadratic twists have analytic rank 0 and half rank 1. Together they would give full BSD for 100% of the quadratic twists of every curve. None of it is formalized, and the experts who have commented read it as a strong technical result in the rank ≤ 1 range that leaves the general conjecture untouched.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":[{"n":1,"title":"OpenAI: Exact Birch–Swinnerton-Dyer Formula from Low Selmer Corank (7 Oct version)","url":"https://github.com/openai/math/blob/main/preprints/Exact-Birch-Swinnerton-Dyer-Formula-from-Low-Selmer-Corank-October-7-2026/exact-bsd-low-selmer-corank.pdf","type":"paper","group":"primary","domain":"github.com"},{"n":2,"title":"OpenAI: The Selmer converse for elliptic curves at every prime","url":"https://github.com/openai/math/blob/main/preprints/The-Selmer-converse-for-elliptic-curves-at-every-prime-October-7-2026/main.pdf","type":"paper","group":"primary","domain":"github.com"},{"n":3,"title":"OpenAI: The two-primary Birch–Swinnerton-Dyer formula in Selmer corank at most one","url":"https://github.com/openai/math/blob/main/preprints/The-two-primary-Birch-Swinnerton-Dyer-formula-in-Selmer-corank-at-most-one-October-6-2026/paper.pdf","type":"paper","group":"primary","domain":"github.com"},{"n":4,"title":"OpenAI: Goldfeld's analytic density conjecture and the 2-converse for elliptic curves","url":"https://github.com/openai/math/blob/main/preprints/Goldfelds-analytic-density-conjecture-and-the-2-converse-for-elliptic-curves-October-7-2026/paper.pdf","type":"paper","group":"primary","domain":"github.com"},{"n":5,"title":"OpenAI: The mean analytic rank of quadratic twists of elliptic curves","url":"https://github.com/openai/math/blob/main/preprints/The-mean-analytic-rank-of-quadratic-twists-of-elliptic-curves-October-6-2026/paper.pdf","type":"paper","group":"primary","domain":"github.com"},{"n":6,"title":"arXiv 2610.09370: Ruihan Chen, ranks of the twin-prime elliptic curve, assuming the announced low-corank BSD","url":"https://arxiv.org/abs/2610.09370","type":"paper","group":"primary","domain":"arxiv.org"},{"n":7,"title":"openai/math history.md (7 Oct revisions)","url":"https://github.com/openai/math/blob/main/history.md","type":"official","group":"primary","domain":"github.com"},{"n":8,"title":"Persiflage (Frank Calegari): A Brief Digest of Some New OpenAI Results (8 Oct)","url":"https://galoisrepresentations.org/2026/10/08/a-brief-digest-of-some-new-openai-results/","type":"discussion","group":"reactions","domain":"galoisrepresentations.org"},{"n":9,"title":"Persiflage: BSD and the p-converse (guest post by Ashay Burungale, 15 Oct)","url":"https://galoisrepresentations.org/2026/10/15/bsd-and-the-p-converse-guest-post-ashay-burungale/","type":"discussion","group":"reactions","domain":"galoisrepresentations.org"},{"n":10,"title":"Pierre Colmez on X: 'Progress on BSD is pure PR, no content' (7 Oct)","url":"https://x.com/ColmezPierre/status/2107898549476180125","type":"discussion","group":"reactions","domain":"x.com"},{"n":11,"title":"Pierre Colmez on X: 'basically a matter of chasing powers of 2' (9 Oct)","url":"https://x.com/ColmezPierre/status/2108513838727614885","type":"discussion","group":"reactions","domain":"x.com"},{"n":12,"title":"GitHub holimart/math issue 2: mod-8 congruence in the Goldfeld / 2-converse manuscript fails numerically","url":"https://github.com/holimart/math/issues/2","type":"discussion","group":"reactions","domain":"github.com"},{"n":13,"title":"GitHub borism/openai-math-slop issue 1: check of the mod-8 report ('numerics real, not a disproof')","url":"https://github.com/borism/openai-math-slop/issues/1","type":"discussion","group":"reactions","domain":"github.com"},{"n":14,"title":"oai-math-revised: community notes on the exact-BSD manuscript","url":"https://github.com/mathcommunity/oai-math-revised/blob/main/preprints/Exact-Birch-Swinnerton-Dyer-Formula-from-Low-Selmer-Corank-October-7-2026/AGENT_NOTES.md","type":"discussion","group":"reactions","domain":"github.com"}],"official":7,"filed":"2026-10-29","updated":"2026-10-29","orgs":["OpenAI"],"title":"OpenAI's release claims the full Birch–Swinnerton-Dyer formula in Selmer corank 0 and 1 and Goldfeld's 50/50 conjecture for quadratic twists; number theorists call it a technical advance, not progress on the Millennium problem","summary":"Five manuscripts in OpenAI's 6 Oct 2026 release (families 002 and 006, dated 23 Sep to 7 Oct) claim the full Birch–Swinnerton-Dyer leading-term formula, including finiteness of the Tate–Shafarevich group, for every elliptic curve over ℚ whose q-power Selmer group has corank 0 or 1 for some prime q, and Goldfeld's conjecture that the quadratic twists of every curve have analytic rank 0 and 1 with density 1/2 each. Combined, they would give full BSD for a density-one set of twists. The papers are unrefereed and not formalized. Frank Calegari, Pierre Colmez and other number theorists see technical progress in the rank ≤ 1 range rather than progress on BSD itself; Ashay Burungale identifies a new tame-congruence idea and says correctness is still being analysed.","key_facts":["Manuscripts (OpenAI, unrefereed, no Lean scope note): 'Exact Birch–Swinnerton-Dyer Formula from Low Selmer Corank' (94 pp., version of 7 Oct), 'The Selmer converse for elliptic curves at every prime' (82 pp., 7 Oct), 'The two-primary Birch–Swinnerton-Dyer formula in Selmer corank at most one' (164 pp., 6 Oct), 'Goldfeld's analytic density conjecture and the 2-converse for elliptic curves' (130 pp., 7 Oct) and 'The mean analytic rank of quadratic twists of elliptic curves' (41 pp., 6 Oct); earlier versions are dated 23 Sep to 3 Oct","Main claim (abstract, verbatim): 'We prove the full Birch–Swinnerton-Dyer leading-term formula for every elliptic curve over ℚ whose full q-power Selmer group has corank zero or one at some prime q. The analytic and Mordell–Weil ranks equal that corank, and the Tate–Shafarevich group is finite.'","Goldfeld (abstract, verbatim): 'for every elliptic curve E over ℚ, the quadratic twists of E with analytic rank zero and one each have density 1/2 among signed squarefree twist parameters ordered by absolute value'. A companion proves that the average analytic rank of the twists tends to 1/2","Background (Burungale's account): Gross–Zagier and Kolyvagin give rank equality and finite Sha when the analytic rank is 0 or 1; the converse direction, from Selmer corank to analytic rank, was 'largely known for odd primes p of good reduction', with additive primes the main obstacle. Alexander Smith's theorem gives the 50/50 split for 2-Selmer coranks of twists; the new 2-converse turns it into analytic ranks","Side result in the Selmer-converse paper: every prime ℓ ≡ 4, 7, 8 (mod 9) is a sum of two rational cubes (Sylvester's 1879 conjecture), already proved by explicit constructions by Yin and by Burungale–Tian (see 2026-09-14-sylvester-conjecture-proved-burungale-tian)","Frank Calegari (Persiflage blog, 8 Oct, verbatim): 'My first impression is that these are technical improvements on results already in the literature, and that they represent no genuine progress towards the higher-rank version of BSD.' A commenter signing as Loeffler (9 Oct): 'It doesn’t seem to go much (if at all) beyond stuff that Skinner, Castella, Burungale, et al have done lately'","Pierre Colmez (X, 7 Oct, verbatim): 'Progress on BSD is pure PR, no content. For Riemann, on the other hand, the result is spectacular.' On 9 Oct he added that it 'was basically a matter of chasing powers of 2: a non trivial task, but far from a progress towards the millenium problem'","Ashay Burungale (guest post on Persiflage, 15 Oct, verbatim): 'The correctness of the announced proofs is still being analysed; I intend to report on this separately.' He names as new the use of 'ring-class characters ramified at auxiliary primes away from p' and calls 'a key novelty' the combination of 'this tame congruence method with division of the Heegner class'","Reported problem in one proof step: a GitHub report (holimart/math issue 2, 8 Oct) found that a mod-8 congruence in a lemma of the Goldfeld/2-converse manuscript fails numerically. An independent Claude-assisted check (borism/openai-math-slop issue 1) reproduced the numbers but concluded: 'the numerics are correct, but the issue does not disprove a conjecture or Theorem 1.1'; the step lies in a branch that appears to be empty, 'a weakness in the write-up (or a gap, if the branch can occur)'","Use downstream: Ruihan Chen (arXiv 2610.09370, 7 Oct) derives the exact BSD formula for twin-prime curves y² = x(x−2)(x−p) 'assuming the low-corank Birch-Swinnerton-Dyer statement announced in the October 2026 OpenAI mathematics release'. OpenAI's Hilbert's-tenth manuscript (family 004) cites the Goldfeld/2-converse paper","Revisions: on 7 Oct OpenAI removed 'an obsolete introductory citation to a removed supporting manuscript' from the exact-BSD paper (history.md); the other changes were citation updates"],"key_numbers":[],"tags":["math","number-theory","elliptic-curves","bsd","birch-swinnerton-dyer","goldfeld-conjecture","selmer-groups","openai","openai-math-release","unverified","claim"],"science":{"field":"mathematics","subfield":"number theory (elliptic curves, Selmer groups, Iwasawa theory)","problem":"Birch and Swinnerton-Dyer conjecture in rank ≤ 1 (full leading-term formula at every prime); Goldfeld's conjecture (1979) on the ranks of quadratic twists","result":"Claimed: full BSD formula whenever some p-power Selmer group has corank 0 or 1; Goldfeld's 50/50 density and mean analytic rank 1/2 for the quadratic twists of every E/ℚ; hence full BSD for a density-one set of twists of every curve","open_since":"1965","ai_system":["OpenAI internal model (openai/math release)"],"human_role":"Autonomous AI output released by OpenAI under its fixed procedure (README)","verification":{"key":"preprint","label":"Preprint only","text":"Unrefereed manuscripts, no Lean formalization; one proof step questioned on GitHub (8 Oct); expert readings describe the results as technical"},"status":"pending","shock":"The full BSD formula, including the 2-part and additive primes, was out of reach for general curves even in rank one, but specialists expected the area to get there soon."},"body_md":"## What happened\n\nThe Birch and Swinnerton-Dyer conjecture predicts that the rank of an elliptic curve over ℚ equals the order of vanishing of its\nL-function at s = 1, and gives an exact formula for the leading coefficient in terms of the curve's arithmetic, including the size\nof the Tate–Shafarevich group. Since the 1980s it has been known that analytic rank 0 or 1 forces the rank to match and Sha to be\nfinite, but the exact formula at every prime, and the converse direction from Selmer groups back to L-functions, have been worked\nout only piece by piece.\n\nOpenAI's release contains a chain of five manuscripts on this range. The exact-BSD paper states the full leading-term formula\nwhenever the p-power Selmer group has corank 0 or 1 for some prime p, with no conditions on reduction, torsion or residual\nrepresentations. Two companions supply the converse theorem at every prime, including the prime 2 and additive primes. A further\npair proves Goldfeld's conjecture that, ordered by size, half of the quadratic twists of any curve have analytic rank 0 and half\nrank 1, with average rank 1/2. With Alexander Smith's theorem on 2-Selmer groups of twists, this would give the complete BSD\nformula for 100% of the twists of every elliptic curve over ℚ. None of the papers has a Lean formalization.\n\n## Why it matters\n\nIf the chain holds, the rank ≤ 1 part of BSD over ℚ is settled in its exact form, and Goldfeld's 1979 prediction about twists\nbecomes a theorem. It is not a solution of the Millennium problem, which concerns curves of every rank; headlines that counted\nthese papers as \"progress on BSD\" overstate them, in the view of Calegari, Colmez and the commenter Loeffler.","disputed":[{"label":"Verification","text":"Unrefereed manuscripts, no Lean formalization; one proof step questioned on GitHub (8 Oct); expert readings describe the results as technical","sources":[]}],"related":[{"id":"2026-10-06-openai-math-release-722-manuscripts","url":"https://postcutoff.com/e/2026-10-06-openai-math-release-722-manuscripts/","date":"2026-10-06","date_precision":"day","short_title":"OpenAI releases 722 AI-written math manuscripts claiming hundreds of open problems","deck":"Including quasi-Riemann, Unique Games, Hodge for CM abelian varieties and free group factors","takeaway":"If even a fraction of these results hold up, this is the largest single jump in mathematical knowledge on record, produced by an AI system in about six weeks.","category":"science","category_label":"Science & math","importance":5,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":79,"official":13,"filed":"2026-10-07","updated":"2026-10-29","orgs":["OpenAI"]},{"id":"2026-10-06-openai-hilbert-tenth-problem-rationals-claim","url":"https://postcutoff.com/e/2026-10-06-openai-hilbert-tenth-problem-rationals-claim/","date":"2026-10-06","date_precision":"day","short_title":"OpenAI claims Hilbert's tenth problem over ℚ is undecidable","deck":null,"takeaway":"Family 004 of OpenAI's 6 Oct 2026 release claims that no algorithm decides whether an integer polynomial has a rational zero, the rational-number version of Hilbert's tenth problem, open since Matiyasevich settled the integer case in 1970. The 62-page proof avoids defining the integers inside the rationals; it reduces integer solvability to infinitely many finite rational tests. It is not formalized and leans on three companion manuscripts. Frank Calegari said it 'threw me for a loop', and Hector Pasten called the strategy 'original'.","category":"science","category_label":"Science & math","importance":5,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":8,"official":4,"filed":"2026-10-29","updated":"2026-10-29","orgs":["OpenAI"]},{"id":"2026-09-14-sylvester-conjecture-proved-burungale-tian","url":"https://postcutoff.com/e/2026-09-14-sylvester-conjecture-proved-burungale-tian/","date":"2026-09-14","date_precision":"day","short_title":"Sylvester's 1879 conjecture on sums of two cubes is fully proved","deck":"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","takeaway":"This is one of the oldest named problems in Diophantine number theory, and the main proofs are human-led.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":4,"official":4,"filed":"2026-10-10","updated":"2026-10-19","orgs":["University of Texas at Austin","Chinese Academy of Sciences","Shandong University"]}],"people":[],"posts":[{"id":"x-colmezpierre-2108513838727614885","title":"“I don't disagree, but at this point it was basically a matter of chasing powers of 2: a…”","url":"https://postcutoff.com/p/x-colmezpierre-2108513838727614885/"},{"id":"x-colmezpierre-2107898549476180125","title":"“Progress on BSD is pure PR, no content. For Riemann, on the other hand, the result is…”","url":"https://postcutoff.com/p/x-colmezpierre-2107898549476180125/"}],"videos":[],"models":[],"changes":[{"date":"2026-10-29","type":"filed","text":"Created (families 001–125; manuscripts, Persiflage posts, X posts via fxtwitter and the two GitHub issues read)"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-10-29","run":null,"sources_read":"Families 001–125; manuscripts, Persiflage posts, X posts via fxtwitter and the two GitHub issues read","updated":"2026-10-29","human_review":null,"version":{"date":"2026-10-29"}},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":159,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":98,"in_training_data":false},{"model_id":"gemini-4-argon","name":"Gemini 4 Argon","cutoff":"2026-03","days_after":189,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":128,"in_training_data":false}],"short_url":"https://postcutoff.com/s/openai-bsd-selmer-corank"}