KI knackt 87 Jahre altes Mathe-Problem an einem Abend – das Rezept funktioniert auch in Ihrem Unternehmen

In der Nacht vom 19. auf den 20. Juli 2026 – während die Welt auf das WM-Final schaute – veröffentlichte der Mathematiker und Anthropic-Forscher Levent Alpoge einen unscheinbaren Post auf X: Die Jacobi-Vermutung sei falsch. Ein befreundeter Mathematiker habe ihm die Frage gestellt, und Claude Fable 5 habe «während des WM-Finals» das Gegenbeispiel geliefert. Das Problem war seit 1939 offen. Einige der besten Mathematikerinnen und Mathematiker der Welt haben sich 87 Jahre lang daran versucht – mehrere veröffentlichte Beweise stellten sich später als fehlerhaft heraus.

Der Post hat inzwischen über zehn Millionen Aufrufe. Und das Bemerkenswerteste daran ist nicht, dass eine KI ein berühmtes Problem geknackt hat – sondern wie.

Was ist die Jacobi-Vermutung?

Die Vermutung geht auf den Mathematiker Ott-Heinrich Keller zurück, der sie 1939 formulierte. Vereinfacht gesagt geht es um Abbildungen, die nur aus Polynomen bestehen – also aus den einfachsten Bausteinen der Algebra: Addieren, Multiplizieren, Potenzieren.

Zu jeder solchen Abbildung gehört eine Kennzahl, die sogenannte Jacobi-Determinante. Die Vermutung besagt: Wenn diese Kennzahl eine konstante Zahl ungleich null ist, dann muss die Abbildung umkehrbar sein – jeder Ausgabewert gehört zu genau einem Eingabewert, nichts wird «zusammengefaltet».

Das klingt harmlos, hat sich aber als eines der hartnäckigsten Probleme der Algebra erwiesen. Es steht auf Steven Smales berühmter Liste der mathematischen Probleme für das 21. Jahrhundert, und die Fachliteratur ist voll von gescheiterten Beweisversuchen – auch von renommierten Mathematikern.

Was Claude gefunden hat

Claude hat die Vermutung nicht bewiesen, sondern widerlegt – mit einem konkreten Gegenbeispiel. Es ist eine Abbildung von drei Variablen (x, y, z) auf drei Werte:

• Erste Komponente: (1+xy)³·z + y²·(1+xy)·(4+3xy)
• Zweite Komponente: y + 3x·(1+xy)²·z + 3x·y²·(4+3xy)
• Dritte Komponente: 2x − 3x²y − x³z

Diese Abbildung hat die konstante Jacobi-Determinante −2 – sie erfüllt also exakt die Voraussetzung der Vermutung. Und trotzdem ist sie nicht umkehrbar: Die drei verschiedenen Punkte (0, 0, −1/4), (1, −3/2, 13/2) und (−1, 3/2, 13/2) landen alle auf demselben Ausgabewert (−1/4, 0, 0). Drei Eingaben, eine Ausgabe – genau das, was laut Vermutung nicht passieren dürfte. Damit ist sie falsch.

Wir haben es selbst nachgerechnet

Das ist der Punkt, der diese Geschichte von den üblichen KI-Schlagzeilen unterscheidet: Man muss niemandem glauben. Das Gegenbeispiel ist eine öffentliche Formel, und die Prüfung besteht aus endlich vielen exakten Rechenschritten.

Wir haben es vor dem Schreiben dieses Artikels selbst getan – mit wenigen Zeilen Computeralgebra, in unter einer Minute:

• Jacobi-Determinante der Abbildung: −2, konstant. ✓
• (0, 0, −1/4) wird abgebildet auf (−1/4, 0, 0). ✓
• (1, −3/2, 13/2) wird abgebildet auf (−1/4, 0, 0). ✓
• (−1, 3/2, 13/2) wird abgebildet auf (−1/4, 0, 0). ✓

Vier Rechnungen, keine Interpretationsspielräume. Zur Einordnung: Eine formale Begutachtung durch Fachjournale steht noch aus, und die mathematische Community prüft das Resultat derzeit weltweit. Aber weil die Prüfung reine Arithmetik ist, kann sie jede und jeder selbst durchführen – das ist eine völlig andere Ausgangslage als bei einem hundertseitigen Beweis, den nur eine Handvoll Spezialisten versteht.

Die eigentliche Lektion: das Rezept

Alle reden heute darüber, wie intelligent KI geworden ist. Wir finden etwas anderes interessanter – wie dieses Ergebnis zustande kam:

• Ein Experte stellte eine klare, präzise Frage: kein vages «Löse die Mathematik», sondern ein scharf umrissenes Problem, gestellt von jemandem, der es tief versteht.
• Die Antwort liess sich überprüfen – nicht nur bewundern: Der Wert des Ergebnisses hängt nicht vom Vertrauen in die KI ab, sondern von einer Prüfung, die unabhängig funktioniert.
• Kein geheimes Laborexperiment: Claude Fable 5 ist dasselbe Modell, das jedes Unternehmen heute über Claude.ai oder die API nutzen kann.

Frage, Prüfbarkeit, Verfügbarkeit – das ist das ganze Rezept. Es funktioniert bei einem weltberühmten Mathematikproblem. Und es funktioniert bei Ihren Offerten, Berichten und Verträgen.

Was das für Ihr Unternehmen bedeutet

Die meisten Unternehmen haben kein Technologieproblem mit KI – sie haben ein Umsetzungsproblem. Die Werkzeuge sind bereit; die Fragen sind es oft nicht.

Übersetzt in den Geschäftsalltag heisst das Rezept:

• Scharfe Fragen statt vager Aufträge: «Prüfe diesen Vertrag auf Abweichungen von unseren Standardklauseln» schlägt «Schau dir den Vertrag mal an» – jedes Mal.
• Ergebnisse, die man verifizieren kann: Gute KI-Workflows liefern Antworten mit Quellenangabe, Rechenweg oder Prüfpfad – so, dass ein Mensch sie in Minuten kontrollieren kann, statt sie blind zu übernehmen.
• Expertise bleibt der Hebel: Das beste Modell nützt wenig ohne die Person, die weiss, welche Frage sich zu stellen lohnt. KI ersetzt Fachwissen nicht – sie multipliziert es.

Genau nach diesem Prinzip bauen wir KI-Lösungen für Unternehmen: präzise zugeschnittene Anwendungsfälle, überprüfbare Ergebnisse, messbarer Nutzen – statt KI als Selbstzweck.

Sie möchten wissen, welche scharfen Fragen sich in Ihren Prozessen stellen lassen? Vereinbaren Sie ein kostenloses Erstgespräch →

Weiterführende Artikel

• Claude Fable 5 ist da: Anthropics stärkstes KI-Modell
• Was ist Claude? Anthropics KI-Assistent einfach erklärt
• Warum 90 % der Unternehmen keinen ROI aus KI sehen

Quellen

• Levent Alpoge auf X – Original-Post mit dem Gegenbeispiel