Werden auch Leute wie Wang Hong und Wei Dongyi von der KI „eliminiert“?

Ein Professor, der den höchsten Preis der Mathematik gewonnen hat, wurde von KI zum Weinen gebracht.

„Am Dienstagabend habe ich geweint und meine Tochter aufgeweckt.“

Am 8. Oktober erzählte der französische Mathematiker Hugo Duminil-Copin auf einer Online-Konferenz von seiner Erfahrung. Er ist Preisträger der Fields-Medaille 2022 und steht längst an der Spitze der mathematischen Forschung. Was ihn zum Weinen brachte, war eine große Anzahl mathematischer Forschungsergebnisse, die OpenAI gerade veröffentlicht hatte.

Darunter stehen 16 Probleme in direktem Zusammenhang mit seiner Forschung.

In einem anschließenden Radiointerview sagte er, die KI habe wie ein Bulldozer die Probleme, an denen er gerade arbeite, plattgemacht. In nur 0,1 Sekunden konnten viele Berufstätige die berufliche Notlage dieses Spitzenmathematikers nachvollziehen. Das entspricht folgendem Szenario:

Du verbringst viele Jahre mit Lernen und Sammeln von Erfahrungen und findest endlich eine Geschäftsmöglichkeit, mit der du viel Geld verdienen kannst, und plötzlich sagt dir jemand:

Dieses gesamte Geschäftsmodell wurde vor einem halben Tag von der KI ohne jegliche Kosten umgesetzt.

Hugo Duminil-Copin ist natürlich nicht das einzige Opfer.

OpenAI hat auf einen Schlag 722 mathematische Arbeiten veröffentlicht, die Hunderte von mathematischen Ergebnissen abdecken und mehrere Bereiche wie Zahlentheorie, Geometrie und theoretische Informatik umfassen. 

Auf der berühmten Plattform für vorab veröffentlichte Arbeiten arXiv darf eine Person nur 2 Arbeiten pro Monat hochladen. Um alle diese Arbeiten dort hochzuladen, bräuchte man mindestens 300 Konten. 

Einige davon sind sehr schwierige Probleme, die Wissenschaftler bereits seit hundert Jahren plagen.

Beispielsweise die 1859 aufgestellte Riemann-Hypothese, die nach 167 Jahren immer noch ungelöst ist. OpenAI gibt an, in diesem Fall wichtige Fortschritte erzielt und ein stärkeres Ergebnis für den „Nullstellen-freien Bereich“ geliefert zu haben; 

Ob die Catalan-Konstante eine irrationale Zahl ist, plagt Mathematiker ebenfalls seit mehr als 100 Jahren. OpenAI sagt, es sei ihnen gelungen, zu beweisen, dass es sich tatsächlich um eine irrationale Zahl handelt; 

Die Kakeya-Vermutung, für die Wang Hong in diesem Jahr die Fields-Medaille erhielt, wurde 1917 aufgestellt. Erst 1971 gab es einen zweidimensionalen Beweis, 2025 lieferte Wang Hong den dreidimensionalen Beweis. Nur ein Jahr später hat die KI bereits den vierdimensionalen Beweis erbracht. 

Unter den aufgelisteten Ergebnissen gibt es noch viele weitere solcher bahnbrechenden Durchbrüche. 

Noch entmutigender ist, dass OpenAI diese seit Jahrhunderten bestehenden mathematischen Probleme extrem schnell löst: 

Der durchschnittliche Rechenaufwand pro Ergebnis entspricht der Denkleistung von ChatGPT Pro über 3 Stunden.

So erschreckend stark ist es.

01

Die drei KI-Giganten rauben Mathematikern gerade die Arbeitsplätze

Ehrlich gesagt ist dies der Moment, in dem normale Menschen Mathematikern am nächsten sind. 

Obwohl wir die komplexen Formeln immer noch nicht verstehen können, kennen wir das Gefühl „Ich habe mich jahrelang angestrengt und bin plötzlich zurückgefallen“ nur zu gut.

In den letzten Jahrzehnten haben wir nachts für Prüfungen gelernt und Überstunden gemacht, Mathematiker haben nachts gelernt und Beweise erarbeitet. Wir alle haben einst naiv gehofft, dass unsere Anstrengungen eine sichere Zukunft bringen würden.

Aber über Nacht wurde selbst den Menschen an der Spitze der intellektuellen Pyramide der Arbeitsplatz von der KI weggenommen.

Als die Mathematiker diese KI-Arbeiten sahen, reagierten sie schockiert und erstarrt, als ob sie eine Atombombenexplosion gesehen hätten. 

In Bezug auf Anzahl der Ergebnisse, Umfang und Durchbruchsgeschwindigkeit ist dies ein beispielloses Großereignis in der Geschichte der Mathematik. 

KI-generiert

Obwohl die KI auf den Schultern von Riesen steht – wer steht nicht auf den Schultern von Riesen? 

Zwar sind die Forschungsergebnisse der KI noch nicht der Peer-Review der akademischen Welt unterzogen worden, und ihre Zuverlässigkeit ist noch ungewiss, aber diese Überlegenheit in Effizienz und Anzahl hat fast alle Fachleute unter enormen Druck gesetzt. 

Natürlich kümmert sich OpenAI nicht um die Gefühle der Menschen, sie werfen einfach weiter Bomben in die Mathematikszene.

Dieser mathematische Wettrüsten läuft in der KI-Branche schon seit einiger Zeit. 

Als Erster hat Anthropic die Trompete geblasen. 

Am 19. Juli, dem Abend des Weltmeisterschaftsfinales, veröffentlichte ein Forscher von Anthropic einen Tweet auf X, der im Wesentlichen besagt, dass er die Jacobi-Vermutung widerlegt habe. 

Die Jacobi-Vermutung ist kein unbedeutendes Problem, sondern eine wichtige schwierige Aufgabe, die Mathematiker seit mehr als 80 Jahren plagt.

Die Problembeschreibung lautet nur ein Satz: Wenn die Jacobi-Determinante einer polynomialen Abbildung eine nicht null Konstante ist, dann hat diese Abbildung notwendigerweise eine polynomiale Umkehrabbildung. 

Das Problem klingt einfach, aber die Antwort ist sehr schwer. Die einfache Aufgabenstellung hat unzählige Mathematiker angezogen, die dann nie wieder herauskamen. 

In den vergangenen Jahrzehnten haben mehrmals Mathematiker behauptet, das Problem gelöst zu haben, aber später wurde festgestellt, dass ihre Beweise falsch waren. 

Zusammen mit dem chinesischen Mathematiker Zhang Yitang haben viele Mathematiker bereits eine PTB davon erlitten. Nachdem sie die Mathematiker jahrzehntelang gequält hat, wurde diese Vermutung einfach mit einem Tweet beiläufig widerlegt. 

Der Konkurrent OpenAI wollte nicht zurückstehen und hat sich ebenfalls diesem mathematischen „Wettrüsten“ angeschlossen.

Innerhalb weniger Monate haben die beiden Seiten behauptet, mathematische Probleme gelöst zu haben, unter anderem: 

Dies könnten die kraftvollsten Monate in der Geschichte der Mathematik sein.

Aber diese überwältigende Kraft ist nicht unbedingt eine gute Sache, viele Mathematiker äußern tiefe Besorgnis darüber. 

Vor allem: Der unfaire Überholvorgang der KI lässt die Arbeiten, für die viele Mathematiker viel Herzblut investiert haben, Gefahr laufen, unvollendet zu bleiben.

Die KI lässt nicht nur einige Mathematiker um ihre Arbeitsplätze fürchten, sondern lässt sie auch an ihrem eigenen Niveau zweifeln.

Beispielsweise hat OpenAI diesmal eine Reihe von Ergebnissen im Bereich der Operatoralgebra erzielt. Ein Mathematiker aus dem entsprechenden Bereich kam zu dem Schluss:

Die KI hat Recht, die Menschen haben 30 Jahre lang in die falsche Richtung verschwendet.

Andere stehen vor noch realeren Problemen des Lebensunterhalts.

Manche stellen fest, dass ihr aktuelles Forschungsgebiet zunichte gemacht wurde, und wissen nicht, wo die Projektmittel in Zukunft herkommen; andere haben ihre Arbeit zur Hälfte geschrieben und brauchen sie nicht mehr fertigzustellen, und es ist ungewiss, ob sie ihren Abschluss erhalten.

Auf Reddit hat ein Doktorand, der sich selbst als Forscher der Operatoralgebra bezeichnet, kommentiert: Er und sein Kommilitone haben bereits einen Spezialfall eines Problems gelöst und mit ihrem Betreuer die nächsten Schritte abgesprochen, um den allgemeineren Fall zu einer Doktorarbeit auszuarbeiten. Nachdem OpenAI die Ergebnisse veröffentlicht hat, beeilen sie sich, ihre vorhandenen Arbeitsergebnisse zu ordnen, in der Hoffnung, sie als unabhängige Forschung zu veröffentlichen. Er meint, dass das Thema noch Forschungswert hat, aber die ursprüngliche Begeisterung stark nachgelassen hat.

Großartige technische Fortschritte sind für die betroffenen Menschen immer traurig.

Nachdem diese große Nachricht verbreitet wurde, hat Sam Altman, CEO von OpenAI, endlich aufgehört, schockiert zu erstarren, und blickt nun in die Sterne. 

Letztes Jahr konnte die KI noch nicht unterscheiden, ob 9,8 größer als 9,11 ist, dieses Jahr kann sie bereits die Riemann-Hypothese herausfordern. 

Was sie nächstes Jahr tun will, wage ich mir nicht vorzustellen. 

Als Wang Hong und Deng Yu den Preis erhielten, sagten einige, dass dies die letzte Fields-Medaille sein könnte, die ausschließlich von Menschen gewonnen wurde.

Damals haben wir das nicht geglaubt, aber jetzt müssen wir es glauben. 

02

Sind die ersten, die von der KI ersetzt werden, die Spitzenleute?

Also, womit haben die Mathematiker die KI-Unternehmen beleidigt, dass diese ihnen die Arbeitsplätze rauben wollen? 

Die Antwort ist, dass es keine Feindschaft zwischen ihnen gibt. Im Gegenteil, alle großen Modelle bemühen sich aktiv um mathematische Talente. 

Schließlich gibt es im KI-Wettbewerb nichts, was sich besser als „Militärübung“ eignet als die Mathematik.

Die Mathematiker stehen nur zufällig auf dem Weg der KI-Unternehmen, die um die Vorherrschaft kämpfen.

Wenn sie nicht von der KI genutzt werden, werden sie von der KI überholt.

Jakob Zimmerman, der in diesem Jahr zusammen mit Wang Hong und Deng Yu die Fields-Medaille erhalten hat, ist inzwischen zu OpenAI gewechselt und arbeitet an Themen der KI-Sicherheit. 

Alpöge, der vor einiger Zeit die Jacobi-Vermutung gelöst hat, ist sein Schüler und arbeitet derzeit bei Anthropic. 

Zimmerman hat einmal gesagt: Ich mache Mathematik hauptsächlich, weil ich sie genieße und weil ich darin gut bin.

Die KI-Unternehmen lösen wahllos mathematische Probleme, nicht weil sie die Mathematik lieben.

Sondern weil Mathematik über präzise formale Logik verfügt und der KI große Entfaltungsmöglichkeiten bietet. Noch wichtiger ist, dass es die Nachfrage der KI-Unternehmen erfüllt, in regelmäßigen Abständen große Neuigkeiten zu verbreiten. 

In diesem KI-Wettbewerb ist die Mathematik die „verhängnisvolle Schönheit“, die in den Vordergrund gerückt wird. Die KI-Giganten scheinen die Mathematik zu schätzen, aber in Wirklichkeit kämpfen sie um die technische Vorherrschaft und die dahinter stehenden Nutzer, Kapital und Märkte. 

Die Forschung, die Mathematiker als lebenslange Berufung betrachten, ist im Wettbewerbslogik der KI-Unternehmen eigentlich nur eine Werbetafel.

Sch