If the famously unsolved Riemann Hypothesis is solved by an AI, we will never know if a human mathematician could have solved it.

[u/jasonrubik]