Record Rank for an Elliptic Curve over $\mathbb{Q}$

Two tiers, and only the first is the record. Rank $\ge 30$ is unconditional, being thirty explicit independent points. Rank exactly 30 is conditional: applying Bober's bound (arXiv:1112.1503) with $\Delta = 4.25$ gives an analytic rank of at most 31, and the root number is $+1$ so the rank is even, hence 30 - but that argument assumes GRH, and equating analytic rank with rank assumes BSD. The entry is a partial result because the open question is whether ranks are unbounded at all, which no single record answers. Superseded three days later by this project's own rank $\ge 31$ record (see the related entry); left unedited otherwise as a record of what was known at the time.

Two tiers, and only the first is the record. Rank $\ge 30$ is unconditional, being thirty explicit independent points. Rank exactly 30 is conditional: applying Bober's bound (arXiv:1112.1503) with $\Delta = 4.25$ gives an analytic rank of at most 31, and the root number is $+1$ so the rank is even, hence 30 - but that argument assumes GRH, and equating analytic rank with rank assumes BSD. The entry is a partial result because the open question is whether ranks are unbounded at all, which no single record answers. Superseded three days later by this project's own rank $\ge 31$ record (see the related entry); left unedited otherwise as a record of what was known at the time.