Does there exist a strictly increasing infinite sequence of perfect squares $a_1, a_2, a_3, ...$ such that for all $k\in \mathbb{Z}^+$ we have that $13^k | a_k+1$?

[i]Proposed by Jesse Zhang[/i]
To determine if there exists a strictly increasing infinite sequence of perfect squares \( a_1, a_2, a_3, \ldots \) such that for all \( k \in \mathbb{Z}^+ \), \( 13^k \mid a_k + 1 \), we start by expressing \( a_k \) as \( b_k^2 \). This implies that \( b_k^2 \equiv -1 \pmod{13^k} \).

1. **Expressing the condition in terms of \( b_k \):**
   \[
   b_k^2 \equiv -1 \pmod{13^k}
   \]
   This implies that \( b_k \) must satisfy the congruence \( b_k^2 \equiv -1 \pmod{13^k} \).

2. **Order of \( b_k \) modulo \( 13^k \):**
   Since \( b_k^2 \equiv -1 \pmod{13^k} \), it follows that \( b_k^4 \equiv 1 \pmod{13^k} \). Therefore, the order of \( b_k \) modulo \( 13^k \) must be 4. We denote this order as \( \text{ord}_{13^k}(b_k) = 4 \).

3. **Primitive root modulo \( 13^k \):**
   We claim that 2 is a primitive root modulo \( 13^k \) for all natural \( k \). To prove this, we start by noting that 2 is a primitive root modulo 13. This means that the order of 2 modulo 13 is \( \varphi(13) = 12 \).

4. **Using the Lifting The Exponent (LTE) lemma:**
   If \( 13^k \mid 2^t - 1 \), then \( 12 \mid t \). Let \( t = 12t' \). We need to show that \( \text{ord}_{13^k}(2) = \varphi(13^k) \).

   By the LTE lemma:
   \[
   v_{13}(2^{12t'} - 1) = v_{13}(2^{12} - 1) + v_{13}(t') \geq k
   \]
   Since \( v_{13}(2^{12} - 1) = 1 \) (as \( 2^{12} - 1 = 4095 = 3 \times 5 \times 273 \)), we have:
   \[
   1 + v_{13}(t') \geq k \implies v_{13}(t') \geq k - 1
   \]
   Thus, \( t' = 13^{z} \) where \( z \geq k - 1 \). Plugging this into \( 12t' \leq 13^{k-1} \times 12 \), we get \( t' = 13^{k-1} \). Therefore, \( \text{ord}_{13^k}(2) = \varphi(13^k) \), implying that 2 is a primitive root modulo \( 13^k \).

5. **Constructing the sequence \( b_k \):**
   Using the fact that 2 is a primitive root modulo \( 13^k \), we can set:
   \[
   b_k = 2^{13^{k-1} \cdot 3}
   \]
   This ensures that \( b_k^2 \equiv -1 \pmod{13^k} \).

6. **Constructing the sequence \( a_k \):**
   Given \( b_k = 2^{13^{k-1} \cdot 3} \), we have:
   \[
   a_k = b_k^2 = (2^{13^{k-1} \cdot 3})^2 = 2^{13^{k-1} \cdot 6}
   \]
   This sequence \( a_k = 2^{13^{k-1} \cdot 6} \) is strictly increasing and satisfies \( 13^k \mid a_k + 1 \).

The final answer is \(\boxed{\text{True}}\).