{"schema":"vela.problem-packet.v0.1","problem":946,"statement":"Are there infinitely many $n$ such that $\\tau(n)=\\tau(n+1)$, where $\\tau$ is the divisor function?","status":"solved","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A005237","name":"Numbers k such that k and k+1 have the same number of divisors.","terms":"2,14,21,26,33,34,38,44,57,75,85,86,93,94,98,104,116,118,122,133,135,141,142,145,147,158,171,177,189,201,202,205,213,214,","url":"https://oeis.org/A005237"},{"id":"A284783","name":"Numbers k such that k and k + 5040 have the same number of divisors.","terms":"11,19,22,37,38,39,41,46,47,51,55,57,58,59,61,62,65,67,68,73,74,76,78,79,87,88,91,92,99,102,104,107,113,114,115,116,118,1","url":"https://oeis.org/A284783"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}