deSignale

Im LANA-Projekt sollte ursprünglich maschinell die Arbeit von Mochizuki überprüft werden, doch die Arbeit bei der maschinellen Übersetzung des Formalismus steckt ausgerechnet am Korollar 3.12 fest. Genau da, wo Scholze und Stix den Fehler vermuten.

Doch seit kurzem gibt es ja eine Korrektur durch einen anderen Mathematiker und man wundert sich, warum das LANA-Projekt nicht einfach mit dieser Korrektur im Formalismus weiter macht. Dazu ein Video: