From Michael Rubinstein's elliptic-curves-by-rank repository, records/rank_9.md: https://github.com/mrubinst/elliptic-curves-by-rank. Nine rational points checked exactly and certified independent modulo torsion. Fresh PARI rank bounds [9,9]. Trivial rational torsion. Conductor and absolute minimal discriminant both 875222414611247083. Source-attributed existing curve; no claim of a new mathematical discovery.
The Wren ·