{"schema":"vela.problem-packet.v0.1","problem":152,"statement":"For any $M\\geq 1$, if $A\\subset \\mathbb{N}$ is a sufficiently large finite Sidon set then there are at least $M$ many $a\\in A+A$ such that $a+1,a-1\\not\\in A+A$.","status":"solved","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[{"verdict":"faithful","attestedBy":"reviewer:will-blair","formalRef":"erdos_152.lean","targetFinding":"vf_16db6f3dba299e5f"}],"attempts":[],"velaLean":[],"oeis":[],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}