黎曼猜想（Riemann hypothesis，RH）由德國數學家波恩哈德·黎曼于1859年提出。它是數學中一個重要而又著名的未解決的問題，有「猜想界皇冠」之稱，多年來它吸引了許多出色的數學家為之絞盡腦汁。其猜想為：
黎曼猜想是關於黎曼ζ函式的零點分佈的猜想。黎曼ζ函式在任何複數上有定義。它在負偶數上也有零點（例如，當）。這些零點是「平凡零點」。黎曼猜想關心的是非平凡零點。
黎曼猜想提出：
黎曼ζ函式非平凡零點的實數部份是
即所有的非平凡零點都應該位於直線（「臨界線」）上。為一實數，而為虛數的基本單位。沿臨界線的黎曼ζ函式有時通過Z-函式進行研究。它的實零點對應于ζ函式在臨界線上的零點。
素數在自然數中的分佈問題在純粹數學和應用數學上都很重要。素數在自然數中的分佈並沒有簡單的規律。黎曼（1826－1866）發現素數出現的頻率與黎曼ζ函式緊密相關。
1901年Helge von Koch指出，黎曼猜想與強條件的素數定理等價。現在已經驗證了最初的1,500,000,000個素數對這個定理都成立。但是是否所有的解對此定理都成立，至今尚無人給出證明。
黎曼猜想之所以被認為是當代數學中一個重要的問題，主要是因為很多深入和重要的數學和物理結果都能在它成立的大前提下得到證明。大部份數學家也相信黎曼猜想的正確性（約翰·恩瑟·李特爾伍德與阿特勒·塞爾伯格曾提出懷疑。塞爾伯格於晚年部分改變了他的懷疑立場。在1989年的一篇論文中，他猜測黎曼猜想對更廣泛的一類函式也應當成立）。克雷數學研究所設立了$1,000,000美元的獎金給予第一個得出正確證明的人。
歷史
黎曼1859年在他的論文《Über die Anzahl der Primzahlen unter einer gegebenen Größe》中提及了這個著名的猜想，但它並非該論文的中心目的，他也沒有試圖給出證明。黎曼知道ζ函式的不平凡零點對稱地分佈在直線上，以及他知道它所有的不平凡零點一定位於區域中。
1896年，雅克·阿達馬和Charles Jean de la Vallée-Poussin分別獨立地證明了在直線上沒有零點。連同了黎曼對於不非凡零點已經證明了的其他特性，這顯示了所有不平凡零點一定處於區域上。這是質數定理第一個完整證明中很關鍵的一步。
1900年，大衛·希爾伯特將黎曼猜想包括在他著名的23條問題中，與哥德巴赫猜想一起組成了希爾伯特名單上的第8號問題。同時黎曼猜想也是希爾伯特問題中唯一一個被收入克雷數學研究所的千禧年大獎難題的。希爾伯特曾說，如果他在沉睡1000年後醒來，他將問的第一個問題便是：黎曼猜想得到證明了嗎？
1914年，高德菲·哈羅德·哈代證明了有無限個零點在直線上。然而仍然有可能有無限個不平凡零點位於其它地方（而且有可能是最主要的零點）。後來哈代與約翰·恩瑟·李特爾伍德在1921年及塞爾伯格在1942年的工作（臨界線定理）也就是計算零點在臨界線上的平均密度。
近年來的工作主要集中於清楚的計算大量零點的位置（希望藉此能找到一個反例）以及對處於臨界線以外零點數目的比例置一上界（希望能把上界降至零）。
黎曼猜想與質數定理
黎曼猜想傳統的表達式隠藏了這個猜想的真正重要性。黎曼ζ函式與質數的分佈有著深厚的連結。Helge von Koch在1901年證明了黎曼猜想等價于質數定理一個可觀的強化：給出任何，我們有
式中為質數計數函式，為 的自然對數，以及右手邊用上了大O符號。一個由Lowell Schoenfeld提出的非近似版本，表示黎曼猜想等價于：。
黎曼ζ函式的零點與質數滿足一個稱為明確公式的對偶性，這表明了：在調和分析的意義下，黎曼ζ函式的零點可視為質數分佈的諧波。
將黎曼ζ函式代為更一般的L-函式，此時仍有相應的猜想：整體L-函式的非平凡零點的實部必等於。這被稱為廣義黎曼猜想。函式域上的廣義黎曼猜想已被證明，數域的情形仍懸而未決。
黎曼猜想之結果及其等價命題
黎曼猜想的實際用途包括一些在黎曼猜想成立前提底下能被證明為真的命題，當中有些更被證明了跟黎曼猜想等價。其中一個就是以上素數定理誤差項的增長率。
默比烏斯函式的增長率
其中一個命題牽涉了默比烏斯函式。命題「等式
在的實部大於的時候成立，而且右邊項的和收斂」就等價于黎曼猜想。由此我們能夠總結出假如Mertens函式的定義為
那黎曼猜想就等價于對任何都有
，
這將會對於的增長給出了一個更緊的限制，因為即使沒有黎曼猜想我們也能得出
（關於這些符號的意思，見大O符號。）
積性函式增長率
黎曼猜想等價於一些除以外一些積性函式增長率的猜想。例如，因數函式由下式給出：
那在的時候，
，
這名為Robin定理並在1984年以Guy Robin命名。另一個有關的上限在2002年由Jeffrey Lagarias提出，他證明了黎曼猜想等價于命題「對於任意自然數，
而為第個調和數。
里斯判準與二項式係數和
里斯判準由里斯在1916年給出，它斷言黎曼猜想等價于下式對所有成立
哈代稍後于1918年以波萊爾求和法及梅林變換證明了下式的積分表法。
其它相關的積性函式的增長率也具有與黎曼猜想等價的表述。
考慮二項式係數和
，
Báez-Duarte與Flajolet、Brigitte Vallée證明了黎曼猜想等價于對所有的下式成立。
類似的還有以下級數。
對此。Flajolet與Vepstas證明了黎曼猜想等價于對所有的下式成立
其中的是依賴於的某個常數。
韋伊判準、李判準
韋伊判準斷言某些函式的正定性等價于廣義黎曼猜想。與此相似的還有李判準，這斷言某些數列的正性等價于黎曼猜想。
與法里數列的關係
另外兩個跟黎曼猜想等價的命題牽涉了法里數列。假如是法里數列中的第項，由開始而終於，那命題「給出任何
」等價于黎曼猜想。在這裡是法里數列中階項的數目。類似地等價于黎曼猜想的命題是「給出任何.
」
跟群論的關係
黎曼猜想等價于群論中的一些猜想。舉例說，，是對稱群的所有元素的秩之中，最大的一個，也就是蘭道函式，則黎曼猜想等價于：對夠大的，下式成立：。
臨界線定理
黎曼猜想等價于命題「的導函式在區域
上無零點。」
函式ζ在臨界線上只有單零點的充要條件是其導函式在臨界線上非零。所以若黎曼猜想成立，命題中的非零區域可以延伸為。這條進路帶來了一些成果。Norman Levinson將此條件加細，從而得到了較強的臨界線定理。
已否證的猜想
一些比黎曼猜想強的猜想曾被提出，但它們有被否證的趨勢。Paul Turan證明了假如級數
當時沒有零點，則黎曼猜想成立，但Hugh Montgomery證明了這前提並不成立。另一個更強的默滕斯猜想也同樣被否證。
相對弱的猜想
林德勒夫猜想
黎曼猜想有各種比較弱的結果；其中一個是由芬蘭數學家恩斯特·列奧納德·林德勒夫（Ernst Leonard Lindelöf）所提出，關於ζ函式于臨界線上的增長速度的猜想，表明了給出任意的，當趨向無限，。
記第個素數為，一個由英國數學家阿爾伯特·英厄姆(Albert Ingham)得出的結果顯示，林德勒夫猜想將推導出「給出任意，對足夠大的有
」
不過這個結果比大素數間隙猜想弱，詳如下述。
大質數間隙猜想
另一個猜想是大質數間隙猜想。哈拉爾德·克拉梅爾證明了：假設黎曼猜想成立，質數與其後繼者之間的間隙將會為。平均來說，該間隙的階僅為，而根據數值計算結果，它的增長率並不似黎曼猜想所預測的那麼大。
證明黎曼猜想的嘗試
過去的一百多年，許多數學家聲稱證明了黎曼猜想。截至2015年為止，尚有一些證明還未被驗證；但它們都被數學社群所質疑，多數專家並不相信它們是正確的。艾希特大學的Matthew R. Watkins為這些或是嚴肅或是荒唐的證明編輯了一份列表。其他一些證明可在arXiv數據庫中找到。
2018年9月24日邁克爾·阿蒂亞爵士聲稱證明黎曼猜想。他用精細結構常數作為一個主要成分用以證明，然而由於一個物理觀測數字能否用於純數學領域證明題產生爭議，而精細結構常數本身的由來理由還是謎團，且該數字是否全宇宙永恒不變有重大疑問，阿蒂亞爵士則主張「數學是物理學的理想化版本」所以兩領域之間的學問可以共通共用。導致本次證明以疑慮和失敗論點者居多無法使大部分數學家信服。
黎曼猜想證明的可能的著手方向
由於黎曼猜想是有關二維變數（臨界線（critical line）上的虛數解和黎曼ζ函式中的自然數變數）的問題，故不但要考慮在二維變數下的情況，似乎還可以從更高維數（例如三或四維甚至更高維）變數的情況下來考慮問題。
另外，由於黎曼猜想從本質上來說是證明一個方程的非平凡的複數解必然是的形式（是實數，是虛數單位），因此應該與代數學是密不可分的；就是說，代數幾何、代數數論甚至代數拓撲等學科的知識是不可缺少的。如果能從上述幾個分支學科之間找到新的聯繫，以及對這些分支學科有進一步的新發現，那可能可以為證明黎曼猜想打下基礎，或為黎曼猜想的證明做好準備。
與運算元理論的可能聯繫
長久以來，人們猜測黎曼猜想的「正解」是找到一個適當的自伴算符，再由實特徵值的判準導出零點實部的資訊。在此方向上已有許多工作，卻仍未有決定性的進展。
黎曼ζ函式的統計學性質與隨機矩陣的特徵值有許多相似處。這為希爾伯特-波利亞猜想提供了一些支援。
在1999年，Michael Berry與Jon Keating猜想經典哈密頓函式有某個未知的量子化，使得下式成立
更奇特的是，黎曼ζ函式的零點與運算元的譜相同。正則量子化的情形則相反：正則量子化引致海森堡測不準原理，並使量子諧振子的譜為自然數。重點在於，所求的哈密頓算符應當是個閉自伴算符，方能滿足希爾伯特-波利亞猜想之要求。
搜尋ζ函式的零點
關於電腦計算上找尋ζ函式零點越多越好的嘗試，已經有一段很長的歷史了。其中一個出名的嘗試乃ZetaGrid，一個分散式計算的計劃，一天可檢查上十億個零點。這計劃在2005年11月終止。直至2006年沒有計算計劃成功找到黎曼猜想的一個反例，這一型類窮盡法的結果再次吻合了眾多科學家在「直覺」上認知黎曼猜想為真的傾向，但不能成為最終數學證明。
2004年，Xavier Gourdon與Patrick Demichel透過Odlyzko-Schönhage algorithm驗證了黎曼猜想的頭十兆個非平凡零點。而Michael Rubinstein給了公眾一個 演算法去算出零點。