Kurzfassung
Der Mathematiker Levent Alpöge hat mithilfe des KI-Modells Claude Fable 5 ein Gegenbeispiel zur Jacobi-Vermutung gefunden – einer seit 1939 offenen Frage der Algebra – und damit gezeigt, dass die Vermutung für drei und mehr Dimensionen falsch ist; für den zweidimensionalen Fall bleibt sie weiterhin ungelöst.
- Der Mathematiker Levent Alpöge hat mithilfe des KI-Modells Claude Fable 5 ein Gegenbeispiel zur Jacobi-Vermutung gefunden – einer seit 1939 offenen Frage der Algebra – und damit gezeigt, dass die Vermutung für drei und mehr Dimensionen falsch ist; für den zweidimensionalen Fall bleibt sie weiterhin ungelöst.
- Das Gegenbeispiel besteht aus einer polynomialen Abbildung mit konstanter Jacobi-Determinante von minus zwei, die dennoch mehrere unterschiedliche Eingabepunkte auf denselben Ausgabepunkt abbildet – ein Widerspruch zur Umkehrbarkeit, die die Vermutung postulierte.
- Die Entdeckung wurde nicht zuerst in einer Fachzeitschrift, sondern als kurzer Beitrag auf der Plattform X veröffentlicht und innerhalb weniger Stunden von Mathematikerinnen und Mathematikern weltweit unabhängig nachgerechnet und bestätigt; der Fields-Medaillist Timothy Gowers bezeichnete es als das erste Mal, dass ein Sprachmodell ein ihm bekanntes, anerkanntes Problem ausserhalb seines eigenen Fachgebiets gelöst habe.
Was ist passiert?
Der Mathematiker Levent Alpöge hat mithilfe des Sprachmodells Claude Fable 5 von Anthropic ein Gegenbeispiel zur sogenannten Jacobi-Vermutung gefunden, einer seit 1939 offenen Frage der Algebra. Die Vermutung besagte, dass eine bestimmte Klasse polynomialer Abbildungen mit konstanter, von null verschiedener Jacobi-Determinante stets umkehrbar sein müsse. Mit Unterstützung von Claude Fable 5 identifizierte Alpöge eine dreidimensionale polynomiale Abbildung mit einer konstanten Jacobi-Determinante von minus zwei, die dennoch mehrere unterschiedliche Eingabepunkte auf denselben Ausgabepunkt abbildet – ein direkter Widerspruch zur postulierten Umkehrbarkeit. Damit ist gezeigt, dass die Vermutung für drei und mehr Dimensionen falsch ist; der ursprüngliche, zweidimensionale Fall der Vermutung bleibt weiterhin offen.
Bemerkenswert ist der Publikationsweg: Die Entdeckung wurde zunächst nicht als Fachartikel eingereicht, sondern in einem kurzen Beitrag auf der Plattform X veröffentlicht. Innerhalb weniger Stunden überprüften Mathematikerinnen und Mathematiker weltweit das Gegenbeispiel unabhängig voneinander, unter anderem mit Rechenwerkzeugen wie Wolfram Alpha, und bestätigten dessen Richtigkeit. Der britische Fields-Medaillist Timothy Gowers bezeichnete den Fund als das erste Mal, dass ein Sprachmodell ein ihm bekanntes, in der Fachwelt anerkanntes Problem ausserhalb seines eigenen engeren Forschungsgebiets gelöst habe.
Warum ist das wichtig?
Die Rolle der KI bei dieser Entdeckung war die gezielte Suche nach einem passenden Gegenbeispiel, nicht der formale Beweis eines Satzes. Genau das macht den Fall auch methodisch interessant: Ein Gegenbeispiel ist ein Zertifikat, das jede Fachperson in kurzer Zeit selbst nachrechnen und damit bestätigen oder widerlegen kann. Diese schnelle, unabhängige Überprüfbarkeit unterscheidet den Fall von komplexeren KI-gestützten Beweisversuchen, bei denen die Kontrolle deutlich aufwendiger ist, und dürfte mit ein Grund dafür sein, weshalb die Fachwelt die Entdeckung so rasch anerkannte.
Für die Mathematik insgesamt zeigt der Fall exemplarisch, wie KI-Modelle bei der Exploration grosser Lösungsräume – etwa beim systematischen Durchprobieren möglicher Gegenbeispiele – Aufgaben übernehmen können, die für Menschen allein sehr zeitaufwendig wären. Gleichzeitig mahnen Fachleute wie Gowers zur Vorsicht vor Übertreibung: Es handelt sich um ein einzelnes, wenn auch bedeutsames Gegenbeispiel und nicht um den vielzitierten Anfang vom «Ende der Mathematik», wie es in einigen Schlagzeilen anklang.
Was bedeutet das für die Schweiz?
Die Schweiz gehört gemäss aktuellen internationalen Rankings zu den weltweit führenden Standorten für Informatik- und KI-Forschung: ETH Zürich und EPFL figurieren beide unter den 15 besten Universitäten weltweit in Informatik und verwandten Fächern, und das Land weist die höchste Dichte an KI-Forschenden gemessen an der Bevölkerung auf. Der Fall Jacobi-Vermutung liefert Schweizer Mathematik- und Informatikinstituten ein konkretes Beispiel dafür, wie sich Sprachmodelle künftig nicht nur als Schreib- oder Rechercheunterstützung, sondern als aktive Mitforschende bei offenen mathematischen Problemen einsetzen liessen – ein Ansatz, den etwa das neu gegründete Swiss National AI Institute von ETH Zürich und EPFL im Auge behalten dürfte.
Auch Anthropic selbst ist über sein Zürcher Forschungsbüro am Bahnhofplatz 1 in diese Entwicklung eingebunden, da dort unter anderem an den Grundlagen für Modelle wie Claude Fable geforscht wird. Für Schweizer Hochschulen ist der Fall zudem ein praktisches Beispiel für verantwortungsvollen Umgang mit KI-gestützter Forschung: Weil sich das Gegenbeispiel rasch und unabhängig nachrechnen liess, konnte die Fachwelt den Fund zügig einordnen – ein Massstab an rascher, unabhängiger Überprüfbarkeit, den Schweizer Institutionen bei der Erarbeitung eigener Richtlinien für den Einsatz von KI in der Forschung ebenfalls anstreben.
Häufige Fragen
Was ist die Kernaussage zu KI widerlegt 87 Jahre alte Jacobi-Vermutung: Mathematiker nutzt Claude Fable 5 für Gegenbeispiel?
Der Mathematiker Levent Alpöge hat mithilfe des KI-Modells Claude Fable 5 ein Gegenbeispiel zur Jacobi-Vermutung gefunden – einer seit 1939 offenen Frage der Algebra – und damit gezeigt, dass die Vermutung für drei und mehr Dimensionen falsch ist; für den zweidimensionalen Fall bleibt sie weiterhin ungelöst.
Warum ist diese KI-Meldung für die Schweiz relevant?
Die Schweiz zählt gemäss internationalen Rankings zu den weltweit führenden Standorten für KI- und Mathematikforschung; ETH Zürich und EPFL gehören zu den Top-15-Universitäten weltweit in Informatik und angewandter Mathematik – der Fall zeigt konkret, wie Forschende auch an Schweizer Hochschulen KI-Modelle künftig nicht nur als Schreibwerkzeug, sondern als aktive Mitforschende bei offenen mathematischen Problemen einsetzen könnten.
Welche Quelle nutzt KI News Schweiz für diese Einordnung?
ad-hoc-news.de berichtete am 21. Juli 2026 über die Widerlegung der Jacobi-Vermutung mithilfe von Claude Fable 5; The Conversation und Spektrum der Wissenschaft ordnen die Reaktionen aus der internationalen Mathematik-Community zusätzlich ein.