A Littlewood polynomial is a polynomial all of whose coefficients belong to 
.
For independent uniformly distributed signs 
, let 
, and let 
count its zeros in the
closed unit disk, with multiplicity. Kawada (2026) reported
that 
almost surely, resolving problem 522
in the Erdős problems collection. The proportion
of zeros in the disk
of radius 
converges almost surely, locally uniformly in real 
, to
 |
with continuous value 
. Kawada (2026) reports assistance from internal MIT
models in formalization and checking derivations, while attributing the mathematical
approach to the author.
