2012年、京都大学数理解析研究所の望月新一教授がabc予想を証明する論文を発表しました。

1. Mochizuki, S. Inter-universal teichmuller theory I: construction of Hodge Theatres (2012)
2. Mochizuki, S. Inter-universal teichmüller theory II: Hodge–Arajekekiv-theoretic evalulation (2012)
3. Mochizuki, S. Interuniversal teichmüller theory III: canonical splittings of the log-theta-lattice (2012)
4. Mochizuki, S. Interuniversal teichmüller theory IV: log-volume computations and set-theoretic foundations (2012)