code · pending
Artifact ↗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.
Exact FrontierDelta
Scope and record
Occurred: Aug 20, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-co-developed. Imported under CC BY 4.0.
Canonical aliases: Record Rank for an Elliptic Curve over $\mathbb{Q}$ · Elliptic curve rank record
Confidence: Not scored
Registry verification: unreviewed · announcement · partial
Attribution
VibeMathed
registry · event recorded by
Levent Alpöge
human · human collaborator
Ava Howell
human · human collaborator
Claude
model · ai model contributor · Anthropic
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
This event attributed to Ava Howell
This event attributed to Levent Alpöge
This event attributed to Claude