From Scientific American:
Some four dozen mathematicians converged last week for a rare opportunity to hear Mochizuki present his own work at a conference on his home turf, Kyoto University’s Research Institute for Mathematical Sciences (RIMS).
Mochizuki is “less isolated than he was before the process got started”, says Kiran Kedlaya, a number theorist at the University of California, San Diego. Although at first Mochizuki’s papers, which stretch over more than 500 pages, seemed like an impenetrable jungle of formulae, experts have slowly discerned a strategy in the proof that the papers describe, and have been able to zero in on particular passages that seem crucial, he says.
And Jeffrey Lagarias, a number theorist at the University of Michigan in Ann Arbor, says that he got far enough to see that Mochizuki’s work is worth the effort. “It has some revolutionary new ideas,” he says.
Still, Kedlaya says that the more he delves into the proof, the longer he thinks it will take to reach a consensus on whether it is correct. He used to think that the issue would be resolved perhaps by 2017. “Now I’m thinking at least three years from now.”
Others are even less optimistic. “The constructions are generally clear, and many of the arguments could be followed to some extent, but the overarching strategy remains totally elusive for me,” says mathematician Vesselin Dimitrov of Yale University in New Haven, Connecticut. “Add to this the heavy, unprecedentedly indigestible notation: these papers are unlike anything that has ever appeared in the mathematical literature.”
Mochizuki’s theorem aims to prove the important abc conjecture, which dates back to 1985 and relates to prime numbers — whole numbers that cannot be evenly divided by any smaller number except by 1. The conjecture comes in a number of different forms, but explains how the primes that divide two numbers, a and b, are related …