It follows from Atanassov et al. that a(n) << sqrt(phi)^n, which matches the trivial a(n) >> sqrt(phi)^n up to a constant factor. - Charles R Greathouse IV, Feb 06 2013
Conjecture: Fibonacci(m)*Fibonacci(n) with 2 < m < n is a perfect power only for (m,n) = (3,6). This has been verified for 2 < m < n <= 900. - Zhi-Wei Sun, Jan 02 2025