2012年、京都大学数理解析研究所の望月新一教授がabc予想を証明する論文を発表しました。
- Mochizuki, S. Inter-universal teichmuller theory I: construction of Hodge Theatres (2012)
- Mochizuki, S. Inter-universal teichmüller theory II: Hodge–Arajekekiv-theoretic evalulation (2012)
- Mochizuki, S. Interuniversal teichmüller theory III: canonical splittings of the log-theta-lattice (2012)
- Mochizuki, S. Interuniversal teichmüller theory IV: log-volume computations and set-theoretic foundations (2012)