黎曼猜想（或称黎曼假设）是关于黎曼ζ函数ζ(s)的零点分布的猜想，由数学家波恩哈德·黎曼于1859年提出。黎曼观察到，素数的频率紧密相关于一个精心构造的所谓黎曼zeta函数ζ(s)的性态。复平面上使黎曼ζ 函数取值为零的点被称为黎曼ζ函数的零点。s=-2n （n 为正整数）是黎曼ζ 函数的零点，这些零点分布有序、 性质简单，被称为黎曼ζ 函数的平凡零点 (trivial zero)。除了这些平凡零点外，黎曼ζ函数还有许多其它零点，它们的性质远比那些平凡零点来得复杂，被称为非平凡零点 (non-trivial zeros)。
在黎曼猜想的研究中， 数学家们把复平面上 Re(s)=1/2 的直线称为 critical line（临界线）。运用这一术语，黎曼猜想也可以表述为：黎曼ζ 函数的所有非平凡零点都位于 critical line 上。即黎曼ζ 函数的所有非平凡零点都位于复平面上 Re(s)=1/2 的直线上（Re(s)表示复数s的实数部分）。
当今数学文献中已有超过一千条数学命题以黎曼猜想（或其推广形式）的成立为前提。
黎曼猜想与费马大定理已经成为广义相对论和量子力学融合的m理论几何拓扑载体。
黎曼猜想是波恩哈德·黎曼1859年提出的，这位数学家于1826年出生在当时属于汉诺威王国的名叫布列斯伦茨的小镇。1859年，黎曼被选为了柏林科学院的通信院士。作为对这一崇高荣誉的回报，他向柏林科学院提交了一篇题为“论小于给定数值的素数个数”的论文。这篇只有短短八页的论文就是黎曼猜想的“诞生地”。 [4]
黎曼那篇论文所研究的是一个数学家们长期以来就很感兴趣的问题，即素数的分布。素数又称质数。质数是像2、3、5、7、11、13、17、19那样大于1且除了1和自身以外不能被其他正整数整除的自然数。这些数在数论研究中有着极大的重要性，因为所有大于 1 的正整数都可以表示成它们的乘积 [10]。从某种意义上讲，它们在数论中的地位类似于物理世界中用以构筑万物的原子。质数的定义简单得可以在中学甚至小学课上进行讲授，但它们的分布却奥妙得异乎寻常，数学家们付出了极大的心力，却迄今仍未能彻底了解。 [4]
黎曼论文的一个重大的成果，就是发现了质数分布的奥秘完全蕴藏在一个特殊的函数之中，尤其是使那个函数取值为零的一系列特殊的点对质数分布的细致规律有着决定性的影响。那个函数如今被称为黎曼ζ函数，那一系列特殊的点则被称为黎曼ζ函数的非平凡零点。 [4]
有意思的是，黎曼那篇文章的成果虽然重大，文字却极为简练，甚至简练得有些过分，因为它包括了很多“证明从略”的地方。而要命的是，“证明从略”原本是应该用来省略那些显而易见的证明的，黎曼的论文却并非如此，他那些“证明从略”的地方有些花费了后世数学家们几十年的努力才得以补全，有些甚至直到今天仍是空白。但黎曼的论文在为数不少的“证明从略”之外，却引人注目地包含了一个他明确承认了自己无法证明的命题，那个命题就是黎曼猜想。 [4]
黎曼猜想自1859年“诞生”以来，经过了一百多年的历史，在这期间，它就像一座巍峨的山峰，吸引了无数数学家前去攀登，却谁也没能登顶。 [4]
有人统计过，在当今数学文献中已有超过一千条数学命题以黎曼猜想（或其推广形式）的成立为前提。如果黎曼猜想被证明，所有那些数学命题就全都可以荣升为定理；反之，如果黎曼猜想被否证，则那些数学命题中起码有一部分将成为陪葬。 [4]
黎曼观察到，素数的频率紧密相关于一个精心构造的所谓黎曼zeta函数ζ(s)的性态。黎曼假设断言，方程ζ(s)=0的所有有意义的解都在一条直线上。这点已经对于开始的1,500,000,000个解验证过。
之所以要对这一表达式进行解析延拓， 是因为这一表达式只适用于复平面上 s 的实部 Re(s) > 1 的区域 （否则级数不收敛）。黎曼找到了这一表达式的解析延拓（当然黎曼没有使用 “解析延拓” 这样的现代复变函数论术语）。运用路径积分，解析延拓后的黎曼ζ 函数可以表示为： [5]
这里我们采用的是历史文献中的记号， 式中的积分实际是一个环绕正实轴进行的围道积分（即从 +∞ 出发， 沿实轴上方积分至原点附近， 环绕原点积分至实轴下方， 再沿实轴下方积分至 +∞ ，而且离实轴的距离及环绕原点的半径均趋于 0)，按照现代数学记号应记成： [6]
环绕正实轴 [6]式中的 Γ 函数 Γ(s) 是阶乘函数在复平面上的推广， 对于正整数 s>1：Γ（s)=(s-1）！。可以证明， 这一积分表达式除了在 s=1 处有一个简单极点外在整个复平面上解析。这就是黎曼ζ 函数的完整定义。
运用上面的积分表达式可以证明，黎曼ζ 函数满足以下代数关系式： [6]
从这个关系式中不难发现，黎曼ζ 函数在 s=-2n (n 为正整数） 取值为零，因为 sin(πs/2) 为零。复平面上的这种使黎曼ζ 函数取值为零的点被称为黎曼ζ 函数的零点。因此 s=-2n （n 为正整数）是黎曼ζ 函数的零点。这些零点分布有序、 性质简单，被称为黎曼ζ 函数的平凡零点 (trivial zero)。除了这些平凡零点外，黎曼ζ 函数还有许多其它零点，它们的性质远比那些平凡零点来得复杂， 被称为非平凡零点 (non-trivial zeros)。
在黎曼猜想的研究中， 数学家们把复平面上 Re(s)=1/2 的直线称为 critical line（临界线）。运用这一术语，黎曼猜想也可以表述为：黎曼ζ 函数的所有非平凡零点都位于 critical line 上。
荷兰三位数学家J．van de Lune，H．J．Riele te以及D．T．Winter利用电子计算机来检验黎曼的假设，他们对最初的2亿个zeta函数的零点检验，证明黎曼的假设是对的。他们在1981年宣布他们的结果，目前他们还继续用电子计算机检验底下的一些零点。
伊诺克博士在尼日利亚某大学任教。他表示，自己在2010年取得关键性突破，这为后来能够解决这一千年难题奠定了基础。他说，自己之所以决定解决这一著名的数学难题不是为了奖金，而是因为自己的学生。正是因为学生们相信自己，他才开始尝试解决这一数学难题。
然而，克莱数学研究所既不证实也不否认伊诺克博士正式解决了这一问题，只是简单表示对这些千年数学难题的解决办法不予评论。 [7]
2018年9月，迈克尔·阿蒂亚声明证明黎曼猜想，将于9月24日海德堡获奖者论坛上宣讲。 [2]9月24日，迈克尔·阿蒂亚贴出了他证明黎曼假设（猜想）的预印本， [8]但这一证明的正确性尚待验证 [3]。
2022年10月15日，张益唐在参加北京大学校友Zoom线上会议时，口头表达了自己攻克朗道—西格尔零点猜想（Landau-Siegel Zeros Conjecture）的最新进展，且相关文章将在11月初上线。 [9]
黎曼猜想至今尚未被成功证明。
