Exciting things have been happening in number theory recently. The mathematics we study at school gives the impression that all the big questions have been answered: most of what we learn has been known for centuries, and new developments are nowhere in evidence. In fact, research in maths has never been more intensive and advances are made on a regular basis.
During the past month, two major results in prime-number theory have been announced. A prime number is one that cannot be broken into smaller factors. So, five and seven are prime, but six isn’t, since 6 = 2 x 3. Primes are the atoms of the number system. Euclid showed, some 23 centuries ago, that there is an infinitude of primes, but many fundamental questions about their properties remain unanswered. For example, prime pairs like 17 and 19, differing by two, may be finite or unlimited in number. No one has the answer to this Twin Prime problem.
Another puzzle surrounds the splitting of even numbers into sums of primes, such as 10 = 3 + 7. Is this possible for every even number? Christian Goldbach thought so, and said as much in 1742 in a letter to his friend Leonhard Euler, the great Swiss mathematician. Euler responded that he regarded Goldbach’s conjecture as “virtually certain, though I cannot prove it”. And no one has proved it since.
Why should we worry? Number theory is the purest of pure mathematics, remote from our daily cares. How could it have any relevance to practical life? In fact, the properties of prime numbers underlie all modern cryptography, which is vital for the integrity of online communications and the security of internet financial transactions.
Last month, Yitang Zhang of the University of New Hampshire sent a paper to the pre-eminent journal Annals of Mathematics, claiming that there are an infinite number of prime pairs whose separation is less than a fixed constant. The constant is huge, about 70 million, a long way from two, the value needed to prove the Twin Prime problem. Still, it is a dramatic breakthrough, and ways will soon be found to reduce the separation constant. Zhang's paper was fast-tracked for review and within three weeks one referee had described it as "first-rate". Zhang presented his results to a capacity audience in Harvard on May 13th.
On that very same day, Harald Helfgott of Ecole Normale Supérieure in Paris posted a 133 page preprint proving a weak form of Goldbach’s conjecture: every odd number from 7 upwards is the sum of three primes. This would follow from Goldbach’s statement about even numbers, but the argument does not work the other way round, so the original conjecture remains open.
There is cast-iron evidence that Goldbach was right: all even numbers up to 4×1018 (four million million million) have been shown to be sums of two primes, but the greatest mathematicians have been unable to prove that the assertion is true in all cases. So, the matter remains open; perhaps you can win enduring fame by proving this 270-year-old conjecture.
Peter Lynch is professor of meteorology at University College Dublin. He blogs at thatsmaths.com