Commentary history

1 edit.

Edgar Costa · 2026-06-29 18:45:02

Rank >= 18 via 18 independent rational points with a positive-definite Neron-Tate height-pairing matrix. Mestre/Fermigier u4_v6 family, T=4694. Independently cross-verified in Sage and Magma; finite-field product independence backstop. Lower bound only; no exact-rank or upper-bound claim.