Ein US-amerikanischer Informatikprofessor veröffentlicht einen Artikel: Das mathematische Weltende ist gekommen, das jahrtausendealte mathematische Gebäude der Menschheit wurde von KI zerstört.

OpenAI hat den Zorn der Mathematiker auf der ganzen Welt auf sich gezogen!

Am 6. Oktober veröffentlichten sie auf einmal 722 Arbeiten zu großen ungelösten mathematischen Problemen.

Der US-amerikanische Informatikprofessor und ACM-Fellow Scott Aaronson rief aus: Das mathematische Ende der Welt ist gekommen!

Mathematiker auf der ganzen Welt haben sich zusammengeschlossen, um OpenAI kollektiv zu boykottieren.

Terence Tao veröffentlichte auf seinem Blog eine gemeinsame Erklärung unter Führung der AHM, mit der er OpenAI direkt offen konfrontierte.

In der Erklärung bezeichnen sie OpenAI wie folgt: „Gestern veröffentlichte OpenAI – ein Unternehmen, das derzeit wegen Vorwürfen wegen illegalen Plagiats, Urheberrechtsverletzungen und Markenverwässerung in Rechtsstreitigkeiten verwickelt ist – eine Reihe von Manuskripten …“

Für das Vorgehen von OpenAI bezeichnen sie dies als „offene Rechenleistungshegemonie“.

Der Preisträger des Turing-Preises LeCun steht diesmal nicht auf der Seite der Mathematiker. Seine Meinung lautet: Wir haben einen neuen Kontinent entdeckt.

Das mathematische Ende der Welt ist gekommen: „Mama, du wurdest von der Maschine blitzschnell übertroffen!“

Kürzlich veröffentlichte der berühmte US-amerikanische theoretische Informatiker und Professor an der University of Texas in Austin, Scott Aaronson, einen langen Artikel mit dem Titel „Das Ende der Mathematik“.

Gleich zu Beginn des Artikels steht diese schmerzliche Szene.

„Mama, ich habe gehört, du wurdest blitzschnell übertroffen! Ich habe gehört, dass ein Roboter ein mathematisches Problem gelöst hat, an dem du dein ganzes Berufsleben lang gearbeitet hast! Ach du meine Güte!“

Sein 9-jähriger Sohn spottet über seine Mutter – die berühmte Komplexitätstheoretikerin Dana Moshkovitz. Unbefangen von Erwachsenenkonventionen treffen seine Worte dennoch mitten ins Herz.

Unter den Hunderten von Beweisen, die OpenAI veröffentlicht hat, befindet sich auch der vollständige Beweis der einzigen Spielvermutung von Subhash Khot (UGC).

Dies ist eine Vermutung, die die akademische Welt seit Jahrzehnten beschäftigt und das Ziel ist, an dem Dana Moshkovitz ihr ganzes Berufsleben lang arbeitet. Jetzt wurde sie von einer KI mühelos gelöst.

Dana ist keineswegs das einzige „Opfer“. In dieser Tsunami von Veröffentlichungen, die wie ein „Ausverkauf“ wirkt, bricht für Informatiker und Mathematiker die Welt zusammen.

Viele Mathematiker wachten auf, sahen die KI-generierten Dateien auf dem Bildschirm und waren fast ohnmächtig vor Schock.

Aaronson nannte diesen Tag direkt das „Ende der Mathematik“.

Jedes einzelne dieser Ergebnisse reicht aus, um das „beste Ergebnis des Jahres“ in seinem Fachgebiet zu gewinnen und sogar große Aufmerksamkeit zu erregen.

Entrandomisierung von L=BPL: Es wurde bewiesen, dass der probabilistische logarithmische Raum und der deterministische logarithmische Raum identisch sind, womit eine der großen ungelösten Fragen der theoretischen Informatik endgültig beantwortet wurde.

Neue Grenze für die Matrixmultiplikation: Zeitkomplexität O(n^(9/4))! Damit wurde eine seit Jahren stockende Situation durchbrochen, und es wurde eine völlig neue Methode verwendet, die kein Mensch je erdacht hätte.

Fourier-Transformation, die die Barrieren der 1960er Jahre durchbricht: Die Zeit für die Ganzzahlmultiplikation wird auf unter O(n log n) verkürzt.

Und am erschreckendsten sind die „Kosten“ dieser Ergebnisse.

Für die Lösung der schwierigen Probleme wurde nur das neueste interne Modell (auf GPT-Pro-Niveau) verwendet, das in Kürze für zahlende Nutzer veröffentlicht wird. Für jedes einzelne Top-Problem hat die KI im Durchschnitt nur etwa 3 Stunden Rechenzeit benötigt.

In der Zeit, in der ein Mensch zwei Tassen Kaffee trinkt, hat die KI 5 % der schwierigsten Probleme aus dem menschlichen Top-Fragenkatalog gelöst.

Unverständliche „außerirdische Schöpfung“: Der Mensch wird zum Trümmerträger auf Ruinen

Die noch tiefere Verzweiflung liegt darin: Das, was die KI geschrieben hat, kann der Mensch überhaupt nicht verstehen.

Nachdem sie den Beweis für die UGC-Vermutung durchgelesen hatte, geriet Dana in tiefe Verwirrung:

Das fühlt sich an wie etwas, das von jemandem geschrieben wurde, der halluzinogene Drogen genommen hat. Es gibt zu viele unklare und unlogische Stellen.

Sie hat eine völlig neue, äußerst seltsame Kodierung mit Rauschtests erfunden. Es ist kein langer Code und kein kurzer Code – es ist etwas völlig verrücktes, das wie von einem anderen Planeten stammt.

Die Arbeit ist äußerst schlecht geschrieben, die Zitate sind durcheinander und sie ist voller Sprünge, die Menschen nicht verstehen können.

Schließlich müssen menschliche Mathematiker eine andere KI (z. B. Astra) öffnen, um sich beim „Übersetzen“ und Ordnen dieser von KI geschriebenen Arbeit helfen zu lassen.

Das ist die absurdest Szene, die das „Ende der Mathematik“ mit sich bringt: Menschliche Wissenschaftler sind nicht mehr Schöpfer von Wissen, sondern werden zu „Archäologen“ und „Übersetzern“ in den Ruinen einer außerirdischen Zivilisation.

Die Autorin von *Quanta Magazine*, Jordana Cepelewicz, hat eine treffende Metapher gegeben.

Es ist, als ob du plötzlich auf den Gipfel eines hohen Berges teleportiert wirst.

Überall ist Nebel, du weißt nicht, wo du bist. Du hast den Sauerstoffmangel beim Klettern nicht erlebt und keine Werkzeuge geschliffen, um die Klippen zu erklimmen.

Du sitzt nur auf dem dunklen Berggipfel, während der Hersteller der Teleportationsmaschine dir kalt sagt: Er kennt diesen Berg besser als jeder andere.

Ja, die Wahrheit ist da draußen, aber der Mensch hat den Prozess des Kletterns verloren.

Wenn wir Probleme auf nicht-menschliche Weise lösen, was bedeutet es dann eigentlich, etwas wirklich zu „wissen“?

Die Mathematiker sind wütend: Niemand hat euch darum gebeten, diese Probleme zu lösen!

Warum haben sich die menschlichen Mathematiker über Nacht gegen OpenAI gestellt?

Denn OpenAI ist extrem rücksichtslos vorgegangen und hat die Würde der besten menschlichen Gehirne direkt mit Füßen getreten.

Vor einiger Zeit hat OpenAI hochgestimmt erklärt, dass sie eines der Millennium-Probleme gelöst haben. Damals hat Terence Tao bereits die Gefahr erkannt.

Er hat sofort 25 Preisträger der Fields-Medaille für einen gemeinsamen Aufruf zusammengebracht, um kommerzielle Unternehmen dazu zu bewegen, langsamer zu machen:

Das ist völlig verrückt! KI-Unternehmen beschleunigen unaufhörlich, ohne zu wissen, was danach passieren wird. Man muss langsamer werden. Es gibt überhaupt keinen Grund, so schnell zu sein, gar keinen!

Und was ist passiert? OpenAI hat die Warnung der Fields-Preisträger überhaupt nicht ernst genommen, sondern sofort 722 maschinell erstellte Beweisdokumente veröffentlicht und der gesamten Mathematikgemeinschaft mit der brutalsten Methode eine Ohrfeige verpasst.

Die Human Mathematical Association (AHM) ist die von weltweit führenden Mathematikern freiwillig gegründete „Branchenverteidigungslinie“. Das einzige Kernziel der AHM lautet: Das menschliche Verständnis für das Wesen der Mathematik zu schützen und zu verhindern, dass akademische Normen durch unkontrollierte, gewalttätige Rechenleistung vollständig zerstört werden.

In dieser gemeinsamen Erklärung, die von der AHM initiiert und von Terence Tao weiterverbreitet wurde, kontern die Mathematiker: „Niemand hat euch darum gebeten, diese Arbeit zu leisten! Niemand hat euch je darum gebeten, diese Beweise zu lösen!“

„Die gleichzeitige Veröffentlichung von über 700 Dokumenten ist überhaupt keine wissenschaftliche Arbeit, sondern reine Demonstration von Rechenleistunghegemonie! Wir fordern alle Mathematiker nachdrücklich auf, die Zusammenarbeit mit OpenAI einzustellen und zur wissenschaftlichen Vision zurückzukehren, bei der das menschliche Verständnis im Mittelpunkt steht.“

Es gibt Unterstützung, aber auch Spott: Wenn die KI Hunderte von tödlichen Krankheiten besiegt hätte, würde die medizinische Welt das mit großer Begeisterung begrüßen.

Turing-Preisträger Yann LeCun: Im Gegenteil, wir haben einen neuen Kontinent entdeckt!

Der Professor an der Eidgenössischen Technischen Hochschule Lausanne, Florent Krzakala, sagte offen: Einige Teile der Mathematik sind bereits tot.

Der Turing-Preisträger Yann LeCun hat jedoch eine völlig andere Schlussfolgerung gezogen.

Er erklärte: Im Gegenteil, die Mathematik ist keineswegs tot, sondern erlebt gerade eine nie dagewesene neue Ära!

Nach Ansicht von LeCun brauchen die Mathematiker keine solche Angst zu haben. „Formale Beweise werden weitgehend automatisiert, aber das bedeutet nicht, dass der Mensch seinen Wert verliert. Der Schwerpunkt der zukünftigen mathematischen Forschung wird sich auf die Entwicklung neuer Konzepte, neuer Abstraktionen, neuer Definitionen und neuer Vermutungen verlagern.“

Dann gab er diese Metapher: „Die Erfindung des Schiffs hat zwar die Bedeutung des menschlichen ‚Schwimmens‘ verringert. Aber das Schiff hat uns erlaubt, neue Kontinente zu entdecken!“

In dem Kommentarbereich von Terence Taos Blog ist diese Spaltung ebenfalls sichtbar.

Ein Wissenschaftler mit dem Namen Jörg Neunhäuserer gestand, dass er sich nicht beraubt fühlte, sondern im Gegenteil „erleichtert“ war, nachdem drei Probleme, an denen er viel Zeit gearbeitet hatte, von der KI gelöst wurden.

Denn er muss diese mühsame Arbeit nicht mehr erledigen, und die Maschine hat bewiesen, dass seine Intuition richtig war.