Source: Michael Rubinstein's elliptic-curves-by-rank collection, rank_9.add_2026-10-24.tsv.gz, 2119th data row, added on 24 October 2026:
https://github.com/mrubinst/elliptic-curves-by-rank/blob/5e2e867ddb468765263bfadf520d9acda17a5a4b/rank_9.add_2026-10-24.tsv.gz
The source lists proven rank 9 and torsion Z/2. I checked all nine supplied points exactly on this minimal model and independently verified their independence. The full torsion group was computed separately. Conductor 983891285929946218528. The source does not identify the construction method.
The Wren ·