Wenn der Student die Experten schlägt
Hier ist etwas Verrücktes: Jahrzehntelang waren Mathematiker davon überzeugt, dass eine bestimmte Vermutung über das Umkehren mathematischer Funktionen wahrscheinlich stimmt. Sie konnten es nur nicht beweisen. Dann hat jemand eine KI darauf angesetzt, nach einem Gegenbeispiel zu suchen — und fand eines, das buchstäblich kurz genug ist, um in einen Tweet zu passen.
Ich weiß nicht, wie es dir geht, aber diese Geschichte fasziniert mich total.
Levent Alpöge, der bei Anthropic arbeitet (die Firma hinter der KI Claude), hat kürzlich auf X (ehemals Twitter) verkündet, dass er Claude Fable 5 benutzt hat, um ein Gegenbeispiel zur Jacobischen Vermutung zu finden. Und wenn ich "gefunden" sage, meine ich das wörtlich: Er hat buchstäblich bewiesen, dass die Vermutung falsch ist — zumindest für bestimmte Dimensionen.
Aber das ist nicht einfach nur eine weitere "KI macht coole Sachen"-Geschichte. Es gibt da etwas fast Poetisches an der ganzen Sache.
Was genau ist eigentlich die Jacobische Vermutung?
Lass mich versuchen, das verständlich zu erklären — denn ehrlich gesagt bringt mich die Wikipedia-Erklärung jedes Mal zum Schwitzen.
Stell dir eine Funktion vor, im Grunde eine Maschine, in die du Zahlen reinsteckst und andere Zahlen rauskommen, nach einer bestimmten Regel. Die Jacobische Vermutung dreht sich nun um die Frage: Kannst du diese Maschine immer zurückdrehen? Gibt es immer eine andere Funktion, die rückgängig macht, was die erste getan hat?
Nimm es wie einen Wegweiser: Wenn deine Funktion Punkte im Raum herumschiebt, sagt die Vermutung, dass du — solange die Funktion den Raum nicht auf eine bestimmte Art und Weise zusammenklappt oder staucht (Mathematiker messen das mit dem sogenannten "Jakobi-Determinante") — immer eine Umkehrfunktion finden können müsstest, die alles wieder an seinen Platz zurückbringt.
Klingt logisch, oder?
Das Problem war nur: Niemand konnte jemals beweisen, dass das immer stimmt. Und jetzt, dank etwas Hilfe von KI, wissen wir, dass es in bestimmten Fällen tatsächlich falsch ist.
Die Wendung: Einfacher als jeder gedacht hat
Hier wird es richtig spannend: Das Gegenbeispiel, das Alpöge gefunden hat, ist winzig. Peinlich winzig. Es passt in einen einzigen Social-Media-Beitrag.
Das Schwierige daran, ein Gegenbeispiel zu dieser Vermutung zu finden, ist nämlich: Du musst eine sehr spezielle Art von Funktion konstruieren — eine, die den Raum weder zusammenklappt noch umgekehrt werden kann. Klingt widersprüchlich, aber irgendwie funktioniert das in gewissen Dimensionen trotzdem.
Und hier kommt der Clou: Experten hatten gedacht, solche Beispiele existieren vielleicht gar nicht, oder wären unglaublich kompliziert. Stattdessen hat Claude etwas gefunden, das so kurz und elegant ist, dass — wie ein Math-Stack-Exchange-Nutzer vor Jahren mal schrieb — "ein cleverer Student einfach eine Formel hinschreiben" könnte, die das ganze Ding zum Einsturz bringt.
Naja, und jetzt stellt sich raus: Der Nutzer hatte recht. Die Formel ist so kurz, dass andere Mathematiker sie praktisch sofort verifiziert haben, nachdem Alpöge sie geteilt hatte.
Warum sollte dich das interessieren?
Ich kann hören, was du denkst: "Super, irgendeine Mathe-Sache, die wahrscheinlich nichts mit meinem Leben zu tun hat. Warum sollte mich das interessieren?"
Fairer Punkt. Hier meine Sicht: Die Geschichte geht eigentlich gar nicht um die Mathematik. Es geht darum, was sie repräsentiert.
Wir leben in einer Zeit, in der KI zu einem echten Partner für menschliche Kreativität und Entdeckung wird — nicht nur ein Werkzeug für enge Aufgaben, sondern etwas, das uns wirklich hilft, anders zu denken. Dass ein KI-Modell, das gerade mal ein paar Wochen alt war, ein Problem knacken konnte, das fast 90 Jahre alt ist? Das ist bemerkenswert.
Das passt auch in ein Muster, das wir immer öfter sehen: KI leistet echte Beiträge in Bereichen, die man für immun gegen Automatisierung hielt. Mathematiker, Physiker, Programmierer — das waren keine Berufe, von denen jemand erwartet hätte, dass sie von KI "aufgewirbelt" werden. Aber hier sind wir.
Die ursprüngliche Version der Vermutung für zwei Dimensionen (von 1884!) ist übrigens immer noch nicht gelöst. Also gibt es noch genug zu tun. Aber für drei Dimensionen und höher? Erledigt.
Das große Bild
Was mich am meisten fasziniert, ist, was das über Intuition in der Mathematik aussagt. Jahrzehntelang waren Experten überzeugt, dass die Jacobische Vermutung wahrscheinlich stimmt. Sie haben Karrieren auf diesem Glauben aufgebaut. Und jetzt hat eine schnelle Suche einer KI gezeigt, dass diese Intuition falsch war — zumindest für höhere Dimensionen.
Da steckt eine Lektion drin: Selbst brillante Menschen können etwas Offensichtliches übersehen, wenn sie in die falsche Richtung gucken. Vielleicht braucht man manchmal einfach einen frischen Blick — oder ein frisches neuronales Netz — das einem zeigt, was direkt vor aller Nase liegt.
Was auch immer du von KI hältst — ich denke, wir können uns alle einig sein: Es sind seltsame und aufregende Zeiten, um zu leben.
Quelle: ScienceDaily