Hilbert's Eighth Problem 2020