Itâs the stuff of Hollywood. Somebody somewhere is surely selling the movie rights to whatâs become the biggest spat in maths: a misunderstood genius, a 500-page proof almost nobody can understand and a supporting cast squabbling over what it all means. At stake: nothing less than the future of pure mathematics.
In 2012, at Kyoto University in Japan produced a proof of a long-standing problem called the ABC conjecture. Six years later the jury is still out on whether itâs correct. But in a new twist, Peter Scholze at the University of Bonn â who was awarded the Fields Medal, the highest honour in maths, in August â and Jakob Stix at Goethe University Frankfurt â who is an expert in the type of maths used by Mochizuki â claim to have found an error at the heart of Mochizukiâs proof.
Roll credits? Not so fast. The pairsâ reputation means that their claim is a serious blow for Mochizuki. And a handful of other mathematicians claim to have lost the thread of the proof at the same point Scholze and Stix say there is an error. But there is still room for dispute.
Advertisement
a + b = c?
The ABC conjecture was first proposed in the 1980s and concerns a fundamental property of numbers, based around the simple equation a + b = c. For a long time, mathematicians believed that the conjecture was true but nobody had ever been able to prove it.
To tackle the problem, Mochizuki had to invent a fiendish type of maths called Inter-universal TeichmĂźller (IUT) theory. In an effort to understand IUT better, Scholze and Stix spent a week with Mochizuki in Tokyo in March. By the end of the week, they claim to have found an error.
The alleged flaw comes in Conjecture 3.12, which many see as the crux of the proof. This section involves measuring an equivalence between different mathematical objects. In effect, Scholze and Stix claim that Mochizuki changes the length of the measuring stick in the middle of the process.
No proof
âWe came to the conclusion that there is no proof,â they write in , which was posted online on 20 September.
But Ivan Fesenko at the University of Nottingham, UK, who says he is one of only 15 people around the world who actually understand Mochizukiâs theory, thinks Scholze and Stix are jumping the gun. âThey spent much less time than all of us who have been studying this for many years,â says Fesenko.
Mochizuki has tried to help others understand his work, taking part in seminars and answering questions. Mochizuki was even the one who posted Scholze and Stixâs critical report. âWe have this paradoxical situation in which the victim has published the report of the villain,â says Fesenko with a laugh. âThis is an unprecedented event in mathematics.â
So is the proof wrong or just badly explained? Fesenko thinks that the six-year dispute exposes something rotten at the heart of pure mathematics. These days mathematicians work in very narrow niches, he says. âPeople just do not understand what the mathematician in the next office to you is doing.â
This means that mathematicians will increasingly have to accept othersâ proofs without actually understanding them â something Fesenko describes as a fundamental problem for the future development of mathematics.
This suggests the story of Mochizukiâs proof may forever lack a satisfactory ending â becoming a war between mathematicians that is doomed to spiral into infinity. âMy honest answer is that we will never have consensus about it,â says Fesenko.
