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 with the Lean formalization, while attributing
the mathematical approach to the author.
