collatz/09-fehlversuche.md

9 · Die Kartierung der Fehlversuche

Die Vermutung ist offen — nicht, weil niemand es versucht hätte. Die bewiesenen Sätze halten. Trotzdem ist manches Werkzeug im Ernstfall gebrochen.

Stell dir einen Bergführer und sein Protokoll vor. In so ein Heft gehört nicht nur, was geht. Es gehört auch hinein, was nicht geht: der Hang, der sich als Absturz entpuppte, der Übergang, der nie erreichbar war. Nicht, um über die Gescheiterten zu lächeln — sondern damit die nächste Partie ihre Wochen nicht noch einmal verliert. So liest die Mathematik ihre gescheiterten Beweisversuche: als Kartierung des Geländes. Jeder seriöse Fehlversuch zeigt, welche Tür nicht aufgeht.

Man könnte dieses Kapitel einen Friedhof nennen. Das Bild wäre falsch: Friedhöfe sind Endstationen, ein Protokoll ist eine Karte — und in unbekanntem Gelände der wertvollste Besitz.

Die Lücke zwischen „fast alle“ und „alle“

Der häufigste Bruch liegt an der berühmtesten Stelle. Die erfolgreichste Methode des Feldes arbeitet mit Restklassen — Zahlen mit demselben Rest beim Teilen, etwa durch eine Zweierpotenz. Der Rest einer Startzahl legt die ersten Schritte ihrer Bahn fest. Schicht um Schicht gezählt ergibt das: Die Zahlen, die in k Schritten nie unter ihren Startwert fallen, haben eine Dichte — einen Anteil an der Zahlenreihe —, die gegen null fällt. Fast alle Zahlen sinken also irgendwann unter ihren Startwert (Terras 1976). Das Fachwort für die Schritte bis zu dieser ersten Absenkung ist Stoppzeit.

Der Fehlversuch beginnt mit einem kleinen Wort: also. Falls die Dichte der Ausnahmen gegen null fällt, sagt er, verschwinden sie schließlich ganz — und jede Zahl landet bei 1. Der Schluss klingt harmlos und ist es nicht. Dichte null heißt nicht leer. An jeder endlichen Tiefe bleiben Ausnahmen übrig: unendlich viele Klassen, dünn gestreut, aber da. Und nichts in der Rechnung hindert eine Ausnahme, für immer Ausnahme zu bleiben. Der Induktionsanfang fehlt schlicht. An keiner Tiefe ist die Behauptung „jetzt sind alle Klassen erledigt“ wahr — die Induktion kommt nie in Gang, sie hofft nur.

Das ist dieselbe Lücke, an der Kapitel 7 endet: Tao 2022 bewies für fast alle Bahnen fast beschränkte Werte — und trotzdem genügt eine einzige widerspenstige Zahl. Falls es Gegenbeispiele gibt, wohnen sie genau dort. Verblüffend: Dieselbe Maschine liefert die echten Dichte-Sätze des Feldes. Nur der letzte Schritt — von „dünn“ zu „leer“ — ist der Fehlschluss. Nach der großen Fachbibliografie des Feldes ist er das häufigste Muster unter den eingereichten „Beweisen“ (Lagarias 2003).

Heuristik ist kein Beweis

Zweiter Bruch: die Verwechslung von Heuristik und Beweis. Kapitel 3 hat die Heuristik gebaut: Behandelt man die geraden und ungeraden Schritte wie Münzwürfe, schrumpft eine typische Bahn um rund 0,866 pro Schritt. Die Modelle sagen voraus: kein zweiter Kreis, keine endlose Bahn. Beweisen tun sie nichts davon.

Der dokumentierte Fehlschluss (Lagarias 1985; Lagarias 2010) macht aus der Annahme stillschweigend einen Satz. Aber die Annahme ist der wunde Punkt: Dass Paritätsfolgen sich wie Münzwürfe verhalten, ist unbelegt. Festgelegt sind sie allemal — jede Bahn ist deterministisch. Wer sie wie Würfe behandelt, darf Erwartungen ordnen. Er darf nicht „praktisch unmöglich“ ausrechnen und es „unmöglich“ nennen. Die Fachliteratur führt sie als wiederkehrendes Muster — nebst Baker-Schranken mit vertauschten Vorzeichen.

Das Computerargument und seine Buchhaltung

Dritter Bruch: das Computerargument ohne Restklassenkontrolle. Rechnen gehört zum Feld — Kapitel 6 zeigt, wie weit. Aber ein Rechenargument ist nur so stark wie seine Buchhaltung. Das saubere Beispiel ist das Barina-Projekt: Es zertifiziert nicht einzelne Bahnen, sondern ganze Restklassen auf einmal, und es nutzt den Abstieg: Jede Zahl, deren Bahn unter ihren Startwert fällt, ist erledigt — die kleinere Zahl wurde schon geprüft (Barina 2025). So entstand die Verifikationsgrenze 2^71^ — Beobachtung, kein Beweis.

Das fehlerhafte Muster unterschlägt genau diese Kontrolle. Stichproben rechnen, ein Muster sehen, verallgemeinern, fertig. Aber die Zahlen halten sich nicht an Stichproben-Logik. Zweierpotenzen etwa schaffen es in exakt so vielen Schritten zur 1, wie ihr Exponent angibt — jedes „Muster“, das aus ein paar hundert Bahnen gelesen wird, scheitert an ihnen. Und aus „kein Gegenbeispiel gefunden“ folgt „kein Gegenbeispiel“ nie. Wer über alle Zahlen reden will, muss sagen können, welche Klassen er wirklich geprüft hat — und welche er nur gehofft hat.

Fallstudie: Opfer 2011

Dann die Fallstudie. Ein echter Fachmann, ein echter Ansatz, ein echtes Scheitern — sauber verzeichnet.

Gerhard Opfer, Fachmann für numerische Mathematik an der Universität Hamburg, veröffentlichte im Mai 2011 ein Preprint — ein Arbeitspapier, das noch nicht von Fachleuten begutachtet ist (Opfer 2011). Sein Ansatz hatte Substanz: Er kodierte Bahnen in einem Baum aus „Levels“ und kombinierte eine Kreis-Analyse mit einer Überdeckungs-Aussage. Der Beweis hing an einer einzigen Art von Behauptung: Eine bestimmte Knotenmenge des Baums solle alle geraden Zahlen ab 6 genau einmal enthalten.

Sie tat es nicht. Die Überdeckung war unvollständig — und mit ihr der Beweis. Innerhalb weniger Wochen lag die Bruchstelle offen: de Weger veröffentlichte eine technische Kritik, die das Versagen präzise dokumentierte (de Weger 2011). Und Opfer selbst fügte eine Anmerkung des Autors bei, in der er die Beweisbehauptung zurücknahm.

Das ist die ganze Geschichte — und sie ist ein Kompliment, kein Skandal. Ein seriöser Fachmann, echte Maschinerie, prüfbare Behauptungen: Alles lag offen. Deshalb konnte die Community in Wochen tun, was diese Disziplin am besten kann: sich selbst korrigieren. Anders als undurchsichtige „Beweise“, die jahrelang unbeachtet herumliegen, hat dieser Fehlversuch einen klaren Endpunkt — geprüft, widerlegt, eingetragen.

Ein ehrlicher Fehlversuch ist Teil der Mathematik; ein undurchsichtiger „Beweis“ ist es nicht.

Die Flut und der Kernel

Opfers Preprint hatte ein klares Ende — der Alltag nicht. Preprints, die die Vermutung für bewiesen erklären, erscheinen regelmäßig; im Februar 2025 etwa einer, der mit einem Fixpunktsatz argumentierte. Keiner davon wurde von der mathematischen Community akzeptiert (Stand 2026). Die Flut ändert am Stand nichts: unbewiesen bleibt unbewiesen.

Dann, am 25. Juli 2026, die Geschichte, die Kapitel 6 angekündigt hat. Eine KI-gestützte „Widerlegung“ der Vermutung erschien — typgeprüft in Lean. Lean ist ein formaler Beweisassistent: ein Programm, das mathematische Argumente Schluss für Schluss kontrolliert und nur akzeptiert, was streng geregelt ist. „Es type-checkt“ gilt als Gütesiegel.

War es hier nicht. Das Artefakt hatte zwei Schwachstellen in Leans Kern ausgenutzt — Stellen, an denen der Prüfer unrechtmäßige Schlüsse durchließ, geführt unter der Nummer 14576; sie betrafen sogenannte verschachtelte induktive Typen — ein Detail der Beweisformalisierung. Eine zweite Schwachstelle traf einen externen Prüfer. Beide waren binnen Stunden geschlossen (Lean-Kernel-Vorfall 2026).

Die richtige Lesart ist keine Skandal-Lesart. Erstens: Beweisassistenten bleiben der stärkste Riegel gegen Rechen-Fehlschlüsse. Ohne den Prüfer wäre die KI-„Widerlegung“ als überzeugende Prosa herumgegeistert; mit ihm lag ein Artefakt vor, das sich sauber zerlegen ließ. Zweitens: Der Prüfer selbst ist Forschungsgegenstand. Bei außergewöhnlichen Behauptungen ist „es type-checkt“ der Anfang einer Prüfung, nicht ihr Ende — sie verlangen unabhängige Nachprüfung.

Und die Vermutung? Sie steht wie vorher: unbewiesen. Ein kaputter Prüfer beweist nichts und widerlegt nichts.

Die soziale Seite

Wovon reden wir, wenn wir von „Flut“ reden? Von Menschen.

Den Vorgang hat Randall Munroe benannt. Sein Comic xkcd Nr. 356 zeigt, wie jemand an einer verlockenden Rechenaufgabe vorbei- und in sie hineinläuft — und für den Tag verloren ist. Der Titel prägte das Wort Nerd Sniping:

„There's a certain type of brain that's easily disabled. If you show it an interesting problem, it involuntarily drops everything else to work on it.“ — sinngemäß: „Es gibt eine bestimmte Art von Gehirn, das leicht lahmgelegt wird: Zeigt man ihm ein interessantes Problem, lässt es alles andere fallen und arbeitet daran.“

— xkcd Nr. 356 (Randall Munroe)

Collatz ist Weltklasse im Sniping. Ein Satz, den jedes Kind versteht; ein Zettel, ein Bleistift — und man ist mittendrin. Warum die Fachwelt hier mit Warnungen nicht spart, hat Kapitel 5 erzählt.

Die heutige Memekultur erzählt dieselbe Geschichte weiter, augenzwinkernd. Da sind die „Lösungen“, die per Mail bei Fachleuten landen — und die, so der Running Gag, meist genau an den Bruchstellen kippen, die dieses Kapitel kartiert hat. Da sind die ChatGPT-Anekdoten: Man fragt eine KI nach dem Beweis und bekommt einen glatten, selbstsicheren Text, der beim dritten Nachfragen wackelt und beim fünften klein beigibt. Ein einzelner Chat ist für dieses Buch nicht belegbar — das Genre ist die Pointe, nicht die Quelle. Und dann der Antiklimax-Witz, den die Community über sich selbst erzählt: Wäre die Vermutung morgen bewiesen — im Alltag änderte sich nichts. Kein Preis sinkt, kein Bus fährt pünktlicher. Ob die Pointe stimmt, ist eine andere Frage; Kapitel 13 stellt sie.

Sniping und Memekultur erklären die Flut — und warum die Mathematik ihre Karte der Fallen so penibel führt.

• Kartiert: Drei typische Bruchstellen. Die Lücke zwischen „fast alle“ und „alle“: Dichte null heißt nicht leer, der Induktionsanfang kommt nie (Terras 1976; Lagarias 2003). Die Heuristik-Beweis-Verwechslung: Erwartung ist kein Satz (Lagarias 1985, 2010). Das Computerargument ohne Restklassenkontrolle: Beobachtung ist kein Beweis.
• Fallstudie: Opfer 2011 — seriöser Ansatz, unvollständige Überdeckung, binnen Wochen widerlegt und zurückgenommen (Opfer 2011; de Weger 2011). Ein Modell von Selbstkorrektur.
• Warnung: Eine Flut nicht akzeptierter „Beweise“ (Stand 2026), und 2026 der Lean-Kernel-Vorfall: Selbst der Prüfer ist prüfbar — „es type-checkt“ ist der Anfang einer Prüfung, nicht ihr Ende.
• Offen: Die Collatz-Vermutung ist unbewiesen (Stand 2026). Das Protokoll wächst mit jedem ehrlichen Eintrag — und die nächste Partie hat eine bessere Karte.