Eine KI half am Wochenende, ein 87 Jahre altes Mathematikproblem zu widerlegen
Am Wochenende nutzten Mathematiker Anthropics Modell Fable 5, um ein Gegenbeispiel zur Jacobischen Vermutung zu finden, einer berühmten seit 1939 offenen Frage. Was wirklich geschah und warum „eine KI machte Mathematik“ nicht das bedeutet, was die Schlagzeilen nahelegen.
Am Wochenende fiel ein berühmtes Mathematikproblem, das seit 1939 Bestand gehabt hatte, und ein KI-Modell war dabei im Raum. Der Mathematiker Levent Alpoge verkündete, dass die Jacobische Vermutung falsch ist, und schrieb Anthropics Modell Fable 5 die Hauptarbeit zu, während er das Finale der Fußball-Weltmeisterschaft sah. Terence Tao, weithin als einer der größten lebenden Mathematiker angesehen, hat inzwischen eine Darstellung veröffentlicht, die das Ergebnis Schritt für Schritt erklärt. Interessant ist auch: Ein OpenAI-Forscher sagte, eine interne Version des Codex-Modells des Unternehmens habe im Wesentlichen dasselbe Gegenbeispiel eigenständig gefunden.
Eine kurze Übersetzung, denn der Fachjargon verdeckt eine einfache Idee. Eine „Vermutung“ ist eine Aussage, die Mathematiker für wahr halten, aber noch nicht bewiesen haben. Um sie zu „widerlegen“, braucht man keine große Theorie; ein einziges „Gegenbeispiel“ genügt, also einen konkreten Fall, in dem die Aussage scheitert. Genau das lieferte das Modell: ein bestimmtes Beispiel, das die Vermutung bricht. Entscheidend ist, dass menschliche Mathematiker es, sobald es vorlag, innerhalb eines Tages von Hand überprüfen konnten. Die KI verlangte von niemandem, ihr zu vertrauen. Sie lieferte eine Antwort, die für sich selbst steht oder fällt.
Dies ist nun die zweite Geschichte dieser Art innerhalb einer Woche. Mitte Juli soll ein anderes Modell ein seit Jahrzehnten bestehendes Statistikrätsel zu Fall gebracht haben. Ein Muster zeichnet sich ab, das man verstehen sollte, statt es hochzujubeln. Diese Modelle werden bei einer bestimmten Aufgabe wirklich gut: Sie durchsuchen einen riesigen Möglichkeitsraum nach einer cleveren Konstruktion, über die ein Mensch vielleicht Jahre lang stolpern würde. Das ist nicht dasselbe wie mathematisches „Verstehen“ und keine allgemeine Intelligenz. Es ist ein leistungsstarkes Suchwerkzeug für Probleme, bei denen sich jeder vorgeschlagene Lösungsansatz günstig überprüfen lässt.
Was das für dich bedeutet: Wenn du kein Mathematiker bist, ist die praktische Wirkung heute ungefähr null, und das ist ehrlich, nicht abwertend. Die Form des Erfolgs zählt aber. Die vertrauenswürdigste Nutzung von KI bei schwierigen Problemen sieht genau so aus: Das Modell schlägt vor, Menschen oder ein Computer überprüfen. Wenn die Antwort geprüft werden kann, spielt es keine Rolle, dass das Modell gelegentlich Dinge erfindet, denn ein falsches Gegenbeispiel besteht die Prüfung einfach nicht. Dieses Prinzip, KI zum Generieren einsetzen und einen günstigen Prüfweg behalten, lässt sich in viel gewöhnlichere Situationen übertragen, von Code mit Tests bis zu einer Behauptung, die du nachschlagen kannst. Eine faire Einschränkung: „KI knackte ein Mathematikproblem“ ist die bessere Schlagzeile als „KI schlug einen Kandidaten vor, den ein menschlicher Experte prüfte“, aber die zweite Version ist die genaue.
Quellen
Quellen: https://thenextweb.com/news/jacobian-conjecture-disproved-ai-fable-5
Anthropic sagt, es habe mit seiner eigenen KI in zwei Wochen eine Million Codezeilen umgeschrieben
Anthropic zeigt, wie seine Ingenieure Claude Code nutzten, um riesige Codebasen in Wochen statt Jahren zwischen Programmiersprachen zu übertragen. Beeindruckend, wirklich nützlich und ein guter Einblick darin, wofür KI beim Programmieren tatsächlich taugt.
