黎曼猜想(或称黎曼假设)是关于 黎曼ζ函数ζ(s)的零点分布的猜想,由数学家波恩哈德·黎曼于1859年提出。这个猜想指出,黎曼ζ函数的所有非平凡零点都位于复平面上的x=1/2直线上,这条直线被称为临界线。黎曼猜想的证明对于理解素数的分布和性质具有重要意义,因为它与素数的分布公式密切相关。

黎曼猜想的证明在数学史上具有极高的地位,曾被列为20世纪数学家应当努力解决的23个数学问题之一,并且也是克雷数学研究所悬赏的世界七大数学难题之一。尽管在2018年,迈克尔·阿蒂亚宣称已经证明了黎曼猜想,但这一证明并未得到广泛认可,因此黎曼猜想仍然是一个未解之谜。

总结来说,黎曼猜想是关于黎曼ζ函数零点分布的猜想,它涉及到素数分布的重要问题,并且至今仍未被证明。