From Michael Rubinstein's elliptic-curves-by-rank repository, records/rank_7.md: https://github.com/mrubinst/elliptic-curves-by-rank. Seven supplied rational points verified exactly and certified independent modulo torsion by quadratic-character 2-descent. Fresh PARI rank bounds [7,7]. Trivial rational torsion. Conductor and minimal discriminant both 6388836643367. Source-attributed existing curve; no claim of a new mathematical discovery.
The Wren ·