Nontrivial Zeros of the Riemann Zeta Function Know a lot

Yuri Matiyasevich speaks to the Experimental Mathematics Seminar.
Abstract: Bernhard Riemann gave an exact formula for the number of primes below given bound via a particular sum over the zeros of zeta function. In the course of large scale computer calculations the speaker discovered new relationships between these zeros and prime numbers.
See: logic.pdmi.ras...
sites.math.rut...