{"schema":"vela.problem-packet.v0.1","problem":1140,"statement":"Do there exist infinitely many $n$ such that $n-2x^2$ is prime for all $x$ with $2x^2<n$?","status":"solved","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}