黎曼猜想可以說是數學史上最著名的未解難題之一了。
1859年，德國數學家波恩哈德·黎曼在論文《論小於某給定值的素數個數》中提出了一個關於黎曼澤塔函數的猜想：黎曼澤塔函數的所有非平凡零點的實部都等於二分之一。
這個看似簡單的陳述，背後牽動著整個解析數論的核心脈絡。如果黎曼猜想被證明為真，那麼素數分布的最精確描述，也就是素數定理的誤差項將得到最嚴格的數學保證，數論中數以百計建立在「假設黎曼猜想成立」基礎上的定理全都將瞬間獲得完整的證明。
一個半世紀以來，無數頂尖的數學家在這條路上留下了自己的足跡。
哈代第一個證明了無窮多個零點恰好落在臨界線上，李特爾伍德用精細的振盪積分將零點密度的下界估計往前推了一大步，塞爾伯格用跡公式將零點分布和自伴算子的譜聯繫起來，蒙哥馬利發現了零點對關聯函數和隨機矩陣理論之間的神秘對應，孔涅則試圖用非交換幾何的譜三元組框架來捕獲零點分布的全局結構。
每一代人都向前走了一段，但那個終極證明，臨界線上零點密度的精確下界是否等於百分之百始終沒有人能夠觸及。
肖宿之前證明過周氏猜想，也證明過孿生素數猜想，這兩個問題和黎曼猜想同屬解析數論的核心領域，但是難度和涉及到的內容都不一樣。
周氏猜想是要證明關於梅森素數的無窮性，孿生素數猜想是要證明關於相差為二的素數對是否無窮多，兩者的證明，本質上是在現有的篩法和圓法框架上做極致的組合優化，雖然需要極大的數學技巧，但它們要處理的數學結構是相對清晰的，無非是素數在整數中的分布模式，而整數是一個均勻的、一維的序列。
而黎曼猜想就不一樣了，它要處理的是澤塔函數在複平面上的零點分布，它的零點不是均勻排列的，它們的間距具有極其複雜的分形特徵，而這種分形特徵和量子混沌系統中隨機矩陣的特徵值分布呈現出驚人的相似性。
要證明黎曼猜想，你需要的不是在現有的框架上修修補補，而是重新構造一套能同時捕獲全局譜測度和局部漲落的全新數學語言。
NS方程和質量間隙問題雖然也是世界級難題，但是它們和肖宿之前在流體力學和規範場論中發展的和樂框架有著天然的契合，解決起來更多是成熟工具的定向移植和擴展。
而黎曼猜想不一樣，它的底層數學結構涉及解析數論、隨機矩陣理論、非交換幾何和譜理論多個截然不同領域的深度交叉，很多工具需要從零開始構造。
對肖宿來說，小智、靈樞手術機器人、天衡、鸞鳥，哪怕是對大多數人來說天方夜譚的天樞，這些改天換地的工程雖然有趣，但遠遠不如最開始證明哥德巴赫猜想和質量間隙問題來得讓他開心。
那些工程本質上都是他已有理論的延伸應用，是一種重複勞動，而重新打開一扇未知的門，則是一種純粹的享受。
他最近重新接觸到黎曼猜想，還是因為寫《數學原理》時偶然翻到了蒂奇馬什那本經典的《黎曼澤塔函數理論》。
書里用漸近展開處理澤塔函數在臨界帶上的增長階估計很有想法，但是蒂奇馬什的方法在處理臨界線上零點密度的精細下界時，邊界條件的處理過於粗糙了。
他在把積分核從整個複平面收縮到臨界帶時，對邊界的截斷方式依賴於一個很生硬的人工參數，這種截斷在物理直觀上說得通，但在數學上丟掉了邊界附近零點漲落的關鍵信息。
那個地方如果換一套更精細的積分核，把邊界處的調和分析做得更細緻一些，可以把下界估計再往上提半個數量級。
這個念頭擱在肖宿腦子裡已經有好一陣子了，一直沒找到整塊的時間來推演，現在正好可以整理出來。
他把蒂奇馬什那本書從書架上抽出來翻到相關章節，又在坐標紙上鋪開了新的推導。
肖宿這次找的切入點是澤塔函數在臨界線上的零點密度估計。
從哈代-李特爾伍德到塞爾伯格，每代數學家都在這一塊留下過自己的標記，現在，肖宿也打算從塞爾伯格跡公式出發，不同的是，這次他換了一個處理方式。
塞爾伯格跡公式的核心是把黎曼澤塔函數的零點分布和某個自伴算子的特徵值聯繫起來，本質上是一個譜問題，但是塞爾伯格當初構造那個自伴算子時，由於非交換幾何的工具還沒有成熟，他的構造在某些地方依賴於一些比較生硬的人工截斷。
如果把這些人工截斷換成孔涅的非交換幾何框架中的自然邊界條件，那麼整個譜問題的處理就會變得光滑很多。
沿著這個思路，肖宿不斷往下推進，研究的前兩天進展還算順利。
塞爾伯格跡公式在非交換幾何的重新表述下，零點密度的下界估計果然比蒂奇馬什的經典結果漂亮了不少。
不過推到臨界線上零點間距的精細分布時，肖宿不得不停了下來。
塞爾伯格的方法在這裡遇到了一個天然的瓶頸：跡公式給出的是零點分布的全局平均，而要想精確刻畫零點間距的局部分布，需要知道每個零點的精確位置。
全局平均由塞爾伯格跡公式給出，局部漲落則由蒙哥馬利對關聯函數描述。
這兩個量在現有的數學框架下是分離的，它們各自都有完備的理論，但是沒有任何人找到過一條能把它們同時納入同一個數學框架的路徑。
肖宿嘗試了好幾種方法將他們融合在一起。
第一種是把蒙哥馬利對關聯函數直接嵌入塞爾伯格跡公式的譜測度構造中，用擾動展開把局部漲落當作跡公式的高階修正項加進去。
不過這個思路推到第三天就卡住了，擾動展開在零點間距極小時發散，蒙哥馬利對關聯函數在短距離上的排斥效應太強了，任何有限階的擾動展開都無法收斂。