{"schema":"vela.problem-packet.v0.1","problem":445,"statement":"Is it true that, for any $c>1/2$, if $p$ is a sufficiently large prime then, for any $n\\geq 0$, there exist $a,b\\in(n,n+p^c)$ such that $ab\\equiv 1\\pmod{p}$?","status":"open","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)"}