关于黎曼猜想的计算机验证

    本文附件介绍了关于黎曼猜想的计算机验证计划及其自检验的结果。

    1859年，黎曼发现Zeta函数

的零点（也叫“根”）都分布在一条几何直线上，但是，他证明不了这个事实。

    由此，人们称其为“黎曼猜想”。”

袁萌  陈启清  2月18日

附件：黎曼猜想的ZetaGrid计划

ZetaGrid was at one time the largest distributed computing project designed to explore roots of the Riemann zeta function, checking over one billion roots a day.

Roots of the zeta function are of particular interest in mathematics, since the presence of even a single one that is out of line with the rest would disprove the Riemann hypothesis, with far-reaching consequences for all of mathematics. So far, every single one of them has failed to provide a counterexample to the Riemann hypothesis.

The project ended in November 2005 due to instability of the hosting provider.[1] Over 1013 first zeroes were checked.[2] After the results have been analyzed, the project administrator has stated that they will be posted on the American Mathematical Society website.[3]