MathNet 2025 — Part 01 (100 complete bilingual questions) Question 7

Given a positive integer $k$, a pair of positive integers $(a, b)$ is said to be $k$-nice if $a \mid b^k + 1$ and $b \mid a^k + 1$. For which positive integers $k$ are there infinitely many $k$-nice pairs?