2024 IMO Problems/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$.