Przewaga kwantowa to moment, w którym komputer kwantowy może wykonać zadanie dokładniej, taniej lub wydajniej niż jakakolwiek znana metoda klasyczna . Opublikowane przez IBM ramy (arXiv:2506.20658) wymagają spełnienia dwóch kryteriów: po pierwsze, poprawność wyniku kwantowego musi być rygorystycznie potwierdzona; po drugie, obliczenia kwantowe muszą wykazać przewagę wydajnościową, kosztową lub dokładnościową w porównaniu z podejściami klasycznymi . Te trzy artykuły zostały zaprojektowane tak, aby spełniać oba kryteria jednocześnie .
Artykuł ten symulował heterogeniczny materiał kwantowy zaprojektowany przez Algorithmiq na procesorze IBM Quantum Heron. Model oddaje programowalną materię kwantową, w której można regulować przepływ informacji, lokalizację i interferencję — klasę problemów istotną przy projektowaniu katalizatorów i elektrolitów do baterii .
Kluczowy wynik: Osiem miesięcy po pierwszym udostępnieniu problemu w Quantum Advantage Tracker, żadna metoda klasyczna nie była w stanie wiarygodnie wyprodukować wyników w całym zakresie badanego problemu .
Jak potwierdzono wynik: Klasyczne metody symulacji dawały między sobą sprzeczne przewidywania — nie mogły zgodzić się co do poprawnej odpowiedzi. Zespół opracował framework "zaufanych obliczeń kwantowych" wykorzystujący manipulację szumem: celowo wprowadzano kontrolowany szum, modyfikowano kalibracje bramek i uruchamiano obliczenia na wielu procesorach IBM. Wynik kwantowy pozostawał stabilny przy zmieniających się warunkach szumu, co stanowiło dowód, że prawdziwa wartość fizyczna jest obliczana poprawnie .
Zaproszenie dla społeczności: Algorithmiq udostępnił jako open-source narzędzie monoprop — swoją najlepszą klasyczną metodę symulacji stanów podstawowych cząsteczek — aby każda grupa badawcza mogła go użyć do testowania przyszłych roszczeń o przewadze kwantowej .
Artykuł ten wykorzystał nowatorską konstrukcję zakodowanych (z korekcją błędów) obwodów kwantowych do przeprowadzenia jednej z największych dotychczas opublikowanych demonstracji logicznych obliczeń kwantowych: 70 logicznych kubitów, wykonujących 2415 logicznych operacji na dwóch kubitach i 468 logicznych bramek T. Logiczne współczynniki błędów były 10 razy niższe niż podstawowe fizyczne współczynniki błędów, co potwierdza, że korekcja błędów działała skutecznie .
Kluczowy wynik: Obliczenia kwantowe zakończyły się w około 15 minut. Wiodące klasyczne metody symulacji napotkałyby dla równoważnego zadania czasy obliczeń uniemożliwiające ich praktyczne wykonanie .
Jak potwierdzono wynik: Zespół opracował ustrukturyzowaną alternatywę dla próbkowania losowych obwodów (RCS), która zachowuje te same kryteria trudności, ale umożliwia wykrywanie błędów podczas samych obliczeń, zapewniając statystyczną pewność co do wierności wyniku .
Zaproszenie dla społeczności: Obwody i wyniki zostały otwarcie udostępnione w Quantum Advantage Tracker do porównań .
Artykuł ten wykorzystał oprogramowanie do łagodzenia błędów QESEM firmy Qedma na procesorach IBM Quantum Heron do badania dynamiki dwuwymiarowego modelu Floqueta-Isinga (napędzanego układu magnetycznego) w układach o wielkości do 74 kubitów, rozwiązując złożone, długożyciowe oscylacje kwantowe, których metody klasyczne nie były w stanie spójnie odtworzyć .
Kluczowy wynik: Klasyczne symulacje uruchomione na superkomputerze Fugaku (jednym z najpotężniejszych na świecie, dostępnym za pośrednictwem RIKEN) oraz metody od BlueQubit nie mogły spójnie zgodzić się co do wyników przy skali osiągniętej przez eksperymenty kwantowe, podczas gdy wyniki kwantowe z łagodzeniem błędów pozostawały spójne .
Jak potwierdzono wynik: Trójwarstwowa strategia: (1) bezstronne łagodzenie błędów zostało porównane z obliczeniami klasycznymi na mniejszych skalach, gdzie metody klasyczne są nadal wiarygodne; (2) następnie skalowalne podejście do łagodzenia rozszerzono na większe rozmiary; (3) niezależna walidacja międzyplatformowa na systemach pułapek jonowych Quantinuum potwierdziła, że obserwowana fizyka nie była specyficzna dla sprzętu IBM .
Zaproszenie dla społeczności: Obwody kwantowe i wyniki zostały publicznie udostępnione w Quantum Advantage Tracker przed publikacją na arXiv .
Wszystkie trzy zespoły opublikowały swoje problemy i wyniki w otwartoźródłowym narzędziu IBM Quantum Advantage Tracker — pierwszej w swoim rodzaju platformie społecznościowej do systematycznego porównywania metod kwantowych i klasycznych w czasie rzeczywistym . Każda grupa badawcza może próbować obalić roszczenia kwantowe lepszymi algorytmami klasycznymi, a tracker pokaże porównanie w otwarty sposób .
Utrzymującą się krytyką wcześniejszych roszczeń o supremację kwantową (takich jak eksperyment Google Sycamore z 2019 roku) był fakt, że wyniku kwantowego nie można było niezależnie zweryfikować. Kluczowym wkładem IBM we wszystkich trzech artykułach jest metodologia budowania zaufania do wyników kwantowych, nawet gdy klasyczna weryfikacja jest niemożliwa: kontrole stabilności poprzez manipulację szumem, konstrukcje obwodów wykrywających błędy oraz walidacja międzyplatformowa na różnych typach sprzętu .
Jay Gambetta, dyrektor IBM Research, stwierdził: "Komputery kwantowe osiągnęły punkt, w którym mogą dostarczyć dowody na podstawowe kryteria przewagi: mogą przewyższać wiodące metody klasyczne, a jednocześnie mogą produkować wyniki, którym możemy ufać" . W czerwcu 2026 roku IBM zobowiązał się do wydania ponad 10 miliardów dolarów na swoją mapę drogową obliczeń kwantowych, z celem stworzenia odpornego na błędy komputera kwantowego (IBM Quantum Starling) do 2029 roku .