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$.

Video Solution

https://www.youtube.com/watch?v=VXFG1t_ksfI (including motivation to derive solution)