Erdős 问题 #990

问题

Let $f=a_0+\cdots+a_dx^d\in \mathbb{C}[x]$ be a polynomial. Is it true that, if $f$ has roots $z_1,\ldots,z_d$ with corresponding arguments $\theta_1,\ldots,\theta_d\in [0,2\pi]$, then for all intervals $I\subseteq [0,2\pi]$

$$\left\lvert (\# \theta_i \in I) - \frac{\lvert I\rvert}{2\pi}d\right\rvert \ll \left(n\log M\right)^{1/2},$$

where $n$ is the number of non-zero coefficients of $f$ and

$$M=\frac{\lvert a_0\rvert+\cdots +\lvert a_d\rvert}{(\lvert a_0\rvert\lvert a_d\rvert)^{1/2}}.$$

问题陈述引自 erdosproblems.com/990（Thomas Bloom 维护），保留英文原文。原始出处：[Er64b]。该网站上的当前状态：已否定（Lean 形式化）。

AI 贡献

以下记录来自 Terence Tao 的 Wiki AI contributions to Erdős problems（数据截至 2026 年 6 月 30 日）。🟢 完整、🟡 部分、⚪ 待核实、🔴 有误。

说明

Wiki 中的分类是暂定的，也不是一份评测榜单。许多 Erdős 问题从未有过完整的文献调研，看似新的结果日后可能被发现早已存在；也有一些问题本身的表述有歧义或错误。完整的讨论见问题页面。

∎