### 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 ...