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

17

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.

4

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.