Anfang Dezember letzten Jahres blickte die mathematische Welt nach Oxford, voll der Hoffnung, dass sich auf einer Tagung der Nebel um ein drei Jahre altes Geheimnis wenigstens ein bisschen lichten würde.

Es ging um die Arbeit von Shinichi Mochizuki, einem genialen Mathematiker an der Universität Kyoto in Japan. Der hatte im August 2012 vier lange Arbeiten online gestellt, welche die Fachwelt nicht ignorieren konnte. Denn mit seiner "inter-universal Teichmüller theory (IUT)" behauptete er, nichts weniger als die ABC-Vermutung bewiesen zu haben, eines der berühmtesten ungelösten Probleme der Zahlentheorie.

Schon wenige Tage nach der Veröffentlichung war klar, dass Mochizukis Werk die Gemeinschaft der Mathema­tiker vor eine praktisch beispiellose ­Herausforderung stellte. Man musste es ernst nehmen: Mochizuki hatte bereits etliche sehr schwere Probleme gelöst und dabei große Sorgfalt in Details unter Beweis gestellt. Aber seine IUT-Theorie, die er 20 Jahre lang im Alleingang ausgearbeitet hatte, war nahezu unlesbar. Vor den mehr als 500 Seiten, die in einem eigens erfundenen Formalismus geschrieben sind und zahlreiche neue Begriffe und Definitionen enthalten, strichen die meisten Mathematiker nach vergeblichem Bemühen die Segel. Zu allem Überfluss lehnte Mochizuki jede Einladung ab, außerhalb Japans über seine Arbeiten vorzutragen....