最近，被称为千禧年七大难题之一的黎曼料想迎来了新突破。
黎曼料想是数学中一个非常重要的未处理题目，与素数漫衍的精确性质有关（素数是那些只能被 1 和自身整除的数字，它们在数论中扮演着基础性的角色）。
在当今的数学文献中，已有超过一千条数学命题以黎曼料想（或其推广形式）的成立为前提。也就是说，黎曼料想及其推广形式一旦被注明，这一千多个命题将被确立为定理，对数学领域产生深远的影响；而如果黎曼料想被注明是错误的，那么这些命题中的一部分也将随之失去其有效性。
新的突破来自 MIT 数学传授 Larry Guth 和牛津大学数学研讨所传授、菲尔兹奖得主 James Maynard 的一篇论文。推荐该论文的数学家陶哲轩表示，他们对黎曼 zeta 函数零点的经典 1940 年 Ingham 边界进行了首次实质性改善（更广泛地说，是控制各种狄利克雷级数的大值）。此前，诞生已超过 80 年的 Ingham 边界由于缺乏改善，限制了数学家在解析数论中做无数事情。
不过，陶哲轩也表示，尽管这是一个显著突破，但距离完全处理黎曼料想还有很大距离，因此应理性看待。
黎曼料想是什么？
黎曼料想或黎曼假设（Riemann Hypothesis）由德国数学家 Bernhard Riemann 于 1859 年提出。这个料想与素数的漫衍密切相关，其核心内容涉及黎曼 ζ 函数（Riemann Zeta Function）的非普通零点。
Bernhard Riemann，图源：facts.net/
黎曼料想的内容无法用完全初等的数学来描绘。粗略地说， 它是针对一个被称为黎曼 ζ 函数的复变量函数 (即变量与函数值都可以在复数域中取值的函数) 的料想。黎曼 ζ 函数跟许多其它函数一样， 在某些点上的取值为零， 那些点被称为黎曼 ζ 函数的零点。在那些零点中， 有一部分特别重要的被称为黎曼 ζ 函数的非普通零点。黎曼料想所猜测的是那些非普通零点全都漫衍在一条被称为 「临界线」的特殊直线上（引自科普作家卢昌海博客）。
黎曼 ζ 函数定义为：
黎曼料想认为，所有 ζ 函数的非普通零点的实部都为 1/2。这意味着，如果 ζ(s)=0 且 s 是非普通零点（即 s 不是负偶数），那么 s 的实部应为 1/2。
黎曼料想是当今世界上最重要、最期待处理的数学难题。若料想成立，则可以精确描绘素数在自然数中的漫衍情况，并在处理数论、复分析和其他数学分支中具有广泛的应用和影响。
迄今为止，距离黎曼料想提出已经过去了 165 年。关于尝试注明黎曼料想的研讨出现了无数，但均无疾而终。
关于处理黎曼料想的尝试
自黎曼料想提出以来，无数数学家便开始了探索注明之旅。
1896 年，法国数学家雅克・阿达马和 Charles Jean de la Vallée-Poussin 分别独立地注明了在直线上没有零点。连同了黎曼对于不非凡零点已经注明了的其他特性，这显示了所有不普通零点一定处于区域上。这是素数定理第一个完整注明中很关键的一步。
1900 年，德国数学家、现代数学之父之一大卫・希尔伯特将黎曼料想包括在他著名的 23 条题目中，与哥德巴赫料想一起组成了希尔伯特名单上的第 8 号题目。同时黎曼料想也是希尔伯特题目中唯一一个被收入克雷数学研讨所的千禧年大奖难题。
1914 年，英国数学家高德菲・哈罗德・哈代注明了有无限个零点在直线 
上。后来哈代与英国数学家约翰・恩瑟・李特尔伍德在 1921 年及塞尔伯格在 1942 年的工作（临界线定理）也就是计算零点在临界线 
上的平均密度。
直到最近几年，对黎曼料想的注明尝试往往也会引起轰动。
2018 年 9 月，一场在海德堡盛况空前的演讲引爆了数学圈，89 岁的阿蒂亚爵士对黎曼料想的注明吸引了全球关注。在万众瞩目之下，阿蒂亚爵士用 45 分钟的时间向全世界展示对这个有着一百五十多年历史的数学料想的注明。
不过阿蒂亚爵士的注明只有以下一页 PPT。这样的注明，似乎无法让人信服。当被问及是否处理了黎曼料想时，他回应称，「这是由你的逻辑决定的。原始的黎曼料想我是注明了，除非你是那种不接受反证法的数学家。」他也补充说，其注明没有处理所有题目，后续还有无数题目，自己只是走了第一步（第一步就是处理方案）。
遗憾的是，阿蒂亚爵士已经于 2019 年 1 月去世了。
如今，又有人向黎曼料想发起了挑战。
Guth 和 Maynard 做了什么
对于 Guth 和 Maynard 的新突破，知名数学家陶哲轩评价道：「Guth 和 Maynard 在研讨黎曼料想方面取得了重要进展，尽管离处理这一历史悠久的数学题目还有很长的路要走 。」
论文链接：https://arxiv.org/pdf/2405.20552
从陶哲轩的推文中我们了解到，该研讨首次对数学家 Albert Ingham 在 1940 年左右关于黎曼 ζ 函数零点（以及更广泛地控制各种 Dirichlet 级数的大值）的经典边界做出了实质性改善。
1940 年，数学家 Albert Ingham 提出了一个描绘这些零点的边界，这个边界对于当时的理论研讨构成了基础。然而，直到 Guth 和 Maynard 的工作之前，这个边界几乎未被改善过。Guth 和 Maynard 的研讨不仅改善了 Ingham 的这个边界，而且他们的方法为处理 Dirichlet 级数的大值提供了新的工具和视角，这些级数在无数数论和分析题目中都非常重要。
本文注明了 Dirichlet 多项式大值频率的新边界。这为长度为 N 的 Dirichlet 多项式提供了改善的估计，其取值大小接近 
。此外，该研讨推导出一个零点密度估计
以及关于长度为 
的短间隔内素数的渐近式。
对于这项研讨，陶哲轩本人从数学的角度进行了一些说明。设𝑁(σ,𝑇) 表示黎曼 ζ 函数在实部至少为 σ 且虚部最大为 T 的零点数量。黎曼料想告诉我们任何 σ>1/2 的情况下，N (σ，𝑇) 会消失，不过现在还无法注明这个假设。但作为次优选择，数学家们可以注明零点密度估计，这是关于 𝑁(σ,𝑇) 的非普通（non-trivial）上界。
事实注明， σ=3/4 是一个关键值。1940 年，Ingham 得出了𝑁(3/4,𝑇)≪𝑇(3/5+𝑜(1)) 的边界。
在接下来的八十年中，对这个边界的改善只是 𝑜(1) 误差的微小精炼。这限制了研讨者在解析数论中进行更深入的研讨：例如，为了得到一个在几乎所有形如 (𝑥,𝑥+𝑥^𝜃) 的短区间内的良好素数定理，人们长期以来一直受限于𝜃>1/6 的范围，主要障碍是缺乏对 Ingham 边界的改善。
Guth 和 Maynard 最终改善了 Ingham 边界，从 3/5=0.6 提高到 13/25=0.52。这在解析数论中产生了许多相应的改善，例如，研讨者可以在几乎所有短区间内注明素数定理的范围，现在从 θ>1/6=0.166… 到 θ>2/15=0.133…
作者介绍
Larry Guth 自 2019 年 7 月起担任 MIT Claude E. Shannon 数学传授，并于 2021 年当选 MacVicar Fellow。
他于 2005 年在 Tom Mrowka 的指导下获得 MIT 博士学位。此后在斯坦福大学担任博士后，在多伦多大学担任初级教职并在 2011 年被任命为 Courant Institute 传授。此后他于 2012 年加入 MIT 数学系担任传授。
Guth 的研讨兴趣是度量几何、谐波分析和极值组合。其中度量几何是指研讨涉及长度、面积和体积的不等式，一些主要的例子有等周不等式和收缩不等式。收缩不等式是 Guth 工作的一个重点， 另一个重点是寻找几何不等式和拓扑之间的联系。
最近，Guth 从事谐波分析和组合学的研讨。无数工作与 Kakeya 题目有关，这是欧几里得几何中的一个未处理题目，与傅里叶分析中的限制型估计和极值组合学中关于线发生率的估计有关。
图源：MIT
James Maynard
James Maynard 生于 1987 年，是一位英国数学家，研讨领域为解析数论，特别是素数理论。
数论中一些最著名的题目与素数的漫衍有关。虽然素数的大规模漫衍遵循数论定理（更准确的说是黎曼料想），但无数自然题目需要处理短（或稀疏）尺度。
James Maynard 在 2013 年取得了关于孪生素数料想的重要成果。他注明了存在无穷多对质数，其间隔小于 600，这一结果比张益唐的 7000 万间隔要小，尽管他的论文发表时间比张益唐晚半年，但他的成果在数论专家中获得了高度评价。
陶哲轩评价称：「说实话，他的描绘方式实际上比我的更干净…… 事实注明他的说法还略强。」
Maynard 的方法既优雅又强大，以一种令人震惊的方式突破了筛分理论的边界。并且在一个看似相反的方向上，他继续注明，有时素数比平均值稀疏得多，这是一个著名的 Erdős 题目，数十年来没有取得任何实质性进展。
Maynard 还在丢番图逼近领域做了基础性工作，他与蒙特利尔大学数学传授 Koukoulopoulos 处理了 Duffin–Schaeffer 料想。该料想于 1941 年提出，可以被认为是 Khintchine 定理的最终泛化，描绘了一个典型的实数如何被有理数逼近。
2022 年，Maynard 因在解析数论方面的贡献荣获菲尔兹奖。菲尔兹奖是数学领域最负盛名的奖项，通常被视为数学的诺贝尔奖。James Maynard 因在解析数论方面的贡献而获此殊荣，这些贡献已经在理解素数的结构和丢番图逼近方面取得了重大进展。
2023 年，他又获得了数学新视野奖。
期待两位数学家在黎曼料想等世界难题上取得更多进展。
参考链接：
https://www.jiqizhixin.com/articles/2019-01-12
https://www.zhihu.com/tardis/zm/art/557594612
https://news.mit.edu/2014/profile-larry-guth-0527
https://mathstodon.xyz/@tao/112557248794707738
https://zh.wikipedia.org/wiki/% E9% BB%8E% E6%9B% BC% E7%8C%9C% E6%83% B3