StartseiteArtikel

Ein MIT-Professor verzweifelt: Das von OpenAI gelöste Millenniumsproblem ist für die Menschheit nicht mehr verständlich.

新智元2026-10-12 07:48
Die von KI verfassten Beweise können die Mathematiker allmählich nicht mehr verstehen.

Kürzlich wurde die weltweite Mathematikgemeinschaft von einer KI-Explosion erschüttert.

OpenAI veröffentlichte auf einen Schlag 722 Arbeiten.

Obwohl diese Arbeiten noch überprüft werden müssen, scheint es, dass viele bekannte ungelöste mathematische Probleme – von der Einzigartigkeitsspiel-Vermutung bis zur Quasi-Riemann-Hypothese – bereits gelöst wurden.

Die Mathematiker wachten eines Morgens auf und stellten fest, dass ihre Forschung möglicherweise zu Ende ist!

Der ungarische Wahrscheinlichkeitstheoretiker Alfred Renyi nannte Mathematiker einst „eine Maschine, die Kaffee in Sätze umwandelt“. Heute gibt es tatsächlich eine solche Maschine – und sie nutzt Rechenzentren.

In der neuesten Folge des bekannten Bloomberg-Podcasts „Odd Lots“ stellte sich Justin Solomon, stellvertretender Dekan für Ingenieurausbildung am MIT, direkt der Frage:

Wie KI die Mathematikwelt auf den Kopf stellt.

OpenAI löst die Navier-Stokes-Gleichung, aber Menschen „können sie nicht verstehen“

KI hat die „Mathematik“ als absoluten Höhepunkt der menschlichen Intelligenz direkt mit einer Dimensionsreduktionsschlag attackiert.

In diesem Herbst wurde die intellektuelle Selbstachtung der Menschheit von „außerirdischer Logik“ zerschlagen.

Als OpenAI die jahrhundertealte Millennium-Preis-Aufgabe löste, erlebte die Menschheit keinen allgemeinen Jubel, sondern eine enorme, bodenlose kognitive Panik.

Denn selbst die weltweit führenden Mathematiker und MIT-Professoren können beim Lesen der zweiten Seite dieses Beweises nur verzweifelt den Kopf senken und resigniert zugeben: „Er ist richtig, aber ich verstehe ihn überhaupt nicht.“

Wenn sich „Wahrheit“ und „menschliches Verständnis“ zum ersten Mal trennen, sind wir dann an der Schwelle zur Gottheit evolviert, oder sind wir zu „intellektuellen Analphabeten“ geworden, die von KI gezüchtet werden?

Die Geschichte begann im letzten Monat, als das Modell von OpenAI einen Gegenbeweis für das Versagen der Lösung der Millennium-Preis-Aufgabe – der Navier-Stokes-Gleichung – lieferte.

Die Navier-Stokes-Gleichung wird als „Gottesformel“ der Strömungsmechanik bezeichnet.

Die Rotation des Milchschaums, wenn Sie morgens Kaffee mit einem Löffel rühren, die Luftströmung, die den Himmel beim Entstehen eines Taifunauges zerreißt, sogar der Widerstand, der entsteht, wenn ein Flugzeugflügel die Luft durchschneidet … theoretisch werden alle von dieser eleganten und tiefgründigen Gleichung beherrscht.

Diese Gleichung aufzuschreiben ist nicht schwer, aber seit hundert Jahren sind die klügsten Köpfe der Welt an einem grundlegenden Problem festgehangen: Wenn man einen glatten Anfangszustand vorgibt, wird die Lösung dieser Gleichung irgendwann in der Zukunft plötzlich „explodieren“?

Einfach ausgedrückt: Kann Wasser unter extremen Umständen plötzlich nicht mehr den physikalischen Allgemeinvorstellungen folgen und eine unendlich große Geschwindigkeit entwickeln? Um diese Antwort zu finden, hat das Clay Mathematics Institute eine Belohnung von 1 Million US-Dollar ausgesetzt.

Seit jeher glauben menschliche Mathematiker im Allgemeinen, dass das nicht der Fall ist.

Aber OpenAI hat tatsächlich ein Gegenbeispiel geliefert: Es gibt eine extreme Rührmethode, die einem „verrückten Löffel“ ähnelt, mit der man die Strömung theoretisch in endlicher Zeit völlig außer Kontrolle bringen kann.

Was noch dramatischer ist: Diese jahrhundertelange Durchbruch wurde nicht vollständig von der KI aus dem Nichts erfunden.

Zuvor hatte eine Gruppe spanischer Spitzenmathematiker die Hauptkonstruktion dieses „Löffels“ mit Stift und Papier aufgebaut und den Fortschritt auf 99 % gebracht. Und die KI hat mit ihrer extrem schrecklichen Rechenleistung und unmenschlichen logischen Fähigkeit zur Schlussfolgerung nur die letzte, für Menschen hoffnungsloseste 1 % zurückgelegt.

Eigentlich sollte man jetzt Champagner trinken, oder?

Aber das tödlichste Dilemma tauchte auf: Nachdem dieser bahnbrechende Beweis veröffentlicht wurde, konnte kein einziger Mensch auf der Welt ihn verstehen.

Joe, der Moderator von „Odd Lots“, lud die Arbeit herunter und betrachtete die Symbole wie eine unverständliche Schrift.

Und Justin Solomon, der stellvertretende Dekan des MIT und früher an komplexen mathematischen Modellen hinter Filmeffekten bei Pixar gearbeitet hat, erlebte beim Versuch, diesen Beweis zu lesen, dass sein Gehirn nach den ersten zwei Seiten vollständig abstürzte.

„Dieser Beweis liest sich sehr erschreckend, er ist voller dichter technischer Details, extrem unanschaulicher Ungleichungen und extremer Grenzwerte“, gab Solomon zu.

Der Moderator fragte ihn: „Ist dieser Beweis elegant?“ Solomon lächelte bitter: „Er ist wahrscheinlich überhaupt nicht elegant.“

Der Moderator fragte weiter: „Ist er dann richtig?“ Solomon schwieg einen Moment: „Er ist wahrscheinlich richtig.“

Seit Tausenden von Jahren, von Euklids Geometrie bis Newtons Infinitesimalrechnung, bedeutet in der Welt der Mathematik „er ist richtig“ fast dasselbe wie „Menschen haben ihn verstanden“.

Ein brillanter Beweis trägt selbst das Licht der menschlichen Vernunft und die Poesie der Logik in sich.

Aber heute wurden diese beiden Dinge von der KI gewaltsam getrennt. Die Wahrheit ist erschienen, aber sie verwendet eine außerirdische Sprache.

In dem Podcast wurde eine verrückte Handlung von Travis Kalanick, dem Gründer von Uber, erwähnt: Dieser Silicon-Valley-Tycoon ist kürzlich davon besessen, gemeinsam mit KI Physik zu erforschen.

Er glaubt, dass er nur durch Chatten mit KI und einer sogenannten „Vibe Physics“ bereits einigen wichtigen physikalischen Durchbrüchen nahe gekommen ist.

Aber „kann man komplexe Physik nur mit der Intuition verstehen, die man durch Chatten mit Maschinen erhält?“

Schrecklich bei näherer Betrachtung: Terence Taos Gedankenexperiment und „außerirdische Logik“

Wenn Durchbrüche in Mathematik und Physik für gewöhnliche Menschen zu fern erscheinen, dann hat einer der größten Mathematiker der heutigen Welt, der Fields-Medaillen-Träger Terence Tao, mit einem seelentreffenden Gedankenexperiment diese Panik jedem vor Augen geführt.

Vor wenigen Tagen hielt er eine Rede auf der Konferenz „Math 2.0“, die am California Institute of Technology veranstaltet wurde.

Link zur Folie: https://teorth.github.io/tao-web/slides/math-2-0-caltech-2026.pdf

Eine Folie von Terence Tao hat im gesamten Internet Kontroversen ausgelöst.

Er bat alle, sich ein solches Szenario vorzustellen:

Die Menschheit gibt einer Super-KI mit fast unbegrenzter Rechenleistung einen Prompt ein – „Finde eine Krebstherapie, die die Phase-III-Studie besteht.“

Nach umfangreichem Black-Box-Rechnen spuckt die KI tatsächlich ein Rezept aus. Es handelt sich um ein komplexes Gemisch aus mehreren unbekannten chemischen Bestandteilen. Das mathematische Modell der KI sagt genau voraus: Wenn Sie dieses Medikament zubereiten und es in die Vene des Patienten injizieren, können alle Krebszellen zu 100 % beseitigt werden.

Noch unglaublicher: Obwohl kein einziger Mediziner oder Chemiker auf der Welt weiß, warum dieses Rezept wirkt, wurde der Schlussfolgerungsprozess der KI nicht nur im interaktiven Theorembeweiser Lean einer einwandfreien formalen Überprüfung unterzogen, sondern dieses Medikament hat in der realen Welt sogar die extrem strenge FDA-Phase-III-Studie bestanden.

Jetzt liegt die Wahl bei Ihnen: Wenn dieses „Wundermedikament“, dessen Wirkmechanismus selbst Spitzenwissenschaftler nicht verstehen, vor Ihnen liegt, trauen Sie sich, es in Ihre eigene Vene zu injizieren?

Terence Tao hat das zentrale Dilemma der modernen KI in Bezug auf „Alignment“ und „Erklärbarkeit“ sehr scharf auf den Tisch gelegt.

In diesem Gedankenexperiment: Könnte dieses KI-Verfahren möglicherweise tödliche Lücken aufweisen? Hat es vielleicht nur die Regel der „Phase-III-Studie“ ausgenutzt und mit einer für Menschen völlig unverständlichen „außerirdischen Logik“ das wörtliche Ziel erreicht?

Würden Sie schreien „Halt“, bevor die Nadel in die Haut sticht, und darauf bestehen: Mindestens ein menschlicher Onkologe muss den Heilmechanismus vollständig verstehen, oder mindestens ein menschlicher Mathematiker muss das mathematische Modell vollständig verstehen, mit dem die KI das Rezept bestimmt hat!

Vielleicht kümmern sich Patienten mit fortgeschrittenem Krebs nicht um den zugrundeliegenden Mechanismus, aber wie kann die Wirksamkeit dann sichergestellt werden?

Das ist genau die schreckliche Zukunft, die die Lösung der Navier-Stokes-Gleichung durch OpenAI offenbart hat: Die Fähigkeit der modernen KI zur mathematischen Schlussfolgerung hat die Obergrenze des menschlichen Verstehens bereits erreicht oder sogar überschritten. Das traditionelle Forschungsmodell „Menschen überprüfen KI“ stößt auf eine unüberwindbare physische Wand.

Noch erschütternder und beunruhigender als die Lösung jahrtausendealter Probleme sind die von KI erzeugten Beweise voller unanschaulicher Sprünge und völlig unästhetischer „außerirdischer Logik“.

Die zusammenbrechende alte Welt: Wer Rechenleistung hat, kriegt den Nobelpreis?

Wenn die Produktivität von KI exponentiell ansteigt, während die menschliche Überprüfungsfähigkeit stagniert, bricht als erstes das akademische Überprüfungssystem zusammen, auf das wir seit Jahrhunderten stolz sind.

In dem Podcast nannte Solomon eine atemraubende Zahl: Die Top-Konferenz für maschinelles Lernen ICLR hatte vor zehn Jahren nur ein- oder zweitausend Einreichungen; in diesem Jahr ist die Anzahl der Einreichungen wie ein Tsunami auf 60.000 angestiegen!