Ein anthropischer Mathematiker hat das firmeneigene große Sprachmodell genutzt, um eine mathematische Vermutung zu widerlegen, die sich 87 Jahre lang der Lösung widersetzte, und lieferte damit eines der bisher auffälligsten Beispiele dafür, wie künstliche Intelligenz die reine Mathematik vorantreibt.

Levent Alpöge, Mathematiker beim KI-Unternehmen Anthropic, gab bekannt, dass er ein Gegenbeispiel zur Jacobi-Vermutung gefunden habe, einem berühmten und seit langem bestehenden Problem der algebraischen Geometrie. Das Ergebnis erreichte er anhand des Claude Fable 5-Modells von Anthropic, das erst wenige Wochen zuvor der Öffentlichkeit zugänglich gemacht worden war. Die Entdeckung, über die erstmals von ScienceDaily und SciTechDaily berichtet wurde und die einem ursprünglich in The Conversation veröffentlichten Artikel entnommen ist, löste in der mathematischen Gemeinschaft große Aufregung aus. Für Leser, die die [neuesten KI-Entwicklungen] (https://aibuzzwire.news) verfolgen, unterstreicht das Ergebnis, wie schnell sich Grenzmodelle von einfachen Tricks zu wirklich produktiver wissenschaftlicher Arbeit entwickeln.

Eine Formel, die klein genug für einen einzelnen Beitrag ist

Was den Durchbruch so verblüffend macht, ist seine Kompaktheit. Laut SciTechDaily ist das Gegenbeispiel eine bemerkenswert einfache dreidimensionale Funktion – eine Formel, die kurz genug ist, um in einen einzelnen Beitrag auf

Diese Nuance ist wichtig. Das Ergebnis löst nicht das gesamte Problem, das seit dem 19. Jahrhundert besteht. Stattdessen offenbart es eine unerwartete Grenze: Die verallgemeinerte, höherdimensionale Version der Vermutung ist falsch, auch wenn der Fall, der den Mathematikern ursprünglich am meisten am Herzen lag, ungelöst bleibt.

Die Geschichte hinter dem Problem

Die Jacobi-Vermutung betrifft Polynomfunktionen – mathematische Maschinen, die Zahlen aufnehmen und neue Zahlen erzeugen, indem sie einer bestimmten Regel folgen. In dieser Einstellung können Zahlen Punkte in einem Raum darstellen, wie Koordinaten auf einer Karte. Eine Funktion nimmt diese Koordinaten und transformiert sie, wodurch die Punkte an andere Positionen verschoben werden. Mathematiker können untersuchen, wie reibungslos eine Funktion den Raum neu ordnet, indem sie ihre Jacobi-Determinante berechnen. Die Vermutung fragt im Wesentlichen: Wenn diese Determinante eine Konstante ungleich Null ist, hat die Funktion dann notwendigerweise eine Polynominverse?

Das Problem hat eine bewegte Geschichte. Es wurde erstmals 1884 vom tschechischen Mathematiker Ludwig Kraus formuliert und 1939 vom deutschen Mathematiker Ott-Heinrich Keller auf beliebige Dimensionen verallgemeinert. Es galt als so wichtig, dass Fields-Medaillengewinner Stephen Smale es 1998 in seine einflussreiche Liste der mathematischen Probleme des nächsten Jahrhunderts aufnahm.

Im Laufe ihres langen Bestehens hat die Vermutung viele angebliche Beweise hervorgebracht, darunter Versuche von Beniamino Segre und Wolfgang Gröbner, zwei berühmten Mathematikern des 20. Jahrhunderts. Keiner hat gehalten. Die Tatsache, dass jetzt ein Gegenbeispiel aufgetaucht ist – mithilfe eines Chatbot-Modells – zeigt, wie sich KI für die Entdeckung unerwarteter mathematischer Objekte ebenso nützlich erweist wie für die Erstellung von Beweisen.

Warum der höherdimensionale Fall scheiterte

Der Hauptunterschied besteht zwischen zwei und drei (oder mehr) Dimensionen. Die ursprüngliche zweidimensionale Jacobi-Vermutung, die Version, die algebraische Geometer seit Generationen beschäftigt, ist immer noch offen. Was Alpöge und Claude Fable 5 fanden, ist ein Gegenbeispiel in drei Dimensionen, was ausreicht, um die verallgemeinerte Vermutung, die Keller 1939 formulierte, zu widerlegen.

Das ist an sich schon ein bedeutungsvolles Ergebnis. Viele Forscher hatten vermutet, dass die Vermutung, wenn sie überhaupt wahr wäre, überall wahr sein würde. Ein klares Gegenbeispiel in der dritten Dimension engt den Raum der Möglichkeiten ein und stellt die verbleibende Frage neu: Sind zwei Dimensionen wirklich etwas Besonderes, oder lauert dort auch ein Gegenbeispiel?

Die Kürze des Gegenbeispiels ist an sich bemerkenswert. Fortune berichtete, dass Mathematiker mit einem „sehr schnellen und sehr beunruhigenden Wandel“ zu kämpfen haben, da KI-Tools jahrhundertealte Probleme nacheinander lösen. Eine winzige Formel zur Lösung eines Problems, die von einem Fields-Medaillengewinner befürwortet wird, ist genau die Art von Entwicklung, die dieses Unbehagen – und diese Aufregung – schürt.

Die wachsende Rolle der KI in der Mathematik

Mathematiker, die mit großen Sprachmodellen arbeiten, haben kürzlich mehrere bemerkenswerte Ergebnisse erzielt, und das Gegenbeispiel der Jacobi-Vermutung unterscheidet sich von vielen früheren Fortschritten. Anstatt sich durch eine Brute-Force-Suche zu kämpfen, hat die Zusammenarbeit zwischen Alpöge und Claude Fable 5 eine prägnante, von Menschen überprüfbare Antwort hervorgebracht – die Art von Ergebnis, das Mathematiker überprüfen und auf dem sie aufbauen können.

Die Entdeckung verdeutlicht auch ein umfassenderes Muster. Grenzmodelle sind zunehmend in der Lage, riesige kombinatorische Räume zu erkunden und Kandidatenobjekte vorzuschlagen, über die ein Mensch vielleicht nie stolpern würde. Wenn diese Kandidaten klein genug sind, um sie manuell zu überprüfen, wird die Kombination aus KI-Breite und menschlichem Urteilsvermögen wirksam.

Was es für die Zukunft bedeutet

Was dies für die Zukunft der Mathematik – und für menschliche Mathematiker – bedeutet, bleibt abzuwarten, wie SciTechDaily feststellte. Das Gegenbeispiel macht Mathematiker nicht überflüssig; Wenn überhaupt, verschärft es die offene Frage und gibt den Forschern ein präzises neues Ziel. Aber es unterstreicht, dass KI über die Zusammenfassung von Lehrbüchern hinaus in den Mittelpunkt kreativer mathematischer Arbeit vorgedrungen ist.

Das Ergebnis ist auch eine vielbeachtete Bestätigung für Anthropic. Claude Fable 5, das nur wenige Wochen vor der Entdeckung der Öffentlichkeit zugänglich gemacht wurde, wurde von einem der unternehmenseigenen Mathematiker verwendet, um ein Problem zu lösen, das einige der größten Denker des vergangenen Jahrhunderts ausgebremst hatte. Für ein Unternehmen, das bestrebt ist, zu beweisen, dass seine Modelle an der Grenze der Dinge argumentieren können, gibt es kaum Empfehlungen, die glaubwürdiger sind als eine Vermutung aus dem Jahr 1939, die endlich aufplatzt.

Bleiben Sie der KI immer einen Schritt voraus

Das Tempo der KI-gesteuerten Entdeckung nimmt in Wissenschaft, Mathematik und Industrie zu. Setzen Sie ein Lesezeichen auf unseren Schreibtisch für aktuelle KI-Neuigkeiten (https://aibuzzwire.news), um kontinuierlich über Modellveröffentlichungen, Forschungsdurchbrüche und Richtlinienänderungen zu berichten.

Weitere KI-Neuigkeiten lesen →