Mathematics is full of stories of geniuses toiling away in isolation before presenting the world with a monumental result that takes years for everyone else to understand. A famous example is Fermat's last theorem, a 350-year old problem that was solved in the 1990s by Andrew Wiles after years of secretive work. Another is the Poincaré conjecture, proved in the 2000s by the reclusive Grigory Perelman who later refused all reward and recognition for his work.

Shinichi Mochizuki.
This summer the world of number theory made a renewed effort to understand another such result, first published in 2012 by the mathematician Shinichi Mochizuki. Mochizuki had spent many years working in private on a famous problem known as the ABC conjecture. His papers, which run to over 500 pages, purport to prove the conjecture, but turned out to be impenetrable. There were too many new formalisms and too much unfamiliar terminology for other mathematicians to handle. Mochizuki didn't help by refusing to travel outside of Japan to explain his work. A conference that took place in Oxford last December, without Mochizuki, failed to elucidate the proof, though it did give people a deeper insight into his methods. It wasn't until this summer, nearly four years after publishing the papers, that Mochizuki offered some more pentrable guidance at a conference in Kyoto. And although his proof is far from understood, attending mathematicians expressed some hope that they will eventually get there.
The ABC conjecture cuts right to the heart of number theory by linking its two most basic operations: addition and multiplication. Multiplication is intimately linked to those favourite friends of number theorists, the prime numbers. Primes are natural numbers that are only divisible by themselves and Examples are
,
,
,
and
A famous result that was already known to the ancient Greeks states that every natural number can be written as a product of primes, for example
![]() |
![]() |
and
![]() |
The result is the reason why multplication and primes go hand in hand. For example, if you know the prime factors of two numbers and
, you immediately know the prime factors of their product
![]() |
They are simply the prime factors of and the prime factors of
taken together. As an example, if
and
, you immmediately know that the prime factors of the product (
) are
(twice) and
(twice):
![]() |
When it comes to addition, though, the primes aren’t quite so amenable. Suppose you have three numbers
and
such that
![]() |
There’s nothing obvious you can say about the prime factors of the three numbers in this case. If and
as above, then
![]() |
which is itself prime. In this case the result of the sum () involves a larger prime (
) than both
and
(which involve primes
and
.) But this isn’t always the case. If
and
then the result of the sum
![]() |
only involves a prime () that nestles in size between those appearing in
and
(
and
). Is it possible to say anything at all about the primes appearing in
compared to those appearing in
and
?
One way of gauging the size of the primes that divide three numbers
and
is to multiply all their prime factors together, but only keeping one copy of each. For
and
the prime factors are
(twice),
and
(twice). Multiplying them together but only using one copy of each gives
![]() |

Not quite as easy as ABC.
Even if you didn’t know what
and
were to start with, knowing that this product is
would tell you immediately that the only prime factors involved in the three numbers are
and
The product is called the radical of
and written as
You can regard it as a sort of average. It doesn’t tell you what the three numbers involved are exactly, but it encodes information about the size of their prime factors.
In our example with
and
we have
![]() |
This radical is bigger than the result of the sum. The same goes for the example
,
and
In this case the radical is
![]() |
which is again bigger than the result of the sum. Playing around with a few more examples will soon lead you to suspect that this is always the case.
This is what the ABC conjecture would like to say. That given a triple ,
and
without common factors (because that would be boring), and with
we always have
![]() |
Unfortunately though, this isn’t true. A counter example is ,
and
. The only prime factor of
is
, the only prime factor of
is
(since
) and the prime factors of
are
and
(since
). The radical is therefore
![]() |
which is smaller than
So instead, the ABC conjecture says that is usually true, where the meaning of "usually" is made up of two components. The first component relates to the fact that there are infinitely many triples
,
and
with no common factors (co-prime triples) and with
You can easily make as many as you like yourself: simply pick two co-prime numbers
and
and add them together to get
. The "usually" in this context is interpreted as meaning that only a finite number of such triples don’t comply with the requirement that
![]() |
A finite number can still be large of course (think of 1,000,000) but it would still pale into insignificance compared to the infinity of cases that do comply.
So is it true that only finitely many of the infinite number of co-prime triples ,
and
with
do not have
? Unfortunately not — it’s possible to find infinitely many such triples — which leads to the second meaning of the word "usually".
The other way to create a little leeway is to allow to be a tiny little bit bigger than
. Given any positive number
, the number
![]() |
is bigger than . For example, if
we get
![]() |
which is quite a lot bigger than If you take
to be really small, for example
then
![]() |
is only a tiny little bit bigger than
Applying this meaning of "usually" and combining it with the first meaning gives us the ABC conjecture in its full glory. Given any number positive , which can be as small as you like, there are only finitely many co-prime triples
,
and
with
that do not have
![]() |
The triples that do not comply depend on the value you choose for . There’ll be more such triples for a smaller
than there are for a larger one. But however small or large your
, if the conjecture is true, you can rest assured that only finitely many triples don’t comply.
The ABC conjecture might not be as easy to explain as Fermat’s last theorem, but a proof would be no less exciting. Many other important results in number theory would follow from it, including Fermat’s last theorem itself. It’s an exciting prospect — but it seems we need to wait for a little while longer to see it fulfilled.
Further reading
You can read a lovely, and more detailed, article about the ABC conjecture and its purported proof in Quanta Magazine.
Comments
Great explanation, thank you!
Great explanation, thank you!