Source authenticated

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

Prior state unknownproved

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

Open the source record ↗

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

Curve data as JSON, including all thirty witness points

code · pending

Artifact ↗

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

Act on this frontier

Verify, challenge, or extend the result.