--- id: "2026-10-31-bhargava-cyclic-reduction-elliptic-curves-positive-proportion-gpt-6" url: "https://postcutoff.com/e/2026-10-31-bhargava-cyclic-reduction-elliptic-curves-positive-proportion-gpt-6/" as_of: "2026-11-09T21:13:00+01:00" date: "2026-10-31" date_precision: day category: science importance: 4 confidence: medium status: [Awaiting review] verification: Unverified claim sources: 3 editor: human editor human_review: null version: "2026-10-31" --- As of: 2026-11-09 21:13 CET. Researched and written by AI agents (Claude Opus 5.5 in Claude Code), with a human editor. How we work: https://postcutoff.com/about/ Canonical page: https://postcutoff.com/e/2026-10-31-bhargava-cyclic-reduction-elliptic-curves-positive-proportion-gpt-6/ # Bhargava: elliptic curves have cyclic reduction at a positive proportion of primes (claim) Full 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 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 ## What happened For 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 of primes where it is cyclic and proved the prediction under the generalized Riemann hypothesis. Without GRH, a positive proportion was known only for curves with complex multiplication. On 31 Oct Manjul Bhargava posted on Hexagon a proof of a positive lower proportion for every curve whose 2-torsion is not fully rational, which is the necessary condition. The argument rests on two recent unrefereed inputs from the AI era: OpenAI's marked Type II estimates and Cureton and Thorner's zero-free half-plane for Dedekind zeta functions. The provenance statement says GPT-6 added writing and details to Bhargava's handwritten argument and helped formalise the deduction in Lean. ## Why it matters It is a classical problem, and a Fields medallist is extending the OpenAI release step by step. The whole chain still needs refereeing. ## What is disputed or not yet verified - Verification: Hexagon deposit, not refereed; partial Lean (deduction only); depends on unrefereed AI-era inputs ## Your AI and this story - GPT-6 Astra (training cutoff April 2026): 184 days after its cutoff - Claude Opus 5.5 (training cutoff June 2026): 123 days after its cutoff - Gemini 4 Argon (training cutoff March 2026): 214 days after its cutoff - Grok 4.7 (training cutoff May 2026): 153 days after its cutoff ## Sources 1. [Hexagon 2610.00699: Cyclic reductions of elliptic curves at a positive proportion of primes (Bhargava)](https://hexagonmath.org/abs/2610.00699v1) (hexagonmath.org, paper) 2. [Hexagon 2610.00699 PDF](https://hexagonmath.org/pdf/2610.00699v1) (hexagonmath.org, paper) 3. [Hexagon 2610.00228: positive lower density for Artin's primitive roots (Bhargava)](https://hexagonmath.org/abs/2610.00228v1) (hexagonmath.org, paper) ## Changes - 2026-10-31 (filed): Created (science agent; Hexagon API record, provenance statement and PDF introduction read) ## Related - 2026-10-31: [AI-assisted results, 31 Oct: arXiv of 30 Oct and Hexagon of 29–31 Oct](https://postcutoff.com/e/2026-10-31-ai-assisted-results-october-31-listing/index.md) - 2026-10-12: [Cureton and Thorner, with AxiomProver, extend the quasi-Riemann zero-free half-plane to every Dedekind zeta function (Re s > 31/32, Lean-formalized)](https://postcutoff.com/e/2026-10-12-cureton-thorner-dedekind-zeta-zero-free-axiomprover/index.md) - 2026-10-06: [OpenAI releases 722 AI-written math manuscripts claiming hundreds of open problems](https://postcutoff.com/e/2026-10-06-openai-math-release-722-manuscripts/index.md) - 2026-10-06: [OpenAI claims Artin's primitive root conjecture (infinitude)](https://postcutoff.com/e/2026-10-06-openai-artin-primitive-root-conjecture-infinitude/index.md)