{"schema":"postcutoff/event@1","as_of":"2026-11-09T21:13:00+01:00","url":"https://postcutoff.com/e/2026-10-31-bhargava-cyclic-reduction-elliptic-curves-positive-proportion-gpt-6/","md":"https://postcutoff.com/e/2026-10-31-bhargava-cyclic-reduction-elliptic-curves-positive-proportion-gpt-6/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-31-bhargava-cyclic-reduction-elliptic-curves-positive-proportion-gpt-6","date":"2026-10-31","date_precision":"day","short_title":"Bhargava: elliptic curves have cyclic reduction at a positive proportion of primes (claim)","deck":null,"takeaway":"Serre showed under the generalized Riemann hypothesis that an elliptic curve over ℚ without full rational 2-torsion has cyclic reduction E(F_p) at a positive proportion of primes; Murty removed GRH for CM curves, and Gupta–Murty proved infinitely many such primes in general. On 31 Oct Manjul Bhargava (Princeton) posted on Hexagon an unconditional positive lower proportion for every such curve. The argument uses Cureton–Thorner's zero-free half-plane and 'the marked Type II estimates of OpenAI'. Per the provenance statement, handwritten notes were turned into LaTeX 'with additional writing and details added by both the author and GPT-6'. GPT-6 also helped formalise the deduction in Lean, with the analytic inputs left as hypotheses. Only some parts have been checked by a human, and it is not refereed.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":[{"n":1,"title":"Hexagon 2610.00699: Cyclic reductions of elliptic curves at a positive proportion of primes (Bhargava)","url":"https://hexagonmath.org/abs/2610.00699v1","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":2,"title":"Hexagon 2610.00699 PDF","url":"https://hexagonmath.org/pdf/2610.00699v1","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":3,"title":"Hexagon 2610.00228: positive lower density for Artin's primitive roots (Bhargava)","url":"https://hexagonmath.org/abs/2610.00228v1","type":"paper","group":"primary","domain":"hexagonmath.org"}],"official":3,"filed":"2026-10-31","updated":"2026-10-31","orgs":["OpenAI","Princeton University"],"title":"Serre's cyclicity problem: Manjul Bhargava's Hexagon paper claims cyclic reduction at a positive proportion of primes for every elliptic curve over ℚ without full rational 2-torsion, written with GPT-6 on top of OpenAI's estimates","summary":"Hexagon 2610.00699 (\"Cyclic reductions of elliptic curves at a positive proportion of primes\", Manjul Bhargava, 31 Oct 2026) proves that every elliptic curve E/ℚ whose 2-torsion points are not all rational has E(F_p) cyclic for a positive lower density of primes, a necessary and sufficient condition. A common zero-free half-plane Re s > 1 − 1/N for Dedekind zeta functions gives density at least c_E/(N log N); Cureton–Thorner supply N = 32. The proof reuses the varying-cofactor sieve of Bhargava's Hexagon papers on Artin's primitive roots and on primitive points, built on OpenAI's marked Type II estimates. Mixed human and GPT-6 text; partial Lean.","key_facts":["Claim (abstract): 'We prove that every elliptic curve over ℚ whose points of order two are not all rational has cyclic reduction at a positive lower density of primes. This is the only necessary restriction … the theorem of Cureton and Thorner supplies N=32. The proof uses the varying-cofactor sieve of our earlier works on primitive roots and primitive points, in conjunction with the marked Type II estimates of OpenAI'","Provenance (Hexagon, verbatim): 'The argument was worked out in handwritten notes, which were then converted into LaTeX, with additional writing and details added by both the author and GPT-6. The deduction of Theorems 1 and 2 from specified analytic and arithmetic inputs was then formalized in Lean with the help of GPT-6.' The Cureton–Thorner hypothesis, the candidate-prime estimate (Proposition 6), the smoothed prime-ideal bound and the prime number theorem 'remain explicit hypotheses … their proofs were not formalized here'. Text declaration: 'A mix of human-written and AI-generated'; human understanding: 'Some parts … but not all'","History (paper, §1): Borosh–Moreno–Porta's numerical study; Serre's 1977–78 density prediction and its proof under GRH (published by Murty); Murty removed GRH for CM curves, Cojocaru simplified it; Gupta and Murty proved ≫ X/(log X)² cyclic primes unconditionally; Cojocaru showed the asymptotic follows from zero-freeness in Re s > 3/4, which the available Re s > 31/32 does not give","Chain of AI-era inputs: OpenAI's 6 Oct release (Artin primitive-root family, marked Type II estimates) → Cureton–Thorner's quasi-Riemann hypothesis for every Dedekind zeta function (Re s > 31/32, Hexagon, 12 Oct) → Bhargava's positive-density Artin result (Hexagon 2610.00228, 14 Oct) and primitive points paper → this cyclicity theorem","Contributor: the Hexagon record lists Manjul Bhargava, Princeton University (Fields Medal 2014) as sole author and sponsor; arXiv copy: none on 31 Oct","Verification status: Hexagon deposit (Hexagon does not judge correctness), not refereed; Lean covers the deduction from stated inputs only; the unconditional status rests on OpenAI's and Cureton–Thorner's unrefereed results; no reaction found on 31 Oct"],"key_numbers":[],"tags":["math","number-theory","elliptic-curves","analytic-number-theory","hexagon","chatgpt","gpt-6","lean","preprint"],"science":{"field":"mathematics","subfield":"number theory / elliptic curves","problem":"Serre's cyclicity problem: unconditional positive density of primes p with E(F_p) cyclic","result":"Claimed positive lower density c_E/(32 log 32) for every E/ℚ without full rational 2-torsion, CM and non-CM alike (known before under GRH, or for CM curves)","open_since":"1977","ai_system":["GPT-6","ChatGPT"],"human_role":"Human-led with AI writing: Bhargava's handwritten argument; GPT-6 added writing and details and helped with the Lean formalisation; builds on OpenAI's AI-generated analytic estimates","verification":{"key":"none","label":"Unverified claim","text":"Hexagon deposit, not refereed; partial Lean (deduction only); depends on unrefereed AI-era inputs"},"status":"pending","shock":""},"body_md":"## What happened\n\nFor an elliptic curve E over ℚ and a prime p of good reduction, the group E(F_p) is either cyclic or not. Serre predicted the proportion\nof primes where it is cyclic and proved the prediction under the generalized Riemann hypothesis. Without GRH, a positive proportion was\nknown only for curves with complex multiplication.\n\nOn 31 Oct Manjul Bhargava posted on Hexagon a proof of a positive lower proportion for every curve whose 2-torsion is not fully rational,\nwhich is the necessary condition. The argument rests on two recent unrefereed inputs from the AI era: OpenAI's marked Type II estimates\nand Cureton and Thorner's zero-free half-plane for Dedekind zeta functions. The provenance statement says GPT-6 added writing and details\nto Bhargava's handwritten argument and helped formalise the deduction in Lean.\n\n## Why it matters\n\nIt is a classical problem, and a Fields medallist is extending the OpenAI release step by step. The whole chain still needs refereeing.","disputed":[{"label":"Verification","text":"Hexagon deposit, not refereed; partial Lean (deduction only); depends on unrefereed AI-era inputs","sources":[]}],"related":[{"id":"2026-10-31-ai-assisted-results-october-31-listing","url":"https://postcutoff.com/e/2026-10-31-ai-assisted-results-october-31-listing/","date":"2026-10-31","date_precision":"day","short_title":"AI-assisted results, 31 Oct: arXiv of 30 Oct and Hexagon of 29–31 Oct","deck":null,"takeaway":"The 31 Oct sweep listed 344 arXiv papers that mention AI, 75 conjecture papers with no AI statement and 48 uncited Hexagon works. We skimmed every AI statement and read about 70 PDFs or Hexagon records. Seven results got their own entries. Two come from senior authors: Panchenko's Mézard–Parisi formula ('found by ChatGPT Astra') and Bhargava's positive-density cyclicity of elliptic curves, written with GPT-6. The other five are Tianchi Yang's count of C₄-free graphs, Kolpakov's sharp dimension bounds for right-angled hyperbolic polytopes, the generalized Lax conjecture (Kummer–Netzer's AI-found generic case and OpenAI's counterexample), Diening–Storn's AFEM optimality for every bulk parameter, and an unverified GPT-6 Astra claim on Onsager's hard rods. The rest are listed here, among them Pongrácz's R(5,6) ≤ 84 certificate with GPT-6 Astra and Bowler–Pitz's negative answers to Halin-type questions, where Claude found key lemmas.","category":"science","category_label":"Science & math","importance":2,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":44,"official":42,"filed":"2026-10-31","updated":"2026-10-31","orgs":["OpenAI","Anthropic","Google","various researchers"]},{"id":"2026-10-12-cureton-thorner-dedekind-zeta-zero-free-axiomprover","url":"https://postcutoff.com/e/2026-10-12-cureton-thorner-dedekind-zeta-zero-free-axiomprover/","date":"2026-10-12","date_precision":"day","short_title":"Cureton and Thorner, with AxiomProver, extend the quasi-Riemann zero-free half-plane to every Dedekind zeta function (Re s > 31/32, Lean-formalized)","deck":null,"takeaway":"It is one of the first results to build directly on OpenAI's claimed quasi-Riemann breakthrough.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":4,"official":3,"filed":"2026-10-18","updated":"2026-10-18","orgs":["Axiom Math"]},{"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-artin-primitive-root-conjecture-infinitude","url":"https://postcutoff.com/e/2026-10-06-openai-artin-primitive-root-conjecture-infinitude/","date":"2026-10-06","date_precision":"day","short_title":"OpenAI claims Artin's primitive root conjecture (infinitude)","deck":null,"takeaway":"Family 029 of OpenAI's 6 Oct 2026 release claims that every integer other than −1 and the squares is a primitive root modulo infinitely many primes, at least c·x/(log x)² of them in each interval (x, 2x). Before, this was known only under the generalized Riemann hypothesis (Hooley, 1967) or for all but at most two prime bases (Heath-Brown, so one of 2, 3, 5 works), not for any single named base such as 2. The argument rests on the release's own zero-free half-planes. Frank Calegari calls the argument interesting but 'not at all surprising' once quasi-RH is known. Manjul Bhargava has posted a positive-density strengthening.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":7,"official":4,"filed":"2026-10-29","updated":"2026-10-29","orgs":["OpenAI"]}],"people":[],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-10-31","type":"filed","text":"Created (science agent; Hexagon API record, provenance statement and PDF introduction read)"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-10-31","run":null,"sources_read":"Science agent; Hexagon API record, provenance statement and PDF introduction read","updated":"2026-10-31","human_review":null,"version":{"date":"2026-10-31"}},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":184,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":123,"in_training_data":false},{"model_id":"gemini-4-argon","name":"Gemini 4 Argon","cutoff":"2026-03","days_after":214,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":153,"in_training_data":false}],"short_url":"https://postcutoff.com/s/bhargava-elliptic-curves-cyclic"}