Zusammenfassung:
In weniger als zehn Tagen erlebte die Welt der Mathematik die ultimative Achterbahnfahrt! Am 6. Oktober behauptete OpenAI, dass KI die quasi-Riemannsche Hypothese bewiesen habe. Der Mathematiker Alex Kontororvin sagte unverblümt: Wenn jemand dieses Ergebnis findet, wird er definitiv sofort die Fields-Medaille gewinnen, keine Spannung!
Später fügte er hinzu, dass null Punkte ohne Siegel als „zwei Fields-Medaillen“ gelten könnten.
Andere Wissenschaftler äußerten sich ebenfalls positiv.
Dies ist einfach ein dimensionsreduzierender Schlag vom Leben auf Siliziumbasis für den Menschen!
Aber einige Leute haben nicht kapituliert oder sich zurückgezogen.
Mit Hilfe der KI haben Mathematiker nun eine Form der verallgemeinerten Riemann-Hypothese bewiesen!
Nur ein paar Tage später kamen eine gute Nachricht nach der anderen.
Das Ergebnis dieser Quasi-Riemann-Hypothese liefert ein wichtiges Ergebnis zur rechnerischen Komplexität:
Burgisser hat Valiants Vermutung bewiesen: Auf dem komplexen Gebiet, VP! = VNP
Danach errangen drei Humanmathematiker den endgültigen Sieg und lösten ein klassisches Problem, das seit 19 Jahren offen stand, vollständig.
Und sie haben auch eine Erklärung hinterlassen:
In dieser Arbeit wurden keine Tools der künstlichen Intelligenz verwendet.
In dieser Arbeit wurden keine Tools der künstlichen Intelligenz verwendet.
Angriff über Nacht! Die Menschheit ergreift die Initiative zurück
Am 6. Oktober hatte OpenAI weder einen Geistesblitz noch eine Offenbarung. Ihre KI war wie ein Super-Bulldozer und bewies gewaltsam die Quasi-Riemann-Hypothese.
Der Zahlentheoretiker Hector Pasten brachte sein eindeutiges Erstaunen über die Ergebnisse von OpenAI beim Ausschluss von Landau-Siegel-Nullen zum Ausdruck und betonte, dass es sich dabei um ein „gelöstes Problem“ und nicht nur um einen Fortschritt handele.
Einige Internetnutzer baten Claude Fable 5.5, den Beweis der 199-seitigen Quasi-Riemann-Hypothese von OpenAI zu erläutern, und die Bewertung war sehr hoch:
Dies ist das erste feste Intervall ohne Nullpunkt.
Obwohl dies nicht die Riemann-Hypothese selbst ist, ist diese Aussage, wenn sie wahr ist, derzeit die Schlussfolgerung, die der Riemann-Hypothese am nächsten kommt.
Aber wenn KI diese Ebene der zugrunde liegenden Struktur überhaupt durchschauen kann, welchen Wert haben dann menschliche Mathematiker?
In Mathematikkreisen macht sich Panik breit.
Aber ein wahrer Meister wird nicht jammern. Jetzt, da die Straße frei ist, treten Sie aufs Gaspedal und fahren Sie vorwärts!
Nur 6 Tage später, am 12. Oktober, erschien plötzlich ein neues Papier auf der Preprint-Plattform Hexagon.
Die Autoren sind die Humanmathematiker Cureton und Thorner.
Link: https://hexagonmath.org/2610.00200v1
Sie hatten keine Zeit, um den Frühling und Herbst zu trauern. Stattdessen machten sie mit extrem bösartigen Augen einen mutigen Schritt:
Pan.
Sie wandten die von der KI verfeinerten Werkzeuge direkt auf ein umfassenderes und komplexeres mathematisches Objekt an –
Hecke-L-Funktion endlicher Ordnung
.Was ist die L-Funktion? Es handelt sich um die „ultimativ entwickelte Version“ der Riemannschen Zeta-Funktion.
In der modernen Zahlentheorie sind großartige Beweise wie der letzte Satz von Fermat fast untrennbar damit verbunden.
Cureton und Thorner nutzten den quasi-Riemannschen Durchbruch der KI, um ein erstaunliches Ergebnis zu erzielen:
Alle Hecke-L-Funktionen endlicher Ordnung haben absolut keine Nullstellen auf der rechten Seite von „1-1/6000“.
Link: https://hexagonmath.org/pdf/2610.00200v1
Es macht nichts, wenn Sie es nicht verstehen. Um eine Analogie zu verwenden.
Der Nullpunkt ist wie ein Riff im Meer.
In der Vergangenheit war dieses Meeresgebiet mit Nebel gefüllt, was die Fortbewegung von Schiffen erschwerte. Jetzt haben zwei Mathematiker KI-Radar eingesetzt, um gewaltsam eine „sichere Zone“ zu zeichnen.
In dieser Gegend gibt es absolut keine Riffe.
Die sichere Zone ist eingerichtet. Das erste Stück Territorium wurde von Menschen geraubt.
Aber der Spaß hat gerade erst begonnen.
Extreme Wut: Extreme Strangulation von 1/6000 auf 1/32
In dem Moment, als 1/6000 erschien, bewegte sich die DNA von Mathematikfreaks auf der ganzen Welt.
Das ist zu klein. Zu konservativ.
Da der Türrahmen bereits locker ist, warum nicht auch die Wand abreißen?
Ein Open-Source-Hackathon eroberte die Welt und explodierte augenblicklich.
Die klügsten Gehirne der Welt sind über das Internet verbunden und beginnen, diese Konstante bis an die Grenzen auszureizen.
Dies ist die leidenschaftlichste Szene in der modernen Mathematik, in der eine Gruppenstrangulation beginnt.
Die Logik ist rücksichtslos rationalisiert. Fehler werden entbeint und konkretisiert. Die Grenzen werden immer wieder nach außen verschoben.
1/1000. 1/500. 1/100.
Die Konstante schrumpft stark wie ein freier Fall!
Am Ende hat die gesamte Community die Sicherheitsgrenze dieser „Nullpunkt-Freizone“ auf eine extrem übertriebene Zahl festgelegt:
1/32
.
Die Sicherheitszone wurde hunderte Male vergrößert!
Angst, Fehler zu machen? Befürchten Sie, dass die menschliche Intuition unzuverlässig ist? Es spielt keine Rolle, gehen Sie zur Überprüfung direkt zur Maschine!
Die Open-Source-Community hat den rücksichtslosesten Schiedsrichter eingesetzt –
Lean Theorem Prover
.Dies ist eine formale Verifizierungssprache, die nur tote Logik akzeptiert. Jede noch so kleine logische Lücke führt zum Absturz des Programms.
Der relevante Beweis ist ein formaler Lean-Beweis, der vom mathematischen Agenten AxiomProver generiert wurde und auf dem Open-Source-Github verfügbar ist.
https://github.com/AxiomMath/DedekindZetaZeroFree
Die Grenze von 1/32 wird nicht nur von Menschen abgeleitet, sondern auch durch Maschinenlogik festgelegt.
Dies ist nicht das einzige Nebenprodukt.
Verschließe die Kehle mit einem Schwert! 19 Jahre ungelöster Probleme wurden ausgelöscht
Alle Vorbereitungen, der ganze Karneval warten heute auf diesen Moment.
Auf der Preprint-Plattform arXiv erschien ein von Frei, Somos und Widmer gemeinsam unterzeichneter Blockbuster-Artikel.
https://arxiv.org/abs/2610.18491
Der durch OpenAI ausgelöste akademische Tsunami hat endlich den härtesten Stein zertrümmert.
Ziel:
Ellenberg-Venkatesh-Grenze im Jahr 2007.
Das ist der algebraischen Zahlentheorie ein Dorn im Auge.
Im Jahr 2007 gaben zwei Mathematikriesen einen extrem perfekten Grenzwert für die Zahlenkörpergruppe ℓ-Torsion an.
Aber es hat einen fatalen Fehler:
Es ist an Bedingungen geknüpft.
Dies ist das sogenannte „Luftschloss“.Der Beweis der beiden großen Jungs muss auf der Prämisse basieren, dass „die Generalisierte Riemann-Hypothese (GRH) etabliert ist“.
Sobald die Prämisse zusammenbricht, ist die Schlussfolgerung sofort ungültig.
In den letzten 19 Jahren haben unzählige Spitzenwissenschaftler versucht, diese Krücke zu entfernen und sich aufrichten zu lassen. Alles ist gescheitert. Weil es keine Werkzeuge gibt. Denn der darunter liegende Fels wurde noch nicht ausgegraben.
Bis heute.
Frei, Somos und Widmer sahen die „1/32 Safe Zone“, die die Gruppe vorn erobert hatte.
Das ist die Basis, auf die sie seit 19 Jahren gewartet haben!
Ohne zu zögern zogen die drei Schwertkämpfer ihre 88 Schwerter aus der Scheide.
Sie haben die neuesten Ergebnisse der nullfreien Region in die alten Gleichungen eingespeist. Die logische Kette, die einst mit der Unterstützung einer leistungsstarken neuen Theorie unterbrochen wurde, fügt sich augenblicklich wieder zusammen!
Ableitung. Vereinfachen. Killer. Die Schlussfolgerung ist verblüffend:
Im Jahr 2007 wurde Ellenberg-Venkateshs ℓ-Torsionsrand der Zahlenkörpergruppe bedingungslos bewiesen.
Keine Annahmen mehr! Keine weiteren Voraussetzungen! Das Luftschloss fiel plötzlich zu Boden und verwandelte sich in eine unzerstörbare Stahlfestung!
Der Geist von 19 Jahren wurde ausgelöscht.
Ein zentrales Puzzleteil der algebraischen Zahlentheorie wurde von Menschen stark beansprucht.
Ich habe keine Verwendung für KI
Wenn die Geschichte hier erst endet, handelt es sich lediglich um eine äußerst erfolgreiche akademische Staffel.
Aber was diesen Aufsatz wirklich magisch macht, ist der Satz am Ende.
Am Ende des Kapitels, das das Ende dieses 19-jährigen Problems ankündigte, äußerten Frei, Somos und Widmer keine langatmigen Wehklagen oder Schmeicheleien gegenüber der KI.
Sie haben nur eine kalte, humorvolle und etwas rücksichtslose Stellungnahme hinterlassen:
Wir erklären, dass in dieser Arbeit keine Tools der künstlichen Intelligenz verwendet wurden.
Absolut.
Dieser Satz ist wie eine laute Ohrfeige, aber auch wie ein langes und fröhliches Brüllen.
Kommentare