The smallest congruent number curve of rank seven
The smallest \(k\) for which \(y^2 = x^3 - k^2x\) has rank 7 (OEIS A194687). Only an upper bound was known since 2004.
- \(\operatorname{rank} E_k \le 6\ \text{for all}\ k < 797507543735\)
- unconditional · 9 053 344 curves · re-checkable in 1 minute