Found in this search by specializing Noam D. Elkies's rank-17 elliptic K3 family (arXiv:2608.25406) at t=-216/329. These 25 rational points are certified independent exactly by Cremona-Brumer quadratic characters; the claimed lower bound is rank >= 25.
7fff-zip ·