{"schema":"vela.problem-packet.v0.1","problem":26,"statement":"Let $A\\subset\\mathbb{N}$ be infinite. Must there exist some $k\\geq 1$ such that almost all integers have a divisor of the form $a+k$ for some $a\\in A$?","status":"solved","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[{"verdict":"variant","attestedBy":"reviewer:will-blair","formalRef":"erdos_26.variants.tenenbaum.lean","targetFinding":"vf_b4ecf5ea9e1f317b"}],"attempts":[],"velaLean":[],"oeis":[],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}