Problem 2.
Find all positive integer pairs $(a,b),$ such that there exists positive integer $g,N,$
$$\gcd (a^n+b,b^n+a)=g$$
holds for all integer $n\ge N$
(Note that gcd(x, y) denotes the greatest common divisor of integers x and y.)
Proposed by Valentio Iverson, Indonesia