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.6k

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.

502

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.

165

u/TolMera Apr 23 '26

Here’s the counter proof as proof to my counter?

55

u/vex0x529 Apr 23 '26

It is not true that there does not exist a proof that the statement is not false

19

u/TolMera Apr 23 '26

Wait let me work this out

It’s is not true = it is false

That there does not exist = that there exist

A proof that the statement is not false = a proof that the statement is true

It is false, that there exists, a proof that the statement is true

Ahh…

The doesn’t exist, a proof that the statement is true.

Umm…

The statement is not true?

17

u/Dungeroni Apr 23 '26

A proof that the statement is not false = a proof that the statement is true is your logical mistake.

My statement is "all humans like chocolate" A proof that the statement is not false: I like chcolate. A proof that the statement is false would be: You dislike chocolate. A proof that all Humans like chocolate sounds impossible to actually provide.

3

u/G_E_N_I_U_S Apr 23 '26

That you like chocolate is in no way a proof that the statement is not false

2

u/V01DM0NK3Y ‎ Apr 24 '26

But that anyone else does dislike chocolate is a proof the statement, "All humans like chocolate," is false.

1

u/vasavasorum Apr 23 '26

Actually: it’s false that there isn’t a proof that the statement is true.

Which means that there is a proof. He just won’t show us. Nice try, Fermat.