## Relevant offers

You can't always solve a mathematical problem by reducing it to something you've already solved. Sometimes, you need to invent an entirely new field of mathematics.

Last month, Shinichi Mochizuki of Kyoto University in Japan announced that a new field he's been developing for several years - which he calls Inter-universal Teichmüller theory - has proved a famous conjecture in number theory known as the "abc conjecture".

But the abc conjecture is only the beginning: If Mochizuki's theory proves correct, it will settle a raft of open problems in number theory and other branches of math.

The conjecture grows out of a seemingly trivial equation: a + b = c.

Unlike the equation a^{2} + b^{2} = c^{2}, which requires some algebraic finesse to produce solutions (not to mention its famously unsolvable cousin a^{n} + b^{n} = c^{n} with exponent n greater than two), the equation a + b = c essentially solves itself: Just pick two numbers a and b, add them together, and voila.

But when you bring in prime numbers, things get interesting.

In the mid 1980s, mathematicians David Masser of the University of Basel in Switzerland and Joseph Oesterle of Pierre and Marie Curie University in Paris observed that when a and b are divisible by small primes raised to large powers - numbers such as a = 210 and b = 34 - their sum c tends to factor into large primes to small powers. (In this example, 1024 + 81 = 1105 = 5 x 13 x 17)

The abc conjecture describes this connection in precise mathematical language, highlighting how the underlying "tension" between the operations of addition and multiplication produce such lopsided equations: many small primes on one side, a few relatively large primes on the other.

The excitement over Mochizuki's potential proof is comparable to the frisson that greeted the announcement by Grigory Perelman in 2002 that he had proved the Poincare conjecture, and by Andrew Wiles in 1993 that he had proved Fermat's Last Theorem.

But those proofs, although extremely complicated, were based on techniques that were broadly familiar to experts in the field.

As a result, researchers could "helicopter in" on portions of the proofs to check their correctness.

Mochizuki, in contrast, has developed an entirely new theory - which will make it tougher for other mathematicians to scrutinize.

"As with Perelman or Wiles, this is a first-class mathematician with a very strong reputation in the subject, who has been working on this important problem for many years, so the claim is certainly being taken very seriously," writes mathematician Terence Tao of the University of California, Los Angeles, in an email.

"But it is likely to take quite some time to evaluate the work properly, more so than with either Perelman or Wiles."

Mochizuki's proof, Tao said, was built on decades of work in an extremely difficult area of mathematics known as anabelian geometry, which very few people in the world are actively working on.

Launched in the 1980s, anabelian geometry seeks to ground mathematics in certain fundamental concepts - even more fundamental than the set theory mathematicians explored for that purpose in the 19th and 20th centuries.

Mochizuki's Inter-universal Teichmüller theory is his own take on this reconceptualisation.

Given that his description of the theory - the last installment of which came out in August - spans four dense papers totaling about 500 pages, it will probably take other mathematicians months of study to understand the theory, let alone evaluate it or think about what other mathematical problems it might lay to rest.

"His work probes the very core of mathematical language, such as what we might really mean by a number or a geometric figure, and how they might be interpreted in a manner quite different from usual conventions," writes Minhyong Kim of the University of Oxford in the United Kingdom in an email.

Kim, who is one of the world's few experts in anabelian geometry, admits even he has his work cut out for him in mastering Mochizuki's new techniques.

"There is no one but the author who is familiar with all these things," he writes.

"I can't even give an expert summary of the proof because I don't understand it."

**SCIENCE NOW**

## Sponsored links

Roger Hanson: The sand that makes all the difference

SpaceX delays launch to January after fireball grounding

Fresh mud slinging in archaeological stoush between developers and land-protecting crusaders

Missing whale song recorder washes up after floating 185km

10 faults known to have ruptured in Kaikoura quake, more likely

From Gallipoli to Bug Lab - Weta changing the museum world

Europe will send a rover to Mars but won't protect Earth from an asteroid

Trinity Roots' Warren Maxwell ventures to Antarctica for fresh sounds, inspriation

Nanogirl Michelle Dickinson showcases science in Christchurch to grow 'curiosity-driven' children

Brockie: Social media poisoning minds with shonky opinions

Earthquake-prone list not the be-all and end-all

Antarctic starfish may show climate change will produce winners and losers

Digging in and diving under the Antarctic ice with Kiwi Matt Windsor

Residents fight 'unacceptable' plan for affordable housing in Grenada Village

Quake dams, flooding still pose 'significant risk' to Kaikoura

Snakes and ladders with Bill English: Who climbs the Beehive's steps and who will take a tumble?

Fiery end to school trip after teacher's car goes up in flames

Head to head: Who will win the heavyweight title fight between Joseph Parker and Andy Ruiz?

Christen Me to start Auckland Cup campaign without Dexter Dunn

Businesses called upon to lobby government to build Penlink

Wellington Firebirds secure strong relationship with Melbourne Stars after Basin Blast

Family left with just the clothes on their backs after fire destroys home

New law could make almost all rugby and netball games free-to-air

No respite for Black Caps as fearsome Aussie pace trio to charge in again

The sod has been turned to kick off the construction of the Puhoi to Warkworth motorway

Headache for top doubles players at NZ Tennis Champs

Cheerleading, Muay Thai on the way to becoming Olympic sports

Live: Prime Minister John Key has resigned. What happens next?

The mother of an Invercargill man tells why she thinks Prince is her son's father

Paul Henry v Gareth Morgan: The 'tax loophole cowboy' and the 'wowsery socialist'

No survivors likely in crash of Pakistani plane carrying about 40 people

Would you want to live next door to a nudist colony? 5 things this couple learned

Morning trivia quiz: December 8

Gareth Morgan's divisive policy to tackle inequality

The most outrageous dresses of 2016

Wellington inventor's Quake Desk survives falling BMW test where standard wooden desk failed

'Powerful ... arresting' film about depression made by 12-year-old Waimate girl

What will be the main motivation for humanity's future space endeavours?

Related story: (See story)