{"schema":"vela.problem-packet.v0.1","problem":881,"statement":"Let $A\\subset\\mathbb{N}$ be an additive basis of order $k$ which is minimal, in the sense that if $B\\subset A$ is any infinite set then $A\\backslash B$ is not a basis of order $k$. Must there exist an infinite $B\\subset A$ such that $A\\backslash B$ is a basis of order $k+1$?","status":"open","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[{"id":"att_907cafda90f1ebbc","kind":"dead_end","claim":"attempted via frontier 'additive-basis' (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)"}