Lean bestätigt Lücke in Mochizukis ABC-Beweis

Gap in Mochizuki's proof of ABC confirmed by Lean

Nach zweijähriger Arbeit hat das LANA-Projekt unter der Leitung von Fumiharu Kato am ZEN Mathematics Center (ZMC) eine kritische Analyse des IUT-Beweises der ABC-Vermutung vorgelegt. Das Team kommt zu dem Schluss, dass der Übergang von Theorem 3.11 zu Korollar 3.12 in den IUT-Papieren nicht formalisierbar ist, wie es dort geschrieben steht. Da sich Mochizukis Erklärungen zu diesem Punkt jedoch weiterentwickeln, enthält sich das Team eines endgültigen Urteils. Der Bericht bietet eine zugängliche Analyse für die mathematische Öffentlichkeit und vergleicht die Argumentation mit dem Scholze-Stix-Bericht von 2018.