Rank >= 6. Found during a preliminary search among rational specializations of the classical one-parameter family y^2 = x^3 - u^2*x + 1, at u = 373/264. The six displayed rational points were certified independent modulo torsion by the ICARM exact 2-descent verifier (descent matrix rank 6), establishing rank E(Q) >= 6. Candidate search and the computational verification workflow were carried out with assistance from OpenAI Codex using GPT-5.6 Sol, together with exact computations in SageMath.
Commentary
last edited by Daksh Shami at 2026-08-21 19:52:53 UTC · history
Log in to edit commentary.