{"schema":"vela.problem-packet.v0.1","problem":6,"statement":"Let $d_n=p_{n+1}-p_n$. Are there infinitely many $n$ such that $d_n<d_{n+1}<d_{n+2}$?","status":"solved","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A335277","name":"First index of strictly increasing prime quartets.","terms":"7,13,22,28,49,60,64,69,70,75,78,85,89,95,104,116,122,123,144,148,152,155,173,178,182,195,201,206,212,215,219,225,226,230","url":"https://oeis.org/A335277"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}