{"schema":"postcutoff/event@1","as_of":"2026-10-30T13:42:00+01:00","url":"https://postcutoff.com/e/2026-10-06-openai-modularity-elliptic-curves-imaginary-quadratic/","md":"https://postcutoff.com/e/2026-10-06-openai-modularity-elliptic-curves-imaginary-quadratic/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-modularity-elliptic-curves-imaginary-quadratic","date":"2026-10-06","date_precision":"day","short_title":"OpenAI: elliptic curves over imaginary quadratic fields are modular","deck":null,"takeaway":"Family 030 of OpenAI's 6 Oct 2026 release is a 30-page manuscript proving that every elliptic curve over every imaginary quadratic field is modular. Caraiani and Newton had done this for a positive proportion of fields; the new step handles curves whose mod-3 and mod-5 representations are both reducible. Frank Calegari calls it 'a really nice trick rather than a fundamental breakthrough'. Within two days Bao Le Hung posted a note saying the same idea also proves modularity over all totally real fields, itself a long-open problem. Nothing is formalized or refereed.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":[{"n":1,"title":"OpenAI: Modularity of elliptic curves over imaginary quadratic fields (4 Oct)","url":"https://github.com/openai/math/blob/main/preprints/Modularity-of-elliptic-curves-over-imaginary-quadratic-fields-October-4-2026/paper.pdf","type":"paper","group":"primary","domain":"github.com"},{"n":2,"title":"Hexagon 2610.00156: Bao Le Hung, Modularity of elliptic curves over totally real fields and CM fields not containing ζ5","url":"https://hexagonmath.org/abs/2610.00156v1","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":3,"title":"GitHub CaptainSude/elliptic-curves-cm-modularity: Every Elliptic Curve over a CM Number Field Is Modular","url":"https://github.com/CaptainSude/elliptic-curves-cm-modularity","type":"code","group":"primary","domain":"github.com"},{"n":4,"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":5,"title":"Persiflage: The OpenAI problem dump (6 Oct, with update and comments)","url":"https://galoisrepresentations.org/2026/10/06/the-openai-problem-dump/","type":"discussion","group":"reactions","domain":"galoisrepresentations.org"},{"n":6,"title":"Toby Gee's GitHub issue on the CM follow-up (citations to Khare–Thorne and Taylor)","url":"https://github.com/CaptainSude/elliptic-curves-cm-modularity/issues/1","type":"discussion","group":"reactions","domain":"github.com"},{"n":7,"title":"Elliot Glazer on X (8 Oct)","url":"https://x.com/ElliotGlazer/status/2107989207662969125","type":"discussion","group":"reactions","domain":"x.com"},{"n":8,"title":"oai-math-revised: community notes on the modularity manuscript","url":"https://github.com/mathcommunity/oai-math-revised/blob/main/preprints/Modularity-of-elliptic-curves-over-imaginary-quadratic-fields-October-4-2026/AGENT_NOTES.md","type":"discussion","group":"reactions","domain":"github.com"}],"official":3,"filed":"2026-10-29","updated":"2026-10-29","orgs":["OpenAI"],"title":"OpenAI's release proves every elliptic curve over an imaginary quadratic field is modular; Calegari calls it 'a really nice trick', and Bao Le Hung extends it to all totally real fields","summary":"\"Modularity of elliptic curves over imaginary quadratic fields\" (OpenAI, 4 Oct 2026, released 6 Oct, family 030) claims: \"every such curve is modular, with matching local parameters at every place\". Caraiani–Newton (2023) had proved modularity over imaginary quadratic fields K for which X0(15)(K) has rank zero; the manuscript removes the remaining restrictions with a \"geometric prime switch\" that builds intermediate Galois representations from one family of Jacobians, keeping Caraiani–Newton's lifting theorem as an input. Number theorists on Frank Calegari's blog judged the trick robust: Bao Le Hung's Hexagon note (8 Oct, partly AI-written) says the argument also gives modularity over all totally real fields and CM fields not containing ζ5. The work is unrefereed and has no Lean formalization.","key_facts":["Abstract (verbatim): 'We prove the modularity conjecture for elliptic curves over imaginary quadratic fields: every such curve is modular, with matching local parameters at every place.' 30 pages, dated 4 Oct 2026. Theorem 1.1 gives an isobaric automorphic representation of GL2(A_K), cuspidal when E has no CM, with L(E/K, s) = L(π_E, s − 1/2)","Prior state (paper, §1.1): Allen–Khare–Thorne proved modularity for a positive proportion of curves over CM fields not containing ζ5; Caraiani–Newton proved 'modularity of every elliptic curve over an imaginary quadratic field K for which X0(15)(K) has rank zero'. Verbatim: 'Theorem 1.1 removes the remaining restrictions on the curve and the imaginary quadratic field. Caraiani–Newton’s lifting theorem and residual-image criterion for modularity of elliptic curves remain essential inputs.'","New ingredient (paper, §1.2): a 'geometric prime switch' that constructs the intermediate representations 'as character pieces of a single family of Jacobians', so that a known modularity theorem applies while control is kept at the primes used for lifting","Frank Calegari (Persiflage, 8 Oct, verbatim): 'This problem was almost already solved by Caraiani and Newton … The problem is what to do with elliptic curves which, for example, have reducible mod 3 and mod 5 representations. This is the problem that OpenAI overcame, by what I think is a very nice trick.' And: 'I view this result as definitely something a human could come up with. It’s a really nice trick rather than a fundamental breakthrough.'","On the release night Calegari scored his own list of ten open problems: 'As BLH says, modularity of elliptic curves over imaginary quadratic fields is in, for 2 points' (update to 'The OpenAI problem dump', 6 Oct)","Bao Le Hung (Hexagon 2610.00156, 8 Oct, verbatim): 'The argument also proves modularity over all totally real field, and in the original form, modularity over CM fields not containing ζ5.' He keeps the totally real case separate 'to highlight the main new idea in the OpenAI proof, which is orthogonal to modularity lifting theorems'. Provenance: 'First draft generated by Astra GPT 6.1, introduction written by the contributor, revisions by Claude Opus 5.5'. Before this, modularity over totally real fields was known for real quadratic, cubic and some quartic fields","A GitHub manuscript by 'CaptainSude' (7 Oct, v1.0.1 on 9 Oct) claims modularity over every CM field, including those containing ζ5, taking the OpenAI paper as a principal input; Toby Gee commented that its new idea at p = 5 'is already in the literature, due to Khare--Thorne … and Taylor', and the attribution was revised. Elliot Glazer said its similarity to the improvement discussed on Calegari's blog increased his credence that the OpenAI result is correct"],"key_numbers":[],"tags":["math","number-theory","langlands-program","modularity","elliptic-curves","galois-representations","openai","openai-math-release","unverified","claim"],"science":{"field":"mathematics","subfield":"number theory (Langlands program, modularity lifting)","problem":"Modularity of elliptic curves over imaginary quadratic fields (and, by extension, over totally real and CM fields)","result":"Claimed: every elliptic curve over every imaginary quadratic field is modular; Le Hung's note states the method also covers all totally real fields and CM fields without ζ5","open_since":"","ai_system":["OpenAI internal model (openai/math release)"],"human_role":"Autonomous AI output released by OpenAI; follow-up notes by human experts written with AI drafts","verification":{"key":"preprint","label":"Preprint only","text":"Unrefereed manuscript, no Lean formalization; expert readings on Persiflage judge the key trick sound but do not claim a full check"},"status":"pending","shock":"The remaining cases had blocked the Caraiani–Newton method; the fix is short enough that experts extended it to totally real fields within two days."},"body_md":"## What happened\n\nAn elliptic curve is modular when its L-function comes from an automorphic form; over ℚ this is the theorem of Wiles,\nTaylor–Wiles and Breuil–Conrad–Diamond–Taylor behind Fermat's Last Theorem. Over imaginary quadratic fields such as ℚ(i) the\ncorresponding automorphic forms live on hyperbolic three-space, and only recently (Allen–Khare–Thorne, Caraiani–Newton) did\nmodularity become provable for many curves. Caraiani and Newton covered all curves over a field K whenever the modular curve\nX0(15) has rank zero over K, which happens for a positive proportion of fields. Curves whose mod-3 and mod-5 representations are\nboth reducible were the main remaining obstacle, as Calegari describes it.\n\nOpenAI's 30-page manuscript proves modularity for every curve over every imaginary quadratic field. It keeps Caraiani–Newton's\nlifting theorem and adds a new \"prime switch\": instead of Wiles's single auxiliary curve, it builds the intermediate Galois\nrepresentations from character pieces of one family of Jacobians.\n\n## Why it matters\n\nModularity over number fields beyond ℚ is a central goal of the Langlands program and an input to many Diophantine applications.\nIf the manuscript is right, a two-day-old extension already reaches the totally real case. Nobody has yet published a complete\ncheck, and there is no formal proof.\n\n## Reactions\n\nNumber theorists engaged quickly on Frank Calegari's blog. Calegari called the step \"a very nice trick\" that a human could have\nfound, not \"a fundamental breakthrough\". Bao Le Hung, a specialist in modularity lifting, posted a note (first draft by GPT-6.1\nAstra, edited by him and Claude) saying that the same idea proves modularity over every totally real field, a problem settled before\nonly for real quadratic, cubic and some quartic fields, and over CM fields not containing fifth roots of unity. A further GitHub manuscript\nclaims all CM fields; Toby Gee pointed out that its key idea at the prime 5 was already in the literature.","disputed":[{"label":"Verification","text":"Unrefereed manuscript, no Lean formalization; expert readings on Persiflage judge the key trick sound but do not claim a full check","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"]}],"people":[],"posts":[{"id":"x-elliotglazer-2107989207662969125","title":"“Reposting because this is similar to a weaker improvement of OAI's result discussed on…”","url":"https://postcutoff.com/p/x-elliotglazer-2107989207662969125/"}],"videos":[],"models":[],"changes":[{"date":"2026-10-29","type":"filed","text":"Created (families 001–125; manuscript introduction, Persiflage posts and comments, Le Hung's Hexagon page, the CaptainSude repository issue and Glazer's post read)"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-10-29","run":null,"sources_read":"Families 001–125; manuscript introduction, Persiflage posts and comments, Le Hung's Hexagon page, the CaptainSude repository issue and Glazer's post 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-elliptic-curves-imaginary"}