Canonical event

Kawada submits Erdős 522 random-polynomial-zeros proof preprint with Lean work

Oct 8 authors' arXiv preprint claims to resolve Erdős Problem 522 for random Littlewood polynomial roots and describes Lean formal verification and Google Formal Conjectures acceptance. Claim is not independently re-checked by this worker and subsequent journal publication is unverified.