Ein von künstlicher Intelligenz erstellter Beweis, der Anfang dieses Monats als Teil einer Reihe von 377 von KI abgeleiteten mathematischen Ergebnissen angekündigt wurde, überzeugt die menschlichen Experten, die die letzten zwei Wochen damit verbracht haben, ihn auseinanderzunehmen. Das Quanta Magazine berichtete am 19. Oktober, dass Zahlentheoretiker nun den KI-generierten Beweis der Quasi-Riemann-Hypothese entschlüsselt haben – einer schwächeren Version der Riemann-Hypothese, der wohl größten offenen Frage in der Mathematik – und ihr Urteil ist ungewöhnlich nachdrücklich.

Jared Duker Lichtman von der Stanford University nannte es „die bisher mit Abstand bedeutendste KI-für-Mathematik-Errungenschaft“. Maksym Radziwiłł von der New York University, dessen eigene Arbeit Teile des Beweises untermauert, beschrieb die Implikationen als „erstaunlich“. Weitere Informationen zu dieser Geschichte finden Sie in unserer KI-Branchenberichterstattung.

Was die Quasi-Riemann-Hypothese behauptet

Die Riemann-Hypothese ist seit mehr als 160 Jahren offen. Es betrifft die Riemannsche Zetafunktion und die Lage ihrer nichttrivialen Nullstellen und ist eng damit verbunden, wie Primzahlen auf die ganzen Zahlen verteilt sind. Da Primzahlen die Bausteine ​​der Arithmetik sind, würde ein Beweis weite Bereiche der Zahlentheorie verändern.

Die Hypothese ist eines der sieben Millennium-Preis-Probleme, die vom Clay Mathematics Institute benannt wurden, und es war das einzige Problem, das aus David Hilberts berühmter Liste von 23 Problemen übernommen wurde, die ein Jahrhundert zuvor veröffentlicht wurde.

Das technische Grundgerüst wurde, wie Quanta darlegt, über Generationen hinweg Schritt für Schritt kartiert. Riemann zeigte 1859, dass die nichttrivialen Nullstellen der Zeta-Funktion die Ausdünnung von Primzahlen entlang der Zahlenlinie bestimmen, und bewies, dass sie nur innerhalb eines vertikalen Streifens liegen können, in dem der Realteil der Eingabe zwischen Null und Eins liegt. Im Jahr 1896 zeigten zwei Mathematiker unabhängig voneinander, dass am rechten Rand des Streifens keine Nullstellen liegen – ein Ergebnis, das stark genug ist, um den Primzahlsatz zu beweisen. Die Hypothese selbst besagt, dass alle nichttrivialen Nullstellen genau auf der Mittellinie des Streifens liegen, wo der Realteil der Hälfte entspricht. Triviale Nullstellen bei negativen geraden ganzen Zahlen sind bereits vollständig verstanden. Mehr als 160 Jahre Bemühungen haben diesen Streifen eingeengt und erforscht, ohne jemals die Nullen festzulegen.

Die Quasi-Riemann-Hypothese oder Quasi-RH ist eine streng schwächere Aussage. Dennoch reichen die Folgen fast genauso weit. „In gewisser Weise resultieren die meisten Folgen von RH bereits aus Quasi-RH“, sagte Radziwiłł gegenüber Quanta.

Von der Ankündigung bis zur Verifizierung

Das Ergebnis wurde erstmals am 6. Oktober bekannt gegeben, als OpenAI 377 mathematische Ergebnisse bekannt gab, die mit seinen KI-Systemen ermittelt wurden. Unter professionellen Mathematikern stieß die Ankündigung zunächst auf verhaltene Skepsis – KI-Systeme haben zuvor angebliche Beweise erbracht, die unter Expertenprüfung scheiterten, und die Verifizierung war lange Zeit der Engpass, der KI-generierte Mathematik von akzeptierter Mathematik trennte.

Laut Quantas Bericht ist dieser Beweis anders: Im Gegensatz zu anderen aktuellen KI-Beweisen wurde dieser von menschlichen Experten entschlüsselt. Zahlentheoretiker wie Radziwiłł, Alexander Dunn vom Georgia Institute of Technology und andere haben das Argument seit der Ankündigung durchgearbeitet, seine Schritte überprüft und es in den vorhandenen Wissensstand eingeordnet.

Die Schecks haben gehalten. „Der Beweis ist eine überraschende Synthese bekannter Ideen“, sagte Dunn, der zusammen mit Radziwiłł Pionierarbeit bei Techniken leistete, auf denen das Ergebnis teilweise beruht.

Alte Ideen, versteckte Verbindungen

Der vielleicht auffälligste Aspekt des Beweises, sagten Mathematiker gegenüber Quanta, ist, was er nicht erforderte. Entgegen den Erwartungen, dass die Lösung selbst einer abgeschwächten Form der Riemann-Hypothese grundlegend neue Maschinen erfordern würde, führte der von der KI erstellte Beweis keine neuen Konzepte ein. Stattdessen wurden verborgene Verbindungen zwischen etablierten Methoden ans Licht gebracht und Techniken auf eine Art und Weise kombiniert, die noch kein Mensch zusammengestellt hatte.

Dieses Muster – Neuheit durch unerwartete Synthese und nicht durch neue Theorie – entwickelt sich zu einem Kennzeichen der KI-gestützten mathematischen Entdeckung und veranlasst Forscher dazu, zu überdenken, wo der maschinelle Beitrag zur Mathematik am wahrscheinlichsten zuerst ankommt.

Warum es für die KI-Forschung wichtig ist

Das verifizierte Ergebnis ist ein Meilenstein für KI in der Mathematik, einem Bereich, der sich mit der Verbesserung der Argumentationsmodelle rasant beschleunigt hat. Die Ankündigung von OpenAI vom 6. Oktober, über die wir berichteten, als das Institute for Advanced Study Fragen zu den Ergebnissen stellte, war die bisher größte Einzelaussage über KI-basierte Mathematik. Der Quasi-RH-Beweis ist das erste Ergebnis aus dieser Charge, das einer detaillierten Expertendurchsicht unterzogen wurde, und er ist erhalten geblieben.

Für KI-Labore demonstriert die Folge einen Arbeitsablauf, der zum Standard werden könnte: Modelle erstellen Kandidatenbeweise in großem Maßstab, und menschliche Experten selektieren, verifizieren und absorbieren die wichtigen Ergebnisse. Für Mathematiker ist die unmittelbare Konsequenz enger, aber real – eine Reihe von Konsequenzen der Riemann-Hypothese, für deren Gültigkeit nicht mehr die vollständige Vermutung erforderlich ist.

Quanta weist darauf hin, dass Mathematiker gerade erst damit beginnen, herauszufinden, was der Beweis für das Fachgebiet bedeutet. Wie Radziwiłł es ausdrückte, sind die Implikationen „erstaunlich“ – ein Adjektiv, das selten mit einem Ergebnis verbunden wird, das hinter der vollständigen Hypothese zurückbleibt.

Die Episode setzt auch einen Maßstab für zukünftige Ansprüche. Jedes KI-Labor, das mathematische Durchbrüche ankündigt, wird nun an Quasi-RH gemessen: einem behaupteten Ergebnis, das von genau den Experten überprüft, verifiziert und akzeptiert wurde, die am besten in der Lage sind, es zu widerlegen.

Nichts davon bestätigt die Riemann-Hypothese selbst. Die vollständige Vermutung bleibt offen und Quasi-RH ist grundsätzlich schwächer. Aber zum ersten Mal hat ein KI-System einen Beweis an der Grenze der analytischen Zahlentheorie erbracht, den führende Spezialisten auf diesem Gebiet entschlüsselt und bestätigt haben – eine Tatsache, die möglicherweise ebenso viel über die Zukunft der mathematischen Forschung aussagt wie der Satz selbst.

Dieser Artikel basiert auf einer Berichterstattung des Quanta Magazine, veröffentlicht am 19. Oktober 2026.

---

Bleib vorne bei KI

Die neuesten KI-Nachrichten, Analysen und Durchbrüche – alles an einem Ort.

Mehr KI-Nachrichten lesen →