Putnam 2025 A6

Let $b_0 = 0$ and, for $n \geq 0$, define $b_{n+1} = 2b_n^2 + b_n + 1$. For each $k \geq 1$, show that $b_{2^{k+1}} - 2b_{2^k}$ is divisible by $2^{2k+2}$ but not by $2^{2k+3}$.