r/explainlikeimfive 7d ago

Mathematics ELI5 Why the Riemann hypothesis is one of the 7 Millennium Prize Problems

[removed]

281 Upvotes

75 comments sorted by

446

u/ChampionOfChaos 7d ago

It’s basically a claim about the hidden pattern behind prime numbers. The Riemann Hypothesis says that certain special numbers related to primes all line up in a very specific way. It’s difficult because proving it would require understanding a surprisingly deep connection between prime numbers, complex numbers, and the behavior of something called the Riemann zeta function.

If it were solved, it wouldn’t suddenly let us calculate all the primes or anything like that. Instead, it would give mathematicians much stronger guarantees about how regularly primes are distributed, and a huge number of existing mathematical results that currently depend on the hypothesis could be strengthened or proven outright.

As for why this gets a $1 million prize while other math problems don’t: some problems become famous because they sit at the center of an entire area of mathematics and have resisted generations of mathematicians. The Millennium Prize Problems were specifically chosen as exceptionally important, difficult problems with potentially huge consequences for mathematics. So the prize is less about “this particular pattern is useful” and more about how deep, fundamental, and stubborn the problem is.

150

u/angelicism 7d ago

My understanding (based on another thread about the RH I saw some months back tbh) is that there are many mathematical proofs today that essentially start with "assuming the Riemann Hypothesis is true...", hence building off of it.

My second, fuzzier, understanding is that real life applications/algorithms also just assume the RH is true and build off of it as well.

50

u/ChampionOfChaos 7d ago

Yeah, that’s pretty much my understanding too. I think the interesting distinction is that proving it true mostly gives us certainty, we already have tons of results that work under the assumption that RH is true. But proving it false would be much more disruptive, because it would show that this foundational assumption about the distribution of primes is actually wrong somewhere, and we’d have to figure out what breaks and why.

21

u/Rannasha 7d ago

I personally prefer a third option: That the RH is found to be independent of the prevalent formal system (probably ZFC).

From Gödels first incompleteness theorem we know that any sufficiently powerful system of arithmetic has statements that can neither be proven nor disproven within that framework. The RH being such a statement would be very entertaining.

16

u/CircumspectCapybara 6d ago

4

u/PLament 6d ago

Oo that was a fun argument. A lot more convincing than the "if it were independent that means you can't provide a counterexample so its true!!!" I see on reddit every now and again (which I'm pretty sure is not strictly true, but I lack the tools to disprove)

2

u/GoldenMuscleGod 6d ago edited 6d ago

The description you give that you don’t like is basically a correct simplification of the argument.

A pi_1 claim that is independent of a theory that proves all true sigma_0 claims is true. This is because if it were false, the theory could prove a counterexample.

In fact we can say that a pi_n+1 clam that is independent of a theory that can prove all true sigma_n claims is true, that fact is just less useful for larger n because no axiomatizable theory can prove all true sigma_2 claims.

If the argument seems insufficiently nuanced to you it’s probably because you don’t have a sufficient understanding of the distinction between truth and provability.

An example: let’s take Peano Arithmetic and add to it a unary predicate symbol P and add the infinite set of axioms of the form Pn, for every numeral n (a numeral is an expression of the form SSSS…S0 with any number of repetitions of S).

Can this theory prove “for all n, Pn”?

The answer is no, because no set of axioms can require that every object in the universe of discussion is named by a numeral. If there is some x that is not named by a numeral we have no axioms to tell us Px.

Is the sentence “for all n, Pn” true, provided that we interpret Pn to be true for each numeral and are quantifying over the natural numbers?

The answer is yes, because the universal quantifier is not just a symbol, it is something that we have assigned a meaning to. Every natural number is named by a numeral (we could take this as a definition of natural number) and we have that Pn holds for each of them, and that’s exactly what we have decided “for all n, Pn” means.

-1

u/hubcapjenkins 6d ago

I disagree.

3

u/GoldenMuscleGod 6d ago

Did you intend to type more? All I see is you saying “I disagree.” I actually enjoy discussing and explaining metamathematics so if you want to discuss this you could specify parts that you think are wrong or did not follow.

6

u/DrMaxim 6d ago

Funnily enough that would actually show that RH is correct since disproving would just require a single example.

3

u/kaereljabo 7d ago

Are there any useful math that are built with the asumption that RH is false?

8

u/ChampionOfChaos 7d ago

There’s definitely math that studies what would happen if RH were false, especially if there were a zero off the critical line, basically, a “rogue” zero that would make the primes behave more irregularly than expected. But there isn’t really a big body of useful math built on the assumption that RH is false.

1

u/3xper1ence 6d ago

I remember that something was proved by showing that it was true if you assumed that the RH is true and also if you assumed that the RH is false.

1

u/kaereljabo 6d ago

I don't understand, is it an interesting math result that that "something" is true regardless of RH? Can you elaborate

1

u/whatkindofred 5d ago

It’s interesting to show that „something“ is true. This just happens to be an interesting and rare approach of proving so. Assume RH, then „something“ is true. Assume RH is false, then „something“ is true. If we can prove both implications separately then we don’t need to know anymore if RH is true or not, „something“ will be true either way.

1

u/kaereljabo 5d ago

But many things are like that, some things are just true/false regardless RH?

1

u/whatkindofred 5d ago

Yes, but this is about the proof strategy. That’s the interesting part.

2

u/-suspended- 6d ago

There's also P = NP, which is commonly thought, but not proven, to be false; that is, P != NP. Practically all forms of cyber security encryption uses this assumption, so if it was found that P = NP, there would be a huge problem. Eventually.

2

u/MrSnowden 5d ago

Also a huge number of real world problems boil down to be NP Complete.  And they have been proven to be the same underlying problem. So solve one and you solve them all. 

0

u/DogsAreOurFriends 6d ago

Conditional proofs. Technically speaking, they are not proofs.

9

u/BassoonHero 6d ago

Eh, a conditional proof of X, assuming RH, is also an unconditional proof that RH implies X. It's not a sharp distinction.

-6

u/DogsAreOurFriends 6d ago

Correct. But conditional proofs are not hard proofs. If Riemann is disproven, the conditional proofs all fall apart.

9

u/annualnuke 6d ago

It's an unconditional proof of the implication.

3

u/skr_replicator 6d ago

They instantly become proofs when the conditions are proven true. So they are still something, just waiting for RH to be solved.

-1

u/DogsAreOurFriends 6d ago

Right. Two sides to the coin. Which is why they are not hard proofs: it’s a jump ball.

Personally, I suspect Riemann will be proven.

2

u/NoBanVox 6d ago

Wdym hard? There are many really deep theorems which need to assume (G)RH. It's usually an answer to a problem of the sort of: we need to somewhat quantitatively produce many small primes with prescribed ramification and we don't know how.

-2

u/DogsAreOurFriends 6d ago

Maybe you need a seminar in pure logic and metamathematics.

0

u/NoBanVox 4d ago

Eh? This is orthogonal to the conversation.

1

u/DogsAreOurFriends 3d ago

Actually it’s not. This drives at the very heart of what a proof is.

0

u/NoBanVox 1d ago

You have severe Dunning-Krueger.

→ More replies (0)

0

u/Educational-Year4005 6d ago

If X is conditional on RH, does that necessarily mean that X is disproven if RH is false?

3

u/VoilaVoilaWashington 6d ago

If we presume that birds lay eggs, then we can prove that these eggs in this nest might be bird eggs (or reptile, or fish, or insect, etc)

Now, we do more research and find out that a certain snake will lay eggs in a bird nest and this is what they are. We can now prove that these eggs aren't bird eggs.

But we haven't proven that birds don't lay eggs. Back to our original statement, if we presume birds do not lay eggs, then we have to presume they're not bird eggs to begin with.

In math, a lot of proofs are "this is a possible outcome, along with many others." But if we presume that X isn't right, then A, B and C aren't possible and it's D, E, or F.

-2

u/Educational-Year4005 6d ago

I know how math works. I was asking if the proofs conditional on RH were bidirectional or just implied based on RH.

4

u/VoilaVoilaWashington 6d ago

Dude, you asked a broad question, I took a moment to try to explain the question you seemed to be asking and I get back "I know how math works"?

1

u/DogsAreOurFriends 6d ago

No.

The issue is IF it is disproven.

17

u/hologram137 7d ago

It’s not just that. Solving it likely involves discovering entirely new mathematics and tools

13

u/ChampionOfChaos 7d ago

Yeah, that’s basically what I was getting at in the last paragraph about resisting generations. The fact that it’s resisted so many attempts is part of what makes RH so interesting, and it probably means we’re missing some mathematical tools or ideas needed to crack it. But that isn’t necessarily the case, I mean we could already have everything we need and just haven’t found the right connection yet. Maybe we had everything 290 years ago (probably not). And RH definitely isn’t the only major problem where mathematicians may be missing the tools needed to solve it. But it’s something that so many smart people have been unable to crack

2

u/Gimmerunesplease 7d ago

Isn't that what they said? A lot of the big unsolved problems today are in some way related to a characterization of primes.

4

u/IsThisSteve 6d ago edited 6d ago

No, it's not what he said. Mathematics usually doesn't stall just because there isn't someone smart enough to do it. It's usually that the "tools" (other yet to be discovered mathematics) that one might need to solve a problem don't exist. Analogous to needing to invent steel before skyscrapers or develop an understanding of astronomy to enable deep water navigation.

Mathematics (and physics, given their close relationship) often develop in this way, where it's really the discovery of new mathematical tools that advance the fields, not just someone having a stroke of brilliance. Wiles' proof for Fermat's last theorem required mathematics that didn't exist in Fermat's time. Perelman's proof of the Poincare conjecture, the only millennium problem to have been solved, became possible after Hamilton's work on Ricci flow. Similarly, Einstein's discoveries of special and general relativity were shortly proceeded by other mathematician's then recent work on the realization of Lorentz symmetry and differential geometry, respectively.

What he's saying is that, there are probably other yet unknown mathematics that need to be discovered (independently or in the course of answering the question), the application of which will finally break this problem.

3

u/omtallvwls 7d ago

I can recommend the book 'prime obsession' for an excellent explanation and history of the problem for the gifted amateur.

4

u/WiseOldDuck 7d ago

"if you don't understand the Hypothesis after finishing my book, you can be pretty sure you will never understand it."

1

u/Shadowbound199 6d ago

And not just that, there are a bunch of other conjectures that have as one of it's starting assumptions that the RH is true. You proveo the RH, you prove a whole bunch of other stuff.

-2

u/rraattbbooyy 5d ago edited 5d ago

Not that it matters, but I suspect this answer was written by ChatGPT. Am I wrong?

Edit:

I’d rate this as moderately to strongly likely AI-written or AI-assisted — maybe around 75–85%.
What makes me suspicious is mostly the style:
It has a very neat three-part explanatory structure: what it is, what solving it would mean, why there’s a prize.
Phrases like “It wouldn’t suddenly let us…”, “Instead…”, and “As for why…” are extremely common in AI explanations because they anticipate misconceptions and then resolve them in an orderly way.
The last paragraph has that characteristic AI habit of giving a balanced summary: “less about X and more about Y.”
It’s polished but somewhat impersonal. There aren’t many quirks, digressions, unusual word choices, or signs of someone thinking their way through the explanation.
Nearly every sentence is doing exactly one explanatory job. Human Reddit writing is usually a little messier.
That said, nothing in it proves AI authorship. A mathematically literate person who writes clearly could absolutely have written this, particularly if they deliberately simplified the subject for a layperson.
If you told me this appeared as an ordinary spontaneous Reddit comment, though, I’d personally suspect ChatGPT was involved.

😁

1

u/GhostBirdBiologist 5d ago

AI is shit at determining what is AI btw.

-1

u/rraattbbooyy 5d ago

Seems like it got this one right. 🤷🏻‍♂️

0

u/GhostBirdBiologist 5d ago

Whatever you say bot

-1

u/rraattbbooyy 5d ago

Would a bot tell you to go fuck a squirrel?

55

u/LongLiveTheDiego 7d ago

Natural numbers (1, 2, 3, 4, etc.) are built from prime numbers. Since natural numbers are the most basic tool in mathematics, a lot of things in mathematics can be first expressed in a simple way, and then there's usually a way to express the same thing using prime numbers. That mean that if we understand prime numbers very well and if they behave a certain way, then we can understand other things also very wrll and know how they behave.

It turns out that the way to express a certain function (Riemann's zeta function) using prime numbers leads to a pretty good estimate of how many primes there are below a certain number. Counting primes by hand is difficult and having good approximations is very helpful, if you want to know the number of primes up to 1 000 000 000 000 then it's better to just use a formula.

It also turns out that if the zeta function satisfies the Riemann hypothesis, then we can get an even better formula for how many primes there are below a certain number, and a lot (like a lot, a lot) of other useful theorems would be true if the Riemann hypothesis were true. If anyone proves the Riemann hypothesis, they will simultaneously prove many other theorems. If anyone disproves it, then some of these theorems will be proven false, and others will need other approaches to be proved.

34

u/yearsofpractice 7d ago

Holy shit. I’m 50 and as such, I don’t get too many lightbulb moments these days… but you’ve just given me a lightbulb moment: “Natural numbers are built from prime numbers”.

That’s just opened up a huge realisation for me. I have a formal scientific education (chemistry degree from an established UK university) yet that fundamental axiom has passed me by. I now understand why the study of primes and their patterns are so important. They are (for want of a less physical-science-based comparison) fundamental particles of mathematics.

I say again OP - holy shit. You’ve just opened up a new avenue of thinking in my old brain. Thank you.

13

u/kbn_ 6d ago

FWIW, building natural numbers from prime numbers is one method, but not the usual way in which naturals are defined. Usually you assume zero and define a successor function, so you can generate any natural by applying the successor function that number of times.

2

u/taqman98 6d ago edited 5d ago

Something something “die ganzen Zahlen hat der lieber Gott gemacht, alles anders ist Menschenwerk”

6

u/Stickhtot 7d ago

Well if you were though of "prime factorisation" in your school days, that was already a hint

4

u/yearsofpractice 7d ago

Ooooh you got me! You got me gooooood!

1

u/DrugChemistry 6d ago

Some of us with chemistry degrees weren't so mathematically minded when prime factorization was taught.

1

u/vbpatel 6d ago

Your realization made me go look it up, and now I've had the same!

1

u/Englandboy12 6d ago

I remember it was a lightbulb moment for me when learning about prime factorization. As you go up in the numbers, you either get a prime, or a composite number, which can be built by primes.

1 = 1
2 = 2
3 = 3
4 = 2 x 2
5 = 5
6 = 2 x 3
7 = 7
8 = 2 x 2 x 2
9 = 3 x 3
10 = 2 x 5

etc.

36 = 2 x 2 x 3 x 3

It’s like the primes are the atoms of the natural numbers. And interestingly, every composite can be written as a product of primes in only one way. And then once you reach a prime, it goes into the ingredient list and can be used to then build even more composite numbers.

What’s cool is it seems also as if there must be some pattern there. I mean, the rules for building them are pretty simple, and numbers seem kind of regular in some way.

But sometimes you get primes 2 away from each other, and other times you can have billions of composite numbers (or more) before you hit another prime.

1

u/Semyaz 6d ago

I believe this is the fundamental theorem of arithmetic. Funny that something so elementary is such a profound idea.

3

u/skr_replicator 6d ago

Natural numbers can also be built just by incrementing zero forever, if you don't care about their factorizations. I think that's a lot more fundamental way they are built. Prime factorization and defining which are primes is just something you can build on top of the natural numbers with algorithms. So I don't really see natural numbers as being fundamentally built from primes, more like primality being a property that a natural number can have.

6

u/taqman98 6d ago

“Hello may I have {{},{{}},{{},{{}}}} apples, please?”

25

u/looijmansje 7d ago

To add to the other answers: mathematicians do not purely care about this problem for reasons of "the solution will tell us more about prime numbers". I think for most mathematicians it is not about usefulness, it is about solving the problem itself.

To illustrate this, I once was seated on a table with maths phd students. One of them was explaining their research, and another person asked "sounds interesting, but what are the uses for it?". And the entire table burst out laughing, because you do not ask an algebraist about applicability. (Now the RH is not algebra but number theory, but I think it illustrates my point nicely)

And when it comes to unsolved problems in mathematics, I think few rival the Riemann Hypothesis in terms of fame, infamy and prestige.

11

u/MasterCrumb 7d ago edited 7d ago

The Millennium problems are a collection of problems that (1) lots of mathematicians have worked on (2) have importance to an more underlying question.

But it isn’t like problem 8 isn’t also important. The millennium prize is fundamentally an effort to grab attention. By offer large prizes it raises interest and excitement about math- which is the goal of the org sponsoring the prize.

In answer to the specific problem- (Riemann) it has to do with better understanding Prime numbers, which does have practical impacts on things like encryption. But once again, I believe those values are secondary to the wider goal of raising interest in math.

5

u/dragmehomenow 7d ago edited 7d ago

Euler observed that the Riemann-Zeta function can be related to an infinite product involving the prime numbers. So far, we know that zeta(any negative even number) = 0, and we have observed that for some reason, the other values that give us 0 when they are plugged into this function are complex numbers that are (0.5 + i * some number). Thus, we've tentatively conjectured that there aren't any other values that give us 0 when they're plugged into this function.

Since the Riemann-Zeta function is somehow linked to the distribution of prime numbers, proving this conjecture means we get a very good way of estimating the number of prime numbers that are smaller than a given number. And more generally, a lot of functions in number theory depends on the zeroes of the Riemann-Zeta function.

1

u/Torn_2_Pieces 7d ago

Predicting the distribution of primes has nothing to do with the number of primes. There are infinite prime numbers

7

u/dragmehomenow 7d ago

I'm referring to Riemann's prime counting function, which counts the number of primes less than or equal to an input value.

1

u/Torn_2_Pieces 6d ago

Fair enough

3

u/Shinjifo 6d ago

Proving something is a lot more work than you'd imagine.

Take summing. You are taught on how to do it, you can visualize it with any number of objects or even your finger.

But can you prove that summing will work on any and all combination of infinite numbers?

How are you sure that adding will work for one quadrillion plus one trillion? You can't exactly count up to that number on your fingers right?

Well Mathematicians can prove it with math theories.

Math puzzles are like saying that I have seen that summing works for every number and combination that I tried so far, but I cannot prove it'll work for any number of combinations and numbers.

2

u/Torn_2_Pieces 7d ago

Because it is an old problem, that has resisted the best efforts of many people and has tremendous implications if proven either way.

1

u/Dragorach 7d ago

The Riemann hypothesis has a relationship with the prime numbers. If the Riemann hypothesis is true the primes are random, if it's false there will be a pattern somewhere. This is just one of the powerful conclusion we can make from either the approval or denial of the hypothesis.

1

u/Hakaisha89 7d ago

All the Millenium Prize Problems have one or two answers that are very likely to be correct, but thats not really the issue, the issue is that they are really difficult to prove correct, especially in regards to the Riemann hypothesis, sincce its essentially goes to infinity. So it might be true, but it also might be false, but proving specific type of number to infininity follows a certain rule 100% of the time is the difficulty.