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