The biggest mystery in mathematics: Shinichi Mochizuki and the impenetrable proof

A Japanese mathematician claims to have solved one of the most important problems in his field. The trouble is, hardly anyone can work out whether he's right.

Davide Castelvecchi in Nature:

MochizukiSometime on the morning of 30 August 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.”

More here.