{
  "schema_version": "1.0.0",
  "source": "vibemath",
  "problem_id": "vibemathed:elliptic-curve-rank-record-thirty",
  "title": "Record Rank for an Elliptic Curve over $\\mathbb{Q}$",
  "canonical_statement": "How large can the Mordell-Weil rank of an elliptic curve over $\\mathbb{Q}$ be? Whether ranks are unbounded is open, and progress is measured by explicit records, tabulated by Dujella: rank $\\ge 28$ from 2006, raised to $\\ge 29$ by Elkies and Klagsbrun in 2024. Now $\\ge 30$, witnessed by an explicit curve $y^2 + xy = x^3 + a_4 x + a_6$ with $a_4$ of 63 digits and $a_6$ of 94, carrying thirty independent rational points.",
  "plain_summary": "VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.",
  "current_status": "partial",
  "solution_events": [
    {
      "id": "vibemathed:elliptic-curve-rank-record-thirty:event",
      "problem_id": "vibemathed:elliptic-curve-rank-record-thirty",
      "type": "proved",
      "status": "partial",
      "occurred_at": "2026-08-20T00:00:00.000Z",
      "title": "Elliptic Curve Rank Leaderboard, curve #273",
      "summary": "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.",
      "ai_contribution": "ai_co_developed",
      "attempt_ids": [
        "vibemathed:elliptic-curve-rank-record-thirty:attempt"
      ],
      "method_family_ids": [
        "vibemathed:elliptic-curve-rank-record-thirty:method"
      ],
      "source_assertion_ids": [
        "vibemathed:elliptic-curve-rank-record-thirty:assertion"
      ]
    }
  ],
  "attempts": [
    {
      "id": "vibemathed:elliptic-curve-rank-record-thirty:attempt",
      "problem_id": "vibemathed:elliptic-curve-rank-record-thirty",
      "model": "Claude",
      "provider": "Anthropic",
      "attempted_at": "2026-08-20T00:00:00.000Z",
      "human_collaborators": [
        "Levent Alpöge",
        "Ava Howell"
      ],
      "exposure": "unknown",
      "prompt_public": null,
      "outcome": "The credit, in full, is a comment on the leaderboard entry: \"it was Claude, with Levent Alpöge and Ava Howell!\" Bartosz Naskręcki, who works on these curves, congratulated \"Ava Howell, Levent Alpöge and the team Anthropic\" publicly. That is the whole of the disclosure: no paper, no statement of division of labour, and no account of what the model searched or proposed. The tier below is inferred from the wording rather than read off an author's description, which is weaker evidence than every arXiv entry in this catalog.",
      "failed_routes": [],
      "artifacts": [
        {
          "label": "ICARM: new record-breaking elliptic curve reported",
          "url": "https://icarm.io/news/new-record-breaking-elliptic-curve-reported/",
          "kind": "announcement",
          "license": null
        },
        {
          "label": "Curve data as JSON, including all thirty witness points",
          "url": "https://elliptic-rank.icarm.cloud/curve/273.json",
          "kind": "code",
          "license": null
        },
        {
          "label": "Dujella's history of elliptic curve rank records",
          "url": "https://web.math.pmf.unizg.hr/~duje/tors/rankhist.html",
          "kind": "problem-record",
          "license": null
        },
        {
          "label": "Bober, conditionally bounding analytic ranks",
          "url": "https://arxiv.org/abs/1112.1503",
          "kind": "paper",
          "license": null
        },
        {
          "label": "Hacker News discussion",
          "url": "https://news.ycombinator.com/item?id=49374873",
          "kind": "discussion",
          "license": null
        }
      ],
      "sources": [
        {
          "label": "Elliptic Curve Rank Leaderboard, curve #273",
          "url": "https://elliptic-rank.icarm.cloud/curve/273",
          "kind": "primary-mathematical-source",
          "license": null
        },
        {
          "label": "VibeMathed: Record Rank for an Elliptic Curve over $\\mathbb{Q}$",
          "url": "https://vibemathed.com/problem/elliptic-curve-rank-record-thirty",
          "kind": "source-assertion",
          "license": "https://vibemathed.com/data-license"
        }
      ],
      "cost_usd": null,
      "independence": "unknown"
    }
  ],
  "verifications": [
    {
      "id": "vibemathed:elliptic-curve-rank-record-thirty:verification",
      "problem_id": "vibemathed:elliptic-curve-rank-record-thirty",
      "solution_event_id": "vibemathed:elliptic-curve-rank-record-thirty:event",
      "level": "unreviewed",
      "mathematical_correctness": "unknown",
      "statement_fidelity": "unaudited",
      "peer_review": "none",
      "verifier": "VibeMathed (source-reported label)",
      "verified_at": null,
      "note": "Recomputed by this site on 21 August 2026 from the leaderboard's own JSON, in exact rational arithmetic: all thirty witness points satisfy the curve equation with residual exactly zero, all thirty are distinct, nineteen are integral, and the discriminant recomputed from the a-invariants matches the published value, with all fourteen listed bad primes dividing it and together factoring it completely. What was NOT checked here is the one thing the record actually asserts - that the thirty points are independent in $E(\\mathbb{Q})$ modulo torsion. The leaderboard states it certifies independence by exact 2-descent with no floating point in the decision; that computation was not reproduced. The page is also living data: its commentary records that the original submission silently dropped a witness point through a parser bug, corrected three hours later.",
      "sources": [
        {
          "label": "VibeMathed: Record Rank for an Elliptic Curve over $\\mathbb{Q}$",
          "url": "https://vibemathed.com/problem/elliptic-curve-rank-record-thirty",
          "kind": "source-assertion",
          "license": "https://vibemathed.com/data-license"
        },
        {
          "label": "Elliptic Curve Rank Leaderboard, curve #273",
          "url": "https://elliptic-rank.icarm.cloud/curve/273",
          "kind": "primary-mathematical-source",
          "license": null
        }
      ]
    }
  ],
  "sources": [
    {
      "label": "Elliptic Curve Rank Leaderboard, curve #273",
      "url": "https://elliptic-rank.icarm.cloud/curve/273",
      "kind": "primary-mathematical-source",
      "license": null
    },
    {
      "label": "VibeMathed: Record Rank for an Elliptic Curve over $\\mathbb{Q}$",
      "url": "https://vibemathed.com/problem/elliptic-curve-rank-record-thirty",
      "kind": "source-assertion",
      "license": "https://vibemathed.com/data-license"
    }
  ],
  "recommended_mode": "expand",
  "recommended_exposure": "result_only",
  "opportunity_signals": [
    {
      "id": "vibemathed:elliptic-curve-rank-record-thirty:signal:recent_partial_result",
      "problem_id": "vibemathed:elliptic-curve-rank-record-thirty",
      "kind": "recent_partial_result",
      "reason": "A source-reported partial result may support bounded expansion.",
      "generated_at": "2026-09-13T16:28:40.178Z"
    }
  ],
  "uncertainties": [
    "VibeMath has not independently verified the mathematical claim.",
    "AI-attempt independence and training-data exposure are unknown unless explicitly documented.",
    "VibeMath has not independently audited the mathematical statement, proof, or novelty claim."
  ],
  "generated_at": "2026-09-13T16:28:40.178Z"
}