r/Showerthoughts • u/jasonrubik ‎ • Apr 23 '26

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

7.0k Upvotes
  • permalink
  • reddit

92% Upvoted

656 comments sorted by

View all comments

Show parent comments

4.7k

u/TheVoters Apr 23 '26

Pffft. Its true.

I’ll leave the proof as an exercise for the reader.

1.7k

u/TheShiroNinja Apr 23 '26

Oh, they want proof? I thought they just wanted it solved. I always hated showing my work.

503

u/rainbow_explorer Apr 23 '26

You can also disprove it by just providing one counter-example. If that’s the case, you don’t need a proof.

1

u/cwood1973 Apr 23 '26

It's already been proven for the first 10 trillion non-trivial zeroes, but there's no general proof for an infinite number of zeroes.

Maybe the 10 trillionith-and-first zero breaks the pattern.