{"schema":"vela.problem-packet.v0.1","problem":1003,"statement":"Are there infinitely many solutions to $\\phi(n)=\\phi(n+1)$, where $\\phi$ is the Euler totient function?","status":"open","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A001274","name":"Numbers k such that phi(k) = phi(k+1).","terms":"1,3,15,104,164,194,255,495,584,975,2204,2625,2834,3255,3705,5186,5187,10604,11715,13365,18315,22935,25545,32864,38804,39","url":"https://oeis.org/A001274"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}