Die Jacobian-Vermutung, an der Zhang Yitang sieben Jahre lang hart gearbeitet hat, wurde über Nacht von Fable 5 widerlegt

An diesem Tag wurde die gesamte Mathematikergemeinde erschüttert.

Ein überragendes mathematisches Rätsel, das unzählige Spitzenmathematiker scheitern ließ und den chinesischen mathematischen Genie Yitang Zhang sieben Jahre lang quälte – bis er gezwungen war, in einem Subway-Restaurant Geschirr zu spülen – die Jacobi-Vermutung, wurde von Fable 5 widerlegt!

Gestern Abend veröffentlichte der Anthropic-Forscher Levent Alpoge einen Tweet:

Hallo zusammen, die Jacobi-Vermutung ist falsch. Vielen Dank an meinen guten Freund Akhil, der diese Frage gestellt hat, und auch an meinen anderen guten Freund Fable, der während des WM-Finales weitergearbeitet hat.

Unter dem Text befindet sich eine einfache mathematische Formel.

Ein 87 Jahre altes zentrales mathematisches Rätsel wurde an einem Sonntagabend von Fable 5 mühelos gelöst.

Die Jacobi-Vermutung ist äußerst schwierig. Vielleicht hätte die Menschheit noch hundert Jahre gebraucht, um sie zu lösen. Dein Versuch verdient Respekt, und vielleicht werden dich die Götter des Olymps eines Tages begünstigen.

Die Widerlegung der Jacobi-Vermutung könnte nur der erste Dominostein sein, der fällt – mehrere Vermutungen könnten bald widerlegt werden.

Wie der Mathematiker Jared Duker Lichtman ausrief: „Dies ist eine der inspirierendsten Geschichten der modernen Mathematik.“

Jemand sagte: Ich habe selten gesehen, dass die Wissenschafts-Community auf X so in einen Zustand wilder Aufregung und enormer Schock versetzt wurde.

Dahinter verbirgt sich jedoch das sieben Jahre, das Yitang Zhang gestohlen wurde.

Was ist die Jacobi-Vermutung? Eine Falle, die „selbstverständlich“ erscheint

Lassen Sie uns die Zeit zurück ins Jahr 1939 drehen. In diesem Jahr stellte der deutsche Mathematiker Ott-Heinrich Keller eine Frage:

Wenn die Jacobi-Determinante einer polynomialen Abbildung eine nicht-negative Konstante ist, muss diese Abbildung dann unbedingt eine polynomiale Umkehrabbildung haben?

Tatsächlich ist die Intuition hinter dieser Frage sehr einfach – in der Analysis sagt uns der Satz über die Umkehrfunktion, dass die Funktion in der Umgebung eines Punktes eine lokale Umkehrfunktion hat, wenn die Jacobi-Determinante der Funktion an diesem Punkt nicht Null ist.

Die Jacobi-Vermutung fragt: Wenn diese Bedingung überall erfüllt ist und die Funktion eine polynomiale Abbildung ist, muss die Umkehrabbildung dann auch polynomial sein?

Dies ist ein typisches Problem „vom Lokalen zum Globalen“, das selbstverständlich erfüllt zu sein scheint, aber die klügsten Köpfe der Welt ganze 87 Jahre lang verwirrt hat.

Die zweidimensionale Version wurde bereits 1884 vorgeschlagen, zusammen mit einem Beweis, der später als fehlerhaft erkannt wurde.

Ein müheloser Schlag: Die KI liefert ein göttliches Gegenbeispiel

Dieses Problem scheint einfach zu sein, ist aber ein wahrer mathematischer Schwarzes Loch. Unzählige Mathematiker veröffentlichten zahlreiche Arbeiten, die behaupteten, die Vermutung bewiesen zu haben – aber ausnahmslos stellte sich heraus, dass ihre Logik Fehler enthielt.

Bis zu diesem Wochenende tauchte Claude Fable 5 auf.

Es folgte nicht der menschliche Denkpfad, die Vermutung zu beweisen, sondern warf direkt im dreidimensionalen Raum

ein Gegenbeispiel auf:

Diese scheinbar komplexe polynomiale Abbildung, die von C³ auf C³ abbildet, hat eine Jacobi-Determinante, die ständig gleich -2 ist – eine nicht-negative Konstante, die die Voraussetzungen der Vermutung erfüllt.

Zusammenfassend ist dieses Gegenbeispiel so präzise und elegant, dass es erschreckend ist. Jeder Erstsemester-Student, der die Universitätsanalysis belegt hat, kann durch Berechnung der partiellen Ableitungen nachweisen, dass die Jacobi-Determinante dieses dreistufigen Polynoms ständig gleich -2 ist.

Wenn die Voraussetzungen der Vermutung erfüllt sind – ist sie dann umkehrbar?

Fable 5 weist klar und deutlich auf ihre Nicht-Injektivität hin: Diese Funktion bildet drei völlig unterschiedliche Punkte im Raum: (0, 0, -1/4), (1, -3/2, 13/2) und (-1, 3/2, 13/2) alle auf denselben Bildpunkt ab: (-1/4, 0, 0).

Da drei verschiedene Punkte auf dasselbe Ergebnis verweisen, kann sie natürlich keine Umkehrfunktion haben.

Auf diese Weise wurde die Jacobi-Vermutung im allgemeinen Sinne vollständig widerlegt.

Eine 87 Jahre alte Vermutung wurde von der KI „mühelos“ geknackt.

In den sozialen Medien beeilten sich erschütterte Mathematikprofessoren und Doktoranden, dieses Gegenbeispiel zu überprüfen.

Jemand überprüfte es schnell mit Wolfram Alpha und stellte fest, dass das Ergebnis vollständig korrekt ist.

Aber das Besondere an diesem Gegenbeispiel ist genau, dass es selbstbeweisend ist: Es ist so einfach, dass man es von Hand nachrechnen kann, und seine Eleganz und Präzision sind bewunderungswürdig.

Jason Lee, außerordentlicher Professor für Informatik/Statistik an der UC Berkeley und ehemaliger Forschungswissenschaftler bei Google DeepMind, rief aus: „Die Mathematik ist gelöst.“ (Math is solved.)

Kurz darauf analysierte GPT-5.6 dieses Ergebnis schnell und stellte eine völlig neue, korrigierte Vermutung auf: „Eine lokale biholomorphe Abbildung eines konstanten Jacobi-Polynoms ist eine Automorphie, wenn sie keinen Blattverlust im Unendlichen aufweist.“

Aaron Lou von OpenAI leitete mit dem internen Codex (ohne Websuche) von Grund auf ein im Wesentlichen identisches Gegenbeispiel ab, schrieb die vollständige Strategie und den Beweis nieder und lieferte reproduzierbare mathematische Ableitungen (von der dreistufigen Faktorisierung bis zur affinen Koordinatentransformation).

Sie fand nicht nur den strukturellen Mechanismus hinter dem Gegenbeispiel, sondern leitet auch die Menschen an, wie sie dieses Problem neu definieren können.

Dies beweist, dass die KI echte mathematische Kreativität besitzt, nicht nur oberflächliche Nachahmung.

Der Mathematiker Lichtman rief aus, dass er hofft, zu sehen, wie die führenden Algebraiker auf die neue Vermutung reagieren, die GPT vorgeschlagen hat.

Der vollständige Ableitungsprozess lautet wie folgt:

https://aaronlou.com/jacobian_counterexample_derivation.pdf

Der Datenwissenschaftler Cal Aldred hat sogar mit Fable + GPT 5.6 Sol eine Methode vorgeschlagen, um unendlich viele Gegenbeispiele zu erzeugen!

Yitang Zhangs sieben gestohlene Jahre

Aber der bewegendste Teil dieser Geschichte hängt mit Yitang Zhang zusammen.

Jeder erinnert sich an die Geschichte dieses mathematischen Genies, das in einem Subway-Restaurant arbeitete.

Yitang Zhang erlangte weltweiten Ruhm durch seine bahnbrechenden Beiträge zur Vermutung über Primzahlzwillinge – aber davor waren seine Erfahrungen über Jahrzehnte hinweg eine Tragödie der akademischen Welt.

In den frühen 1990er Jahren studierte Yitang Zhang an der Purdue University seinen Doktorgrad unter der Anleitung von Tzuong-Tsieng Moh. Moh war überzeugt von der Richtigkeit der Jacobi-Vermutung und ließ Yitang Zhang sie als Thema seiner Doktorarbeit wählen.

Moh gab Yitang Zhang ein „Lemma“ – eine mathematische Aussage, die für richtig gehalten wurde – als Grundlage für seine Forschung. Yitang Zhang vertiefte sich in diese Richtung und behauptete in seiner Doktorarbeit sogar vorübergehend, die schwächere Form der Vermutung gelöst zu haben.

Doch das Schicksal spielte ihm einen grausamen Streich.

Nach der Überprüfung durch Fachkollegen stellte sich heraus, dass das entscheidende Lemma, das Yitang Zhang in seinem Beweis verwendet hatte, falsch war. Und dieses Lemma stammte genau aus den früheren wissenschaftlichen Veröffentlichungen von Moh selbst.

Das theoretische Gebäude, das er jahrelang aufgebaut hatte, stellte sich plötzlich als auf einem mangelha