IT之家9月20日消息 近日，菲尔兹奖和阿贝尔奖双料获得者、英国皇家学会前主席迈克尔·阿提亚爵士声称他证明了黎曼猜想。 海德堡桂冠论坛会做一个讲座，届时可能会给出黎曼猜想的整个证明过程。
黎曼猜想的内容不能完全用初等数学来描述。 粗略地说，它是对称为黎曼zeta函数的复变量函数的猜想（即变量和函数值都可以在复数域取值的函数）。 与许多其他函数一样，黎曼 zeta 函数在某些点具有零值，这些点称为黎曼 zeta 函数的零点。 在这些零点中，有一个特别重要的非平凡零点子集，称为黎曼 zeta 函数。 黎曼猜想猜测的是，那些非平凡的零点都分布在一条特殊的直线上，称为“临界线”。
黎曼猜想是关于黎曼ζ函数ζ(s)的零点分布的猜想，由数学家黎曼于1859年提出。该猜想是克莱数学所提出的世界七大数学问题之一 研究所。 这七大世界问题分别是NP-完全问题、霍奇猜想、庞加莱猜想、黎曼猜想、杨-米尔斯的存在性和质性差距、Navel-Stoke方程、BSD猜想，这七大问题都有百万美金的悬赏。 如果阿提亚爵士的证明是正确的，他将获得一百万美元的赏金。
黎曼认为所有自然数中素数出现的频率与一个复函数密切相关，即：
ζ(s) = 1 1 / 2S 1 / 3S 1 / 4S ……称为黎曼 Zeta 函数。 黎曼假设指出所有素数都可以表示为一个函数。
ζ(s)=0 位于一条垂直线上
这就是所谓的黎曼猜想。
如果这个猜想得到解决，将是一个震撼整个数学界的重大突破，但黎曼猜想直到今天仍然是悬而未决（即既没有被证明也没有被推翻）。 然而，数学家们已经在解析和数值两个不同的方面对其进行了深入研究。 分析获得的最强结果是证明至少 40% 的非平凡零点位于临界线上； 最强的数值结果是验证了所有前十万亿个非平凡零点都在线临界线上。
