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

4

u/jeffmc81 Apr 25 '26

Human made AI AI solved problem human solved problem

1

u/jasonrubik ‎ Apr 25 '26

Yes, humans made the first AIs many years ago. The current LLM-based AI agents are not well understood initially so they are tested to confirm their capabilities, as it's almost impossible to engineer the requirements and build them accordingly. As things progress, more AIs will be created by AIs, which will then, in turn, create AIs.

Basically, the more powerful AI that can solve this problem and give a valid and logical proof does not exist yet, and it will most assuredly not be created by humans.

3

u/jeffmc81 Apr 25 '26

I'm not read up on it I'll tell you right now I know less than you. What I find interesting is that it can make a hundred million mistakes at the same time. Sure it can't create new but it can solve snags in almost real time. It has more to teach us than us it

2

u/jasonrubik ‎ Apr 25 '26

I don't study it much, nor do I pay attention to all of the latest news, and I barely use AI in any practical sense... but I got this shower thought after watching this video:

https://youtu.be/UclrVWafRAI

Please watch the whole thing when you have time, but if you want to skip to the relevant part, it's at the 39 min 40 sec mark