Mochizuki's inter-universal Teichmüller proof has been published (Update)
After eight years of debate, Japanese mathematician Shinichi Mochizuki has found a publisher for his mammoth undertaking—the inter-universal Teichmüller theory (IUT). As part of the 600-page proof, Mochizuki claims that he has solved the abc conjecture. The proof appears in Publications of the Research Institute for Mathematical Sciences—Mochizuki is editor in chief there.