A drunken horse moves on an infinite board whose squares are numbered in pairs $(a, b) \in \mathbb{Z}^2$. In each movement, the 8 possibilities $$(a, b) \rightarrow (a \pm 1, b \pm 2),$$ $$(a, b) \rightarrow (a \pm 2, b \pm 1)$$ are equally likely. Knowing that the knight starts at $(0, 0)$, calculate the probability that, after $2023$ moves, it is in a square $(a, b)$ with $a \equiv 4 \pmod 8$ and $b \equiv 5 \pmod 8$.
1. **Define the problem and initial conditions:**
   - A knight starts at \((0, 0)\) on an infinite chessboard.
   - The knight can move to 8 possible positions: \((a \pm 1, b \pm 2)\) and \((a \pm 2, b \pm 1)\).
   - We need to find the probability that after 2023 moves, the knight is at a position \((a, b)\) where \(a \equiv 4 \pmod{8}\) and \(b \equiv 5 \pmod{8}\).

2. **Consider the mappings:**
   - Define the function \(g(x, y) = \left( x + \frac{1}{x} \right) \left( y^2 + \frac{1}{y^2} \right) + \left( x^2 + \frac{1}{x^2} \right) \left( y + \frac{1}{y} \right)\).
   - Define \(f_n(x, y) = \frac{(g(x, y))^n}{x^4 y^5}\).

3. **Analyze the number of ways to reach \((4, 5)\):**
   - We are working in \(\mathbb{Z}_8 \times \mathbb{Z}_8\).
   - The number of ways to get to \((4, 5)\) will be the sum of the coefficients of the terms of the form \(x^{8k_1} y^{8k_2}\).

4. **Evaluate the function for different values of \(a\) and \(b\):**
   - For \(n = 1\), the number is zero.
   - For \(n\) even, it is also zero by a parity argument (color the board like a chessboard).
   - For \(n \geq 3\) and odd, the number will be \(\frac{\sum_{0 \leq a, b < 8} f_n(\omega^a, \omega^b)}{64}\), where \(\omega = e^{\frac{2\pi i}{8}}\).

5. **Evaluate specific cases:**
   - When \(a\) and \(b\) are both odd, \(f_n(\omega^a, \omega^b) = 0\) because \(x = \omega^a\) implies \(x^2 + \frac{1}{x^2} = 0\).
   - When \(a\) is even and \(b\) is odd, the sum of the terms is zero because \(y^2 + \frac{1}{y^2} = 0\) and \(x^4 + 1 = 2\).
   - When \(a\) is odd and \(b\) is even, the sum is zero by a similar argument.
   - When \(a\) and \(b\) are even but different from 0 and 4, \(x + \frac{1}{x} = y + \frac{1}{y} = 0\).
   - When \(a \in \{0, 4\}\) and \(b \in \{2, 6\}\), the sum is zero.
   - When \(a = 0\) and \(b = 4\) or \(a = 4\) and \(b = 0\), \(f(1, -1) = f(-1, 1) = 0\).
   - When \(a \in \{2, 6\}\) and \(b \in \{0, 4\}\), \(x + \frac{1}{x} = 0\), \(y^2 = 1\), \(x^4 = 1\), \(x^{2n+4} = (-1)^{n+2} = -1\), \(y^{n+5} = 1\). So \(f(x, y) = \frac{(y^2 + 1)^n (x^4 + 1)^n}{x^{2n+4} y^{n+5}} = -4^n\).
   - When \(a = b = 0\) or \(a = b = 4\), \(f(1, 1) = f(-1, -1) = 8^n\).

6. **Calculate the final probability:**
   - The final probability is given by:
     \[
     p = \frac{\frac{2 \cdot 8^n - 4 \cdot 4^n}{64}}{8^n} = \frac{1}{32} - \frac{1}{2^{n+4}}
     \]
   - Plug in \(n = 2023\):
     \[
     p = \frac{1}{32} - \frac{1}{2^{2027}}
     \]

The final answer is \(\boxed{\frac{1}{32} - \frac{1}{2^{2027}}}\)