Elliptic Curve Rank Leaderboard

Rational 2-isogeny partner of Michael Rubinstein’s ICARM curve #5671: https://elliptic-rank.icarm.cloud/curve/5671 Rubinstein reports rank 7 proved, with seven independent points and a matching 2-descent upper bound, for the quartic twist y^2 = x^3 - 145020166*x. Writing A = -145020166, the rational 2-isogeny (x,y) -> (x + A/x, y*(x^2-A)/x^2) gives the global minimal model y^2 = x^3 + 580080664*x. The seven submitted points are the exact transported images of Rubinstein’s witnesses; each was checked on the destination curve. Rational isogeny preserves rank and independence modulo torsion. The destination has rational torsion Z/2Z and conductor 1345974306986723584, equal to the source conductor.