Unveröffentlichtes Anthropic-Modell soll 18 Jahre alte Quanten-Vermutung bewiesen haben

Worum es geht

Auf Reddit verbreitet sich eine bemerkenswerte Meldung: Ein noch nicht veröffentlichtes KI-Modell von Anthropic soll innerhalb von nur drei Tagen einen Beweis für die sogenannte Aaronson-Ambainis-Vermutung gefunden haben. Diese Vermutung aus der theoretischen Informatik ist seit rund 18 Jahren offen. Die Behauptung kommt von Forschern bei einer Organisation namens Physical Superintelligence. Nach deren Darstellung legt der Beweis eine grundlegende Grenze dafür fest, wie viel schneller Quantencomputer bei bestimmten Problemen sein können als herkömmliche Rechner.

Die uns vorliegenden Quellen sind sehr dünn. Es handelt sich um zwei Reddit-Beiträge im Forum r/singularity, die vor allem aus Überschriften bestehen. Einer trägt den Titel „A proof of the Aaronson-Ambainis conjecture“, also „Ein Beweis der Aaronson-Ambainis-Vermutung“. Wie das Modell heißt, wie der Beweis abläuft, ob er schon von Mathematikern geprüft wurde und welche Rolle die Menschen dabei gespielt haben, geht daraus nicht hervor. Alles Weitere in diesem Artikel ist Hintergrund zur Einordnung.

Was die Aaronson-Ambainis-Vermutung besagt

Benannt ist die Vermutung nach den Informatikern Scott Aaronson und Andris Ambainis. Sie haben sie Ende der 2000er Jahre formuliert. Sie gehört zur Quanten-Komplexitätstheorie, die untersucht, welche Aufgaben Quantencomputer grundsätzlich schneller lösen können als normale Computer.

Eine Grundfrage lautet: Woher kommt der Vorteil eines Quantencomputers? Bekannte Beispiele wie Shors Algorithmus zum Zerlegen großer Zahlen nutzen eine besondere Struktur des Problems, etwa eine versteckte Periodizität, also ein sich wiederholendes Muster. Die Vermutung zielt auf den umgekehrten Fall. Fehlt eine solche Struktur und soll der Quantenrechner bei praktisch allen möglichen Eingaben gut funktionieren, dann bringt er vermutlich keinen gewaltigen, also exponentiellen, Vorteil. Ein klassischer Rechner könnte ihn dann auf den meisten Eingaben mit vertretbarem Mehraufwand nachahmen.

Mathematisch ist die Vermutung eine Aussage über bestimmte Polynome, also Rechenausdrücke aus Variablen, die nur die Werte 0 und 1 annehmen. Sie besagt, dass in jedem solchen beschränkten Polynom von niedrigem Grad mindestens eine Variable einen spürbaren Einfluss auf das Ergebnis haben muss. Daraus würde folgen, dass sich Quantenalgorithmen für unstrukturierte Probleme klassisch nachahmen lassen. Das meinen die Forscher vermutlich mit der „grundlegenden Grenze für Quanten-Beschleunigungen“. Diese Herleitung ist unsere Einordnung und steht nicht in den Quellen.

Warum das Ergebnis bedeutsam wäre

Trifft die Meldung zu, wäre das aus zwei Gründen bemerkenswert:

• Für die Wissenschaft: Die Vermutung gilt seit Jahren als eines der bekannteren offenen Probleme ihres Fachs, und viele Forscher haben Teilergebnisse dazu geliefert. Ein vollständiger Beweis würde genauer klären, wo Quantencomputer prinzipiell nicht helfen können.
• Für die KI-Entwicklung: Sprachmodelle haben in den vergangenen Jahren zunehmend bei mathematischen Wettbewerbsaufgaben und einzelnen Forschungsproblemen mitgearbeitet. Ein eigenständig gefundener Beweis für eine bekannte, lange offene Vermutung in nur drei Tagen wäre ein deutlicher Schritt darüber hinaus.

Was offen ist

Bei der Bewertung ist Vorsicht nötig. Folgende Punkte sind ungeklärt:

• Keine unabhängige Prüfung: Mathematische Beweise gelten erst als gesichert, wenn Fachleute sie gründlich geprüft haben. Bei so bekannten Problemen tauchen immer wieder Beweise auf, die sich später als fehlerhaft herausstellen. Ob der Beweis zum Beispiel in einem Beweisassistenten formal verifiziert wurde, also von einer Software Schritt für Schritt geprüft, ist nicht bekannt.
• Keine Bestätigung von Anthropic: Die Quellen enthalten keine Stellungnahme des Unternehmens und keinen Namen des Modells.
• Unklarer Anteil von Menschen und KI: Ob das Modell den Beweis allein gefunden hat oder Forscher es eng angeleitet haben, Zwischenschritte vorgegeben und Fehler korrigiert haben, bleibt offen. Auch was „drei Tage“ genau bedeutet, ist unklar.
• Wenig bekannte Quelle: Über Physical Superintelligence liefern die vorliegenden Beiträge keine Informationen.

Einordnung

Die Meldung passt zu einem klaren Trend: KI-Labore wollen ihre Modelle zunehmend als Werkzeuge für echte Forschung positionieren, nicht nur als Chat-Assistenten. Ein Beweis für die Aaronson-Ambainis-Vermutung wäre dafür ein starkes Beispiel, denn das Problem ist präzise formuliert und in der Fachwelt gut bekannt, und der Beweis lässt sich prüfen. Gerade deshalb kommt es jetzt auf die Prüfung an. Solange keine begutachtete Veröffentlichung, keine formale Verifikation oder keine Bestätigung bekannter Fachleute vorliegt, bleibt es eine interessante, aber unbelegte Behauptung. Wir verfolgen, ob sich Experten aus der Quanten-Komplexitätstheorie dazu äußern.