Symmetry and the Riemann Hypothesis – dialogue with the machine

The Riemann hypothesis is an unsolved mathematical problem proposed by Bernhard Riemann in 1859. It states that all nontrivial zeros of the Riemann zeta function (that is, the complex numbers at which the function is zero) lie on a line with real part 1/2. The conjecture has deep connections to the distribution of prime numbers and is considered one of the most important unsolved problems in mathematics.