最近，被稱為千禧年七大難題之一的黎曼猜想迎來了新突破。
黎曼猜想是數學中一個非常重要的未解決問題，與素數分佈的精確性質有關（素數是那些只能被 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