Marco factored 4x2−16 to (2x+4)(2x−4). Is he correct? If not, give the correct factorization and explain

Correct. However, online "^" is used to indicate an exponent, e.g., x^2 = x squared.