Speisekarte
Krypto-Abschnitte
Das Cambridge-Startup sagt, sein System habe die Aaronson-Ambainis-Vermutung in drei Tagen bewiesen, mit einer Lean-Formalisierung zur Untermauerung
Dienstag, 10. November 2026 · 14:08 EST · 3 Minuten Lesezeit
In der KI
Aktie
Ein kaum zwei Monate altes Start-up sagt, es habe eine Quantencomputerfrage geklärt, die Forscher fast zwei Jahrzehnte lang verwirrte.
Physical Superintelligence (PSI) gab am 6. November 2026 bekannt, dass es die Aaronson-Ambainis-Vermutung bewiesen habe. Die Arbeit nutzte ihr internes Forschungssystem neben einem nicht-öffentlichen Anthropic-Modell, und das Unternehmen gab an, dass der Beweis am dritten Tag des Systemlaufs gelandet sei.
Noch auffälliger ist die Reaktion eines der Personen, die das Problem gestellt haben. Scott Aaronson sagt, dass er den Beweisen nicht vollständig folgt. Er glaubt es trotzdem.
Was PSI tatsächlich bewiesen hat
Bei der Aaronson-Ambainis-Vermutung geht es um eine grundlegende Frage: Wann können Quantencomputer tatsächlich klassische Computer in puncto Geschwindigkeit schlagen? Es wurde erstmals im Jahr 2008 auf den Markt gebracht und 2014 offiziell geäußert.
Auf den mathematischen Kern reduziert, besagt die Vermutung, dass jedes begrenzte Polynom niedrigen Grades auf dem Booleschen Würfel eine einflussreiche Variable hat.
Den Forschungsergebnissen zufolge schließt der Beweis einen exponentiellen Quantenvorteil bei Zufallsorakeln für Entscheidungsprobleme aus. Teilergebnisse hatten das Problem bereits zuvor gelöst. Der vollständige Beweis war bis jetzt noch nie eingetroffen.
PSI hat seine Arbeit als 13-seitiges Papier und als vollständige Lean-Formalisierung veröffentlicht, beide gehostet auf GitHub unter der Organisation Physical-Superintelligence.
Warum Lean die schwere Arbeit übernimmt
Lean ist eine Programmiersprache für Mathematik. Anstatt sich darauf zu verlassen, dass ein menschlicher Gutachter jeden Schritt liest und überprüft, schreiben Sie den Beweis als Code und ein kleines, vertrauenswürdiges Programm namens Kernel überprüft, ob jeder Schritt logisch auf den letzten folgt.
KI, Technologie und die Märkte, die sie bewegen – in einem täglichen Briefing.
Täglich. Frei. Schließen Sie sich mehr als 34.000 Lesern aus den Bereichen Krypto, Finanzen und Politik an.
Wir respektieren Ihre Privatsphäre. Abmelden jederzeit möglich.
Der Umfang ist hier beträchtlich. Die Formalisierung des PSI umfasst 9.454 Zeilen und 648 Theoreme, ohne zusätzliche Axiome oder Platzhalter.
Die Forschungsergebnisse weisen auch darauf hin, dass die Formalisierung mithilfe mehrerer Kernel unabhängig voneinander überprüft wurde.
Diese Verifizierungsebene ist genau der Grund, warum Aaronson bereit ist, etwas zu unterzeichnen, das er nicht vollständig versteht. Er glaubt, dass der Beweis korrekt ist, weil er in Lean automatisch formalisiert und von einem Team aus Spitzenforschern erklärt wurde, dem das PSI das Ergebnis mitgeteilt hat.
Ein negatives Ergebnis und warum das nützlich ist
Der Befund ermöglicht keinen schnelleren Quantenalgorithmus. Es schließt eine Tür.
Turturean beschrieb es TechCrunch in praktischen Worten:
„Es ist ein negatives Ergebnis, das den Leuten klar macht: Okay, da suchen wir nicht mehr.“
Auch dem Ergebnis sind klare Grenzen gesetzt. Die Forschungsergebnisse deuten darauf hin, dass strukturierte Beschleunigungen wie Shors Algorithmus davon nicht betroffen sind. Der Beweis beschränkt den Quantenvorteil auf unstrukturierte Eingaben, nicht jede Art von Quantenvorteil.
Wer ist überhaupt PSI?
PSI ist ein gemeinnütziges Unternehmen mit Sitz in Cambridge, Massachusetts. Es startete im September 2026 mit einer Startfinanzierung in Höhe von 58 Millionen US-Dollar unter der Leitung von Breakthrough Energy Ventures.
Dieser Zeitplan ist bemerkenswert. Ein Unternehmen, das seine erste Runde im September aufgelegt hatte, legte Anfang November ein Ergebnis zu einem fast zwei Jahrzehnte alten offenen Problem vor.
Auch der anthropische Blickwinkel ist ein Hingucker. Das PSI verwendete als Teil seines Systems ein nicht öffentliches Anthropic-Modell, was bedeutet, dass das Ergebnis teilweise auf KI-Fähigkeiten beruhte, auf die externe Forscher derzeit keinen Zugriff haben.
Offenlegung: Dieser Artikel wurde von Diego Almada Lopez bearbeitet. Weitere Informationen darüber, wie wir Inhalte erstellen und überprüfen, finden Sie in unserer Redaktionsrichtlinie.
Die Nachrichten über das, was Sie halten
Verfolgen Sie Ihre Aktien und Kryptowährungen. Lesen Sie die Neuigkeiten von Hunderten von Verlagen in Pro.
Datenschutzrichtlinie
