In Kürze

  • 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?

Redaktionelle Einordnung: Die folgenden Schlussfolgerungen beziehen sich auf die genannten Quellen. Sie sind keine zusätzlichen Meldungen der Originalquelle.

  • 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.
  • Anthropic betreibt sein drittes europäisches Forschungsbüro in Zürich mit Fokus auf Grundlagenforschung an Spitzenmodellen; die Art von explorativem, mehrstufigem Schlussfolgern, die zum Auffinden des Gegenbeispiels führte, ist genau jene Fähigkeit, an der auch am Schweizer Standort geforscht wird.
  • Der Fall unterstreicht zugleich die Bedeutung der etablierten Schweizer Forschungskultur der unabhängigen Überprüfung: Weil ein Gegenbeispiel im Unterschied zu einem vollständigen Beweis von Fachleuten innert Minuten nachgerechnet werden kann, liess sich der KI-Fund rasch verifizieren – ein Modell für den verantwortungsvollen Umgang mit KI-gestützten Forschungsergebnissen, wie ihn auch Schweizer Hochschulen bei der Erarbeitung eigener Richtlinien zum KI-Einsatz in der Forschung anstreben.

Verwendete Quellen

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.

Quellenstatus: 1 verlinkte Quelle · 0 von 1 Originaldaten verifiziert. Prüfregeln ansehen

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.