Proof of a Conjecture on Primitive Quartic Polynomials over Finite Fields

We present a proof of a conjecture we made about primitive polynomials, for $q$ sufficiently large. The argument follows a standard route, however a deeper result than usual with a character sum bound is required. This is a theorem of Fu and Wan. The proof is AI assisted.