什么是黎曼ζ函数
黎曼ζ函数 ζ(s) 定义为复数 s 的级数：ζ(s) = 1 + 1/2^s + 1/3^s + 1/4^s + ... 当 s 的实部大于 1 时，该级数收敛。黎曼通过解析延拓将该函数扩展到了所有复数（s = 1 除外）。该函数在负偶整数 (-2, -4, -6, ...) 处具有“平凡零点”，并在 s 的实部介于 0 和 1 之间的“临界带”中具有“非平凡零点”。
这一猜想
黎曼猜想指出：黎曼ζ函数的所有非平凡零点的实部都精确等于 1/2。也就是说，它们全部位于 Re(s) = 1/2 的“临界线”上。这就是该猜想的内容。它看起来像是关于特殊函数的一个枯燥的技术陈述，但其内涵触及了素数分布的核心。
为何涉及素数？
黎曼证明了素数的分布与ζ函数的零点紧密相关。素数计数函数 π(x)（即小于 x 的素数个数）可以通过ζ函数的零点来表达。如果所有非平凡零点都位于临界线上（正如猜想所称），那么素数的分布就是尽可能规则的。如果任何零点偏离该线，则素数的分布将包含意想不到的不规则性。
为何如此困难？
大多数数学家认为，要证明该猜想，不仅需要巧妙运用现有技术，还需要真正的全新数学方法。基于随机矩阵理论、量子混沌和算子理论的尝试虽然产生了深层的联系，但都未能提供证明。该猜想处于数论、复分析和物理学的交叉点，且依然充满神秘感。
常见问题
什么是黎曼猜想？
黎曼猜想指出，黎曼ζ函数 ζ(s) 的所有非平凡零点的实部均等于 1/2——它们全部位于复平面的“临界线”上。该猜想由波恩哈德·黎曼于1859年提出，是数学中最重大的未解难题，克雷千年大奖为其提供100万美元的证明赏金。
黎曼猜想为何重要？
该猜想与素数分布密切相关：若成立，素数将呈现尽可能规则的分布；任何偏离临界线的零点都意味着意想不到的不规则性。它还与量子混沌、随机矩阵理论和密码学有关。数论中的许多定理都是“假设黎曼猜想成立”而证明的——若能完成证明，这些定理将同时得到确认。
有人接近证明黎曼猜想了吗？
人们尝试了多种路径——解析数论、谱理论、随机矩阵理论。该猜想已验证了前10万亿个零点。最接近的结构性成果是“临界线定理”（哈代，1914年）：无限多个零点位于临界线上。但“无限多”并不等同于“全部”。目前尚未有关于该完整猜想的证明被学术界接受。