{"schema":"vela.problem-packet.v0.1","problem":39,"statement":"Is there an infinite Sidon set $A\\subset \\mathbb{N}$ such that\\[\\lvert A\\cap \\{1\\ldots,N\\}\\rvert \\gg_\\epsilon N^{1/2-\\epsilon}\\]for all $\\epsilon>0$?","status":"open","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[{"id":"att_97f2eb93755ced71","kind":"dead_end","claim":"attempted via frontier 'sidon/B2' (transfer_strength=partial) -> 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)"}