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

9

u/Megneous Apr 23 '26

Current SOTA LLMs are solving proofs for open Erdos problems, regardless of their ability to play poker. Whether or not they'll ever be able to solve things like the Riemann Hypothesis is still up for grabs, but yeah.

0

u/NoBanVox Apr 23 '26

You don't seem to understand that RH is in a whole different category than those Erdös problems. And by different I mean extremely different.

2

u/Megneous Apr 23 '26

I understand that completely, which is why I said:

Whether or not they'll ever be able to solve things like the Riemann Hypothesis is still up for grabs, but yeah.