Hilbert wakes up 1,000 years later.
“Has the Riemann hypothesis been proven?”
“Yes. But there’s something else you should know…”
It wasn’t proven by a human.
"If I were to awaken after having slept for a thousand years, my first question would be: Has the Riemann hypothesis been proven?" - David Hilbert