In August 2012, a proof of the abc conjecture was proposed by Shinichi Mochizuki. However, the proof was based on a "Inter-universal Teichmüller theory" which Mochizuki himself pioneered. It was known from the beginning that it would take experts months to understand his work enough to be able to verify the proof. Are there any updates on the validity of this proof?



Have there been any updates on Mochizuki's proposed proof of the abc conjecture?
In January, Vesselin Dimitrov [posted to the arXiv](http://arxiv.org/abs/1601.03572) a preprint showing that Mochizuki's work, if correct, would be effective. While this doesn't validate Mochizuki's work it does do a few things:


1. It shows that people are understanding more of the proof.
2. It gives another avenue through which to check whether Mochizuki's work is invalid.
3. It makes Mochizuki's work that much more important.


