詹姆斯·梅纳德 · 世界数学发展史

获奖原因

詹姆斯·梅纳德（James Maynard，1987– ）获 2022 年菲尔兹奖，表彰他在解析数论中的突破性工作，核心有两项：

（1）有界素数间隙：2013 年，梅纳德独立发展出一种更灵活的多维塞尔伯格筛法，证明存在无穷多对素数，其差不超过 600（后由 Polymath8b 改进到 246）；更惊人的是，对任意整数 $k$ ，存在无穷多组 $k$ 个素数，其跨度被某个仅依赖 $k$ 的常数 $C_k$ 控制。这把张益唐（2013，差距 ≤ 7000 万）的结果大幅推进，并直接逼近孪生素数猜想（差距 2）。

（2）Duffin–Schaeffer 猜想：2019 年，他与库库洛普洛斯（D. Koukoulopoulos）解决了 1941 年的度量丢番图逼近猜想——给出了”无理数的有理逼近可被某可和序列覆盖”的充要条件。他还证明存在无穷多个不含数字 7 的素数（2019），显示了素数在 digits 限制下仍稠密。

梅纳德的工作以”筛法的极致运用”著称，把解析数论推到新的精度。

问题来龙去脉

一、有界素数间隙问题

孪生素数猜想问：是否存在无穷多对素数 $(p,p+2)$ ？更一般地，素数间隙 $d_n=p_{n+1}-p_n$ 的平均阶约 $\log p_n$ ，但小间隙是否无穷多次出现？哥德斯顿–平茨–耶尔德勒姆（GPY，2005）用多维筛法证明：若存在”足够多”的素数出现在短区间（依赖 Elliott–Halberstam 猜想），则有无穷多对素数差有界。但无条件下 GPY 只能得到”素数出现在极短区间的密度正”，却不能证出有界间隙——他们在 EH 猜想下成功、无条件失败。

张益唐（2013）用”偏移的”GPY 方法（引入额外的权重）无条件证明了存在无穷多对素数差 ≤ 7000 万，引爆领域。一个自然之问：能否把上界降到数百、甚至逼近 2？

二、梅纳德的突破：更灵活的多维筛

梅纳德（2013）重新审视 GPY 的筛法，发现其瓶颈在于”每个素数位置只用一个变量”。他引入多个独立变量的参数化：考虑 $k$ 个线性形式 $n+h_1,\dots,n+h_k$ ，用塞尔伯格筛的多维推广同时检测其中有多少是素数。

关键创新：他构造的筛权不要求 EH 猜想，而只依赖”素数在算术级数中的分布”的已知（无条件下）信息，通过优化 $k$ 个偏移 $h_i$ 的选择使”至少两个 $n+h_i$ 同时为素数”的概率最大化。由此他证明：

存在无穷多对素数差 $\le 600$ ；
对任意 $k$ ，存在无穷多组 $k$ 素数，跨度 $\le C_k$ （与张的工作独立、但方法更直接、界更优）。

陶哲轩（几乎同时）也得到类似结果；随后 Polymath8b 项目用梅纳德方法把成对间隙降到 246（在允许 $k$ 很大时甚至逼近 12，若假设 EH 则到 6）。

三、Duffin–Schaeffer 猜想

梅纳德的另一标志成果（与库库洛普洛斯，2019）解决了 Duffin–Schaeffer 猜想（1941）：设 $\psi(q)$ 为正函数，考虑有理逼近 $|\alpha - a/q|\le \psi(q)/q$ 。猜想断言：当且仅当 $\sum_{q}\varphi(q)\psi(q)/q=\infty$ 时，对几乎所有 $\alpha$ ，存在无穷多这样的逼近。此前仅在特殊情形（如 $\psi$ 单调）被证明。梅纳德用筛法 + 图论（把”可被某分母逼近”的集合看成图中边的并，用”依赖图”的独立性工具）绕过了单调性的要求，给出了完整证明——这是度量数论 80 年悬案的解。

四、意义与后续

逼近孪生素数：梅纳德的”有界间隙”是向孪生素数猜想（白名单 twin-prime-conjecture）最实质性的推进之一，证明了”小间隙无穷多”这一现象真实存在（尽管差距 2 仍未证）。
筛法的重生：他的多维筛成为标准工具，后续用于研究素数在更短区间的分布、哥德巴赫型问题（含王等方面）等。
方法论的扩散：Duffin–Schaeffer 的图论筛法启发了”依赖图 + 大偏差”在丢番图逼近中的新应用。

梅纳德以”把筛法推到极限、并跨界解决 80 年猜想”的锋利，成为当代解析数论最具冲击力的人物之一；他的有界间隙结果被视为自张益唐以来素数分布领域最耀眼的突破。