{"schema":"vela.problem-packet.v0.1","problem":326,"statement":"Does there exist $A=\\{a_1<a_2<\\cdots\\}\\subset \\mathbb{N}$ which is a minimal basis of order $2$ (i.e. every large integer is the sum of $2$ elements from $A$, and no proper subset of $A$ has this property), such that\\[\\lim_{k\\to \\infty}\\frac{a_k}{k^2}=c\\]for some $c\\neq 0$?","status":"open","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[{"id":"att_b11246da41581b25","kind":"dead_end","claim":"attempted via frontier 'sidon/B2' (transfer_strength=none) -> no_progress","grade":"honest_null","gateStatus":"needs_verification","superseded":false}],"velaLean":[],"oeis":[],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}