PSI sagt, ein internes System bewies die Aaronson–Ambainis-Vermutung

Physical Superintelligence, oder PSI, sagte am 6. November 2026, dass ein internes Forschungssystem, das ein nicht-öffentliches Anthropic-Modell ausführte, die Aaronson–Ambainis-Vermutung bewies, eine seit 2008 offene Frage darüber, wann Quantencomputer exponentiell schneller als gewöhnliche sein können. PSI sagte, Lean akzeptierte am dritten Tag des Laufs einen vollständigen Beweis und akzeptierte später zwei Verbesserungen. [1]

Was ist die Aaronson–Ambainis-Vermutung?

PSI sagte am 6. November 2026, dass sein internes Forschungssystem die Aaronson–Ambainis-Vermutung bewies. [1] Scott Aaronson und Andris Ambainis fragten, ob ein Quantencomputer bei zufälligen Eingaben exponentiell schneller sein kann, die fast nie die versteckte wiederholende Struktur aufweisen, die von berühmten Beschleunigungen wie Shor’s Algorithmus genutzt wird.

Sie stellten eine Vermutung über Polynome auf und zeigten, dass, wenn sie wahr ist, Quantencomputer bei zufälligen Eingaben höchstens polynomiell schneller sind. [1] PSI schreibt, dass Forscher die Vermutung zu den zentralen offenen Problemen der Quantenkomplexitätstheorie zählen.

Wie sagt PSI, wurde der Beweis gefunden?

PSI sagte, das System, das ein nicht-öffentliches Anthropic-Modell ausführte, habe am dritten Tag des Laufs einen von Lean akzeptierten Beweis gehabt. [1] Das Unternehmen sagt, der Lauf fand auf seiner eigenen Infrastruktur statt, Lean prüfte jeden Schritt und das System verbesserte das Ergebnis später zweimal, wobei Lean die Endversion akzeptierte.

David Turturean, ein Mitglied des technischen Personals bei PSI, leitete die Arbeit: Er entwickelte das Forschungssystem, grenzte das Problem ein, führte es aus und forderte das Modell auf, die Ergebnisse in einen ersten Entwurf des Papiers zu verpacken. [1] PSI veröffentlichte außerdem Beweise und Code in einem öffentlichen GitHub-Repository. [2]

PSI sagt, diese Stanford-Forscher hatten bereits im August 2026 einen Spezialfall der Vorhersage der Vermutung bewiesen, für Quantenalgorithmen, die ihren Input in einer festen Anzahl paralleler Runden betrachten. [1] Das Unternehmen sagt, sie lesen den vollständigen Beweis, schickten Kommentare und schreiben eine kürzere Darstellung für Experten.

Was würde das Ergebnis bedeuten, wenn die Aussagen übereinstimmen?

Wenn der formale Satz die ursprüngliche Vermutung ist, sagt PSI, kann ein gewöhnlicher Computer die Ja-oder-Nein-Wahrscheinlichkeit eines Quantencomputers bis auf einen kleinen Fehler für alle bis auf einen kleinen Bruchteil von Strings vorhersagen, mit einer Anzahl von Blicken, die höchstens wie eine feste Potenz der Quantenblickanzahl wächst statt exponentiell. [1]

Leser müssen noch bestätigen, dass die formale Lean-Aussage mit der ursprünglichen Vermutung von 2008 übereinstimmt. [1][2] PSIs Notiz stellt die Lean-Entwicklung als ohne Platzhalter oder hinzugefügte Axiome dar und sagt, sie wurde von unabhängigen Kerneln erneut geprüft; dieser Artikel wiederholt diese Verifizierung nicht.

Unsere Einschätzung

Meinung: Ein von Lean geprüfter Beweis einer benannten Vermutung von 2008 wäre ein ernstzunehmender wissenschaftlicher Anspruch, und der von PSI zitierte Stanford-Kommentar ist auffällig – aber der Anspruch sollte als „ein formaler Beweis existiert und Experten prüfen ihn“ gelesen werden, nicht als eine endgültige Neufassung der Quantenkomplexität, bis die Aussagen öffentlich abgeglichen sind.

Was wir nicht überprüfen konnten

• Dass der Lean-Satz formal identisch mit der ursprünglichen Aaronson–Ambainis-Vermutung ist.
• Eine unabhängige Ausarbeitung, die nicht von PSI zitiert oder gehostet wird.
• Die Identität und Version des nicht-öffentlichen Anthropic-Modells, das im Lauf verwendet wurde.