RMM 2025 Problem 2

Consider an infinite sequence of positive integers $a_{1},a_{2},a_{3},\ldots$ such that $a_{1} > 1$ and $(2^{a_{n}} - 1)a_{n + 1}$ is a square for all positive integers $n$ . Is it possible for two terms of such a sequence to be equal?