Anthropic hat noch einen großen Coup vor!
Ein historischer Moment wiederholt sich: Das interne Modell von Claude hat eine 18 Jahre alte offene Vermutung im Quantencomputing geknackt.
In nur 3 Tagen hat ein nicht öffentliches Claude-Modell die Aaronson-Ambainis-Vermutung geknackt, die seit 2008 ungelöst geblieben war!
Netznutzer spekulieren: Dieses interne Modell scheint die nicht öffentliche Version des Modells zu sein, Claude Model 4.
Das Theorem und die Korollare wurden in Lean-Formalisierung vervollständigt, und die Frage, wie groß der Vorteil des Quantencomputings gegenüber traditionellem Computing genau ist, hat endlich eine Antwort.
Claude durchsticht den Mythos der Quantenüberlegenheit
1994 schlug Peter Shor den Shor-Algorithmus vor, der weltweit für enormes Aufsehen sorgte.
Er kann große ganze Zahlen in polynomieller Zeit faktorisieren, während gewöhnliche Computer für diese Aufgabe exponentielle Zeit benötigen würden.
Der Grundpfeiler des modernen Verschlüsselungssystems wurde damit erschüttert.
Der Shor-Algorithmus stieß ins Horn, und danach fegte der Begriff „Quantenüberlegenheit“ über die globale Tech-Welt und die Kapitalmärkte hinweg.
Ein Blueprint, der einem das Blut in Wallung brachte, schien direkt vor unseren Augen zu liegen: Quantensuperposition, Quantenverschränkung, exponentielle Beschleunigung.
Es war, als könnte die Menschheit, solange diese fragilen Qubits nur gut kontrolliert würden, einen allumfassenden Dimensionsschlag starten und augenblicklich in eine neue Ära nahezu unbegrenzter Rechenleistung eintreten.
Eine blinde kognitive Illusion begann sich auszubreiten:
Solange es einen Quantensuperpositionszustand gibt, scheint es, als könnten Quantencomputer auch für die meisten schwierigen Probleme augenblicklich alle Möglichkeiten durchqueren und einen exponentiellen Volltreffer erzielen.
Glücklicherweise erkannten Physiker und Informatiker schnell: Der Grund, warum der Shor-Algorithmus eine „exponentielle Zermalmung“ erzeugen kann, liegt darin, dass hinter der ganzzahligen Faktorisierung eine starke periodische Struktur steckt. Und Quantencomputer sind gut darin, diese Art von wiederkehrendem Muster zu erfassen.
Aber wenn die Eingabedaten völlig zufällig sind, ohne jegliches Muster oder besondere Struktur, können Quantencomputer dann immer noch exponentielle Überlegenheit erzielen?
Im Jahr 2008 abstrahierten zwei führende Gelehrte auf dem Gebiet des Quantencomputings – Scott Aaronson und Andris Ambainis – dieses physikalische und algorithmische Problem zu einem rein mathematischen Problem.
Sie verglichen den Prozess, in dem ein Computer Eingabedaten liest, mit „Beobachtung“.
Jedes Mal, wenn ein klassischer Computer ein Bit liest, sieht er eine exakte „0“ oder „1“; ein Quantencomputer kann mithilfe von Superpositionszuständen eine einzelne Beobachtung über eine massive Anzahl von Zuständen verteilen.
Die beiden Gelehrten fanden heraus, dass die Wahrscheinlichkeit, dass ein Quantencomputer nach T Beobachtungen „ja“ ausgibt, im Wesentlichen streng als ein „beschränktes Polynom niedrigen Grades“ charakterisiert werden kann.
Wenn bewiesen werden kann, dass ein solches Polynom bei Änderung einer Variablen eine ausreichend große Änderung aufweisen muss, das heißt, dass es eine Variable mit signifikantem Einfluss gibt, dann kann bewiesen werden, dass: ein klassischer Computer nur polynomiale zusätzliche Kosten benötigt, um das Verhalten eines Quantencomputers perfekt zu simulieren.
Dies ist die berühmte Aaronson-Ambainis-Vermutung.
Nun wurde diese Vermutung von KI bewiesen, und in Zukunft muss sie möglicherweise als „Aaronson-Ambainis-Theorem“ bezeichnet werden:
In ihren Worten:
Quantencomputing birgt noch viele ungelöste Rätsel, aber jetzt gibt es eines weniger.
Es sei darauf hingewiesen, dass die Quantenüberlegenheit nicht verschwunden ist, aber dieses Theorem hat den „blinden Aberglauben“ des Quantencomputings getötet und das P „legitime Territorium“ des Quantenvorteils geklärt.
Der Oppenheimer-Moment des Quantencomputings
Die Physical Superintelligence, die diesmal gehandelt hat, ist nicht die erste, die handelt –
Letzten Monat lösten sie fünf langjährige ungelöste Probleme der Quanteninformationstheorie.
Zuvor lösten Guy Blanc, Jordan Docter, Carmen Strassle vom MIT und Li-Yang Tan von der Stanford University einen Spezialfall eines klassischen Simulationskorollars dieser Vermutung.
Sie hatten den neuen Beweis gelesen und betrachteten ihn einfach als ein „großes Ergebnis“:
Er löste eine jahrzehntealte Vermutung und hat wichtige Implikationen für die Frage, welche Probleme im Wesentlichen Quantenbeschleunigung erreichen können.
Diese Forschung betrifft mehrere Forschungsrichtungen der Booleschen Funktionsanalyse und der probabilistischen Kombinatorik.
Und dieser Beweis ist keineswegs „nachgeplappert“ – es ist absolut keine Angelegenheit, einfach die Literatur zu durchsuchen, um das Problem zu lösen, sondern eine „recht wunderbare Weise“, die alle Inhalte zusammenbrachte.
Vielleicht könnten Experten aus mehreren Bereichen zusammenarbeiten, um diese Vermutung schließlich zu beweisen, aber die Geschwindigkeit der KI ist für Menschen unerreichbar!
Berichten zufolge war der erste Beweis drei Tage später fertig, nachdem das Harness-System rund um das interne Modell von Anthropic fertiggestellt worden war.
Anschließend wurde er sofort zur Verifizierung in den Lean-Beweisassistenten eingespeist.
Aber das war noch nicht das Ende.
Als die Modellinstanzen aufgefordert wurden, diese Zwischenergebnisse zu nutzen, um ungelöste Probleme anzugehen, verfeinerten sie diese Zwischenergebnisse wiederum und drückten den Exponenten von 22 auf 11 und dann auf 7, wobei sie ihn kontinuierlich senkten.
Dies ist auch ein Mikrokosmos des Entdeckungsprozesses selbst: Der Beweis ist kein plötzlicher Geistesblitz, sondern eine schrittweise Annäherung an die optimale Grenze durch wiederholte Verfeinerung der Zwischenergebnisse.
Physik und Mathematik bleiben weitläufig, das Universum bleibt gewaltig, und es gibt noch viele ungelöste Rätsel, die die Menschheit erforschen muss.
Doch eines ist bereits sicher:
Im Expeditionsteam, das die Grenze der Vernunft erforscht, steht die Menschheit nicht länger allein da, einsam und nur von ihrem eigenen Schatten begleitet.
Referenzen:
https://psi.inc/research/oqp-batch-2026/
https://psi.inc/research/aaronson-ambainis/
Dieser Artikel stammt vom WeChat-öffentlichen Konto „Xin Zhi Yuan“, Autor: ASI Revelation
