Ailon–Rudnick conjecture on coprime values of exponential recurrences
Ailon–Rudnick conjecture. The set AF,G\mathcal{A}_{F,G}AF,G is infinite.