Intellectual Challenge: Did He or Didn’t He?
ABC Conjecture, Mathematics, Shinichi Mochizuki
Scientific American reports that a Japanese math genius, three years ago, quietly posted the proof to an important number theory conjecture. The problem is that his proof is so abstruse that nobody else can understand it.
Sometime on the morning of August 30 2012, Shinichi Mochizuki quietly posted four papers on his website.
The papers were hugeâ€”more than 500 pages in allâ€”packed densely with symbols, and the culmination of more than a decade of solitary work. They also had the potential to be an academic bombshell. In them, Mochizuki claimed to have solved the abc conjecture, a 27-year-old problem in number theory that no other mathematician had even come close to solving. If his proof was correct, it would be one of the most astounding achievements of mathematics this century and would completely revolutionize the study of equations with whole numbers.
Mochizuki, however, did not make a fuss about his proof. The respected mathematician, who works at Kyoto University’s Research Institute for Mathematical Sciences (RIMS) in Japan, did not even announce his work to peers around the world. He simply posted the papers, and waited for the world to find out.
Probably the first person to notice the papers was Akio Tamagawa, a colleague of Mochizuki’s at RIMS. He, like other researchers, knew that Mochizuki had been working on the conjecture for years and had been finalizing his work. That same day, Tamagawa e-mailed the news to one of his collaborators, number theorist Ivan Fesenko of the University of Nottingham, UK. Fesenko immediately downloaded the papers and started to read. But he soon became â€œbewilderedâ€, he says. â€œIt was impossible to understand them.â€
Fesenko e-mailed some top experts in Mochizuki’s field of arithmetic geometry, and word of the proof quickly spread. Within days, intense chatter began on mathematical blogs and online forums (see Nature). But for many researchers, early elation about the proof quickly turned to scepticism. Everyoneâ€”even those whose area of expertise was closest to Mochizuki’sâ€”was just as flummoxed by the papers as Fesenko had been. To complete the proof, Mochizuki had invented a new branch of his discipline, one that is astonishingly abstract even by the standards of pure maths. â€œLooking at it, you feel a bit like you might be reading a paper from the future, or from outer space,â€ number theorist Jordan Ellenberg, of the University of Wisconsinâ€“Madison, wrote on his blog a few days after the paper appeared.
Three years on, Mochizuki’s proof remains in mathematical limboâ€”neither debunked nor accepted by the wider community. Mochizuki has estimated that it would take an expert in arithmetic geometry some 500 hours to understand his work, and a maths graduate student about ten years. So far, only four mathematicians say that they have been able to read the entire proof.
Read the whole thing.
His papers (You want the Inter-universal Teichmuller Theory papers.)