Exact rank 16, unconditional: rational 2-torsion point, 16 independent points with matching 2-descent upper bound (PARI/GP ellrank). Fiber t=-2794/8565 on branch u=22/17 of the Elkies-Klagsbrun Z/2Z rank-9 family (arXiv:2003.00077), found in an exhaustively certified slice search by Matthias Breddin. Preprint (proof, measurements, decided slices): https://doi.org/10.5281/zenodo.22242107 — data and code incl. the per-fiber ellrank certificate and witness points for this curve: https://doi.org/10.5281/zenodo.22242109 (Breddin, 2 Sep 2026).
Exact rank 16, unconditional: rational 2-torsion point, 16 independent points with matching 2-descent upper bound (PARI/GP ellrank). Fiber t=-2794/8565 on branch u=22/17 of the Elkies-Klagsbrun Z/2Z rank-9 family (arXiv:2003.00077), found in an exhaustively certified slice search by Matthias Breddin.
Matthias Breddin ·
Matthias Breddin ·