Trace formula in non-commutative geometry and Riemann hypothesis

In my lecture this year, I showed how to reduce the Riemann hypothesis to a trace formula on a non-commutative space. This gives a spectral interpretation of the zeros of the Riemann zeta function, as well as a geometric interpretation of explicit number-theoretic formulas.