Prime numbers are one of the most basic topics of study in the branch of mathematics called number theory.
Primes are numbers that can only be evenly divided by themselves and 1. For example, 7 is a prime number since I'm left with a remainder or a fractional component if I divide 7 by anything other than itself or 1. 6 is not a prime because I can divide 6 by 2 and get 3.
One of the reasons primes are important in number theory is that they are, in a certain sense, the building blocks of the natural numbers. The fundamental theorem of arithmetic (the name of which indicates its basic importance) states that any number can be factored into a unique list of primes. 12 = 2 x 2 x 3, 50 = 5 x 5 x 2, 69 = 3 x 23.
Studying numbers, then, basically amounts to studying the properties of prime numbers.
Mathematicians have, over the millennia, figured out quite a bit about the prime numbers. One of Euclid's most famous proofs shows that there are infinitely many primes.
The basic idea of the proof is that if there were only finitely many primes, and we had a list of all of those prime numbers, we could multiply them all together and add 1, creating a new number that isn't divisible by any of the prime numbers on our list.
Despite all the things we know about prime numbers, there are plenty of deceptively simple conjectures about primes that have not yet been either proven or disproven.
Here are some of those conjectures.
1. Twin Primes
Twin primes are pairs of prime numbers that have just one number between them: 5 and 7, 11 and 13, and 29 and 31.
The twin primes conjecture is that there are infinitely many pairs of twin primes among the infinitely many prime numbers.
Most mathematicians think that the conjecture should be true: while prime numbers get rarer as numbers get larger, number theorists' experience and intuition with primes suggests that twin prime pairs should still pop up from time to time. Despite this, the conjecture has not yet been proven or disproven.
2. Goldbach's Conjecture
This is another simply stated problem. Goldbach's Conjecture says that every even number larger than two can be written as the sum of two prime numbers.
This certainly holds true for smaller numbers: 4 = 2 + 2, 8 = 5 + 3, 20 = 13 + 7, but it hasn't been proven for all even numbers.
Researchers armed with 21st century computers and well-designed programs have verified the conjecture for even numbers up to 4,000,000,000,000,000,000.
This is pretty good evidence for the conjecture, but in mathematics, saying that a conjecture holds for all numbers smaller than some ludicrously high finite bound is not enough to say that it holds for all numbers.
3. Palindromic Primes
Palindromes in English are words or sentences that read the same forwards and backwards. The word "radar" and the phrase "A man, a plan, a canal: Panama" are both palindromes.
Similarly, palindromic prime numbers are primes whose decimal expansions read the same forwards or backwards. 11, 101, and 16561 are some examples of palindromic primes.
As with the twin primes, it's currently unknown if there are infinitely many palindromic primes. The palindromic primes are a less active area of mathematical research than the twin primes, however.
4. The Riemann Hypothesis
The Riemann Hypothesis is one of the Millennium Prize Problems, a set of the most important open problems in mathematics. Solving one of these problems brings with it a prize of $US1,000,000.
The Riemann Hypothesis involves an extension to the Prime Number Theorem mentioned above. That theorem gives a formula for the approximate number of primes smaller than some given large number.
As with the other problems on this list, there is a good amount of numerical evidence for the Riemann Hypothesis, and most mathematicians believe it to be true. Mathematicians have tested billions of the zero points of the function and found all of them to fall on that line.
Also like the other problems we've looked at, there is not yet a full blown proof of the hypothesis. In each of these cases, while most mathematicians believe these conjectures to be true, and there is a good bit of empirical evidence for the conjectures, the search for a full blown proof continues.