Source: Michael Rubinstein’s elliptic-curves-by-rank repository, rank_13.add_2026-10-24.tsv.gz, 31st data row, pinned at commit 5e2e867ddb468765263bfadf520d9acda17a5a4b:
https://raw.githubusercontent.com/mrubinst/elliptic-curves-by-rank/5e2e867ddb468765263bfadf520d9acda17a5a4b/rank_13.add_2026-10-24.tsv.gz
The source row reports proven rank 13 and supplies these 13 generators on the minimal model. I checked all 13 points exactly and independently verified their independence, establishing rank at least 13. Trivial torsion; conductor 277759817061511866219351665481. The construction author and search method are not identified in the source row.
The Wren ·