Comment by titanomachy

I’m sure AI can “solve” the Riemann hypothesis already, since a human proved it and the proof is probably in its training data.