{"content":"# AI聊菲尔茨数学奖｜第二十届菲尔茨奖｜詹姆斯·梅纳德（2022）\n\n2013年11月，一份只有二十几页的论文出现在预印本网站上，作者是一位正在加拿大蒙特利尔做博士后、年仅二十六岁的英国人。论文标题非常朴素：《素数间的小间隔》（Small gaps between primes）。它没有宣布攻克孪生素数猜想，只宣布了一件\"小事\"：存在无穷多对素数，它们之间的距离不超过 600——而这个不起眼的数字，把一扇关了一百六十多年的门，撑开了一大截。就在几个月前，中国数学家张益唐刚刚以 7000 万证明\"相差有限的素数对有无穷多\"；几个月后，这位叫詹姆斯·梅纳德的年轻人用一套更简洁、更锋利的新筛法，把界从 7000 万压缩到 600，整整小了十万倍以上——而且这套方法还能成批处理同类问题。\n\n**詹姆斯·梅纳德（James Maynard，1987— ）**，英国数学家，1987年12月10日出生，在英格兰埃塞克斯郡切姆斯福德（Chelmsford）长大，就读于当地的国王爱德华六世文法学校；2009年在剑桥大学皇后学院完成数学本科与\"第三部分\"（Part III）课程，随后赴牛津大学，师从数论学家罗杰·希思-布朗（Roger Heath-Brown），2013年获博士学位。他先后担任蒙特利尔 CRM-ISM 博士后研究员、牛津大学莫德林学院初级研究员（2013—2017）与克莱研究学者（Clay Research Fellow）；2018年起任牛津大学数学研究所数论教授、圣约翰学院超龄研究员；2026年7月，他被任命为牛津大学钦定数学教授（Regius Professor of Mathematics），接替安德鲁·怀尔斯爵士。他曾获 SASTRA 拉马努金奖（2014）、伦敦数学会怀特黑德奖（2015）、欧洲数学会奖（2016）、美国数学会科尔数论奖（2020）等，2023年当选英国皇家学会院士。2022年7月5日，国际数学联盟在芬兰赫尔辛基授予他菲尔茨奖，颁奖词写道：表彰他\"对解析数论的贡献——这些贡献极大推进了人们对素数结构与丢番图逼近的理解\"。\n\n## 获奖主要成果：把素数的心跳听清楚\n\n**一、素数之间的缝隙：从波利尼亚克到 600。** 素数像沙滩上越走越稀的贝壳：x 附近相邻素数的平均间距约为 log x，随数字增大而缓慢拉大。1849年，德·波利尼亚克（Alphonse de Polignac）猜想：对每个偶数 2k，都有无穷多对素数相隔正好 2k；k=1 即最著名的孪生素数猜想——相差 2 的素数对无穷多。这条猜想悬了一个半世纪。1920年代，哈代与李特尔伍德发明圆法；1940年代，塞尔伯格发明了以他命名的筛法——用\"筛子\"一层层筛掉合数，只留下素数的影子。但筛法有一道天生的墙：它长于给出\"上界\"，却难以保证筛后剩下的东西里真的有素数。2005年，戈德斯通、平齐与于尔迪勒姆（GPY）取得突破：他们证明，只要素数在算术级数中分布得足够\"均匀\"（专业上叫分布水平 θ>1/2），就能推出相差有界的素数对无穷多；可现有技术刚够到 θ=1/2 附近，功亏一篑。2013年5月，张益唐用精妙的分析把门槛推进到 1/2+1/584，史上第一次证明\"相差 7000 万以内的素数对有无穷多\"。同年11月，梅纳德给出了另一条更漂亮的路：他把塞尔伯格筛改造成\"高维\"版本——不再一次只盯着一对素数，而是同时筛选整个素数组（k 元组），再用线性代数的优化把误差项压到更低。这套\"梅纳德筛法\"直接把界降到 600，并且证明：对任意固定的 m，间隔 m 个位置的素数对（p_{n+m}−p_n）也会无穷多次保持有界。若假设更强的埃利奥特-哈尔伯斯塔姆猜想，600 还能压到 12。随后，全球协作的\"博学者8号\"（Polymath8）项目在他的方法上继续推进：无条件界降到 246；若假设更强的广义埃利奥特-哈尔伯斯塔姆猜想，更是降到 6——距离孪生素数猜想的 2，只剩最后几步，而每一步都是当代数论最陡的隘口。\n\n**二、最大的空档：埃尔德什的悬赏问题。** 平均间距只是故事的一半，另一半是\"极值\"：x 以内的素数里，最长的一段\"空档\"G(x) 能有多大？这直接度量了素数序列究竟有多不均匀。埃尔德什（Paul Erdős）长期追问这个问题，并为此悬赏一万美元征求解答。2014年，梅纳德与福特（Kevin Ford）、格林（Ben Green）、科尼亚金（Sergei Konyagin）合作，用一个精巧的\"随机覆盖\"构造给出下界：最大空档至少以 f(x)·log x·log log x·log log log log x／(log log log x)² 的规模增长（f(x) 是趋于无穷的函数）。2018年，五人再加上陶哲轩（Terence Tao），借助超图覆盖定理与\"Rödl nibble\"方法，把下界再次改进为 log x·log log x·log log log log x／log log log x。翻译成大白话：素数之间的最大空档，至少是平均间距的 log log x·log log log log x／log log log x 倍——这个倍数随数字增大而不断攀升，说明素数远不像\"随机撒沙\"那样均匀，它们总会在某处突然空出一大片。\n\n**三、素数的\"漏字\"：删掉一个数字之后。** 还有一个看似通俗、实则极难的问题：把素数写成十进制长串，如果要求它们通通\"不含数字 7\"，这样的素数还有无穷多个吗？这属于\"受限数字的素数\"问题。梅纳德给出了一个干净利落的结论：在任何进制下，去掉任意一个指定的数字，剩下的素数依然有无穷多——不含 7 的素数无穷多，不含 0 的素数也无穷多。难点在于：数字约束与素性之间毫无独立性，筛法原本对付不了这种纠缠；他为此发展了新的组合工具，把筛法推到了边界之外。\n\n**四、分数的逼近：八十年悬案的一次收官。** 他改变的不只是素数。丢番图逼近研究\"实数能用分数逼近到多好\"：给定一个随分母衰减的容差函数 ψ(q)，问\"几乎所有\"实数 x 是否都有无穷多个分数 p/q 满足 |x−p/q|<ψ(q)/q。1941年，达芬（Duffin）与谢弗（Schaeffer）提出判据猜想：当且仅当级数 Σψ(q)φ(q)/q 发散时，几乎所有的 x 都能被无穷多次逼近。这条猜想卡了近八十年——因为\"坏分母\"之间彼此关联，传统的独立性假设全部失效。2019年，梅纳德与库库洛普洛斯（Dimitris Koukoulopoulos）合作证明了它，他们发明了处理分母相关性的一套全新框架，一举终结这桩悬案；他还在同一方向上大幅改进了施密特（Schmidt）关于\"平方分母同时逼近\"的经典定理。这项成果被誉为度量丢番图逼近领域数十年来最重要的突破之一，为他赢得2020年科尔数论奖。此后，他又发表了一系列关于算术级数中素数分布的重量级工作，把结论推进到超出广义黎曼猜想（GRH）所能推出的范围——给一个世纪的经典工具，装上了新的发动机。\n\n## 现实应用\n\n**例子一：你手机里的每一次加密，都要现场\"找素数\"。** 打开网页时的 HTTPS 握手、手机银行转账、Wi-Fi 加密，背后都有 RSA 或椭圆曲线密码在奔跑；而 RSA 的密钥生成，就是要现场找到两个大素数。找素数靠\"素性检验\"（如 Miller–Rabin 算法），它为什么又快又可靠、随机搜索要跑多少步，答案写在素数分布的统计规律里——正是梅纳德这一行人的研究对象。更重要的是，检验密码强度的\"反面试金石\"是整数分解算法，历史上最著名的分解方法（二次筛法、数域筛法）名字里就带着\"筛\"字——它们与梅纳德的筛法同宗同源。可以说：你每一次安心输入密码，背后都站着对素数规律了如指掌的数学。\n\n**例子二：从钢琴调音到银行风控——\"分数逼近\"的日常。** 达芬-谢弗定理关心的是\"用分数逼近任意实数\"，同一族思想其实天天在身边。先说音乐：纯五度的频率比是 3/2，而现代十二平均律用 2^(7/12)≈1.4983 来逼近它——这正是\"用简单分数（或根式）逼近无理比\"的经典产物；再比如齿轮传动比的设计、农历\"十九年七闰\"的历法安排、屏幕与地图的缩放取整，都是同一类\"寻找最接近的简单分数\"的问题。在高端计算里，这一思想的化身叫\"准蒙特卡洛方法\"：用精心设计的低差异序列代替纯随机点来\"数影子\"——银行用它模拟投资组合在极端行情下的损失（风险价值计算），电影工业用它渲染光线与阴影；而低差异序列的质量，本质上正由丢番图逼近的性质决定。你在影院看到的一束光、在手机银行里看到的一个稳健数字，背后站着的是同一群研究\"分数逼近\"的数学家。\n\n从切姆斯福德文法学校的少年，到赫尔辛基领奖台上的菲尔茨奖得主，梅纳德只用了十来年；从\"素数能挨多近\"到\"素数能拉多开\"，再到\"分数能逼近多好\"，他反复做的是同一件事：在看似混沌的数字长河里，把误差一分一毫地抠出来，直到规律露出脸。与他同届获奖的还有迪米尼-科潘、许埈珥与玛丽娜·维亚佐夫斯卡——前两位我们已经讲过，下一位，就轮到那位在八维空间里\"堆球\"的女士了。","contentType":"text/markdown","attachments":[],"quotePin":""}