Claude nyolc kvantumáramkört javított, hardveres próba nélkül

Az Anthropic 2026. október 16-i kutatási közlése szerint a Claude Mythos 5 nyolc kvantumáramkör-tervezési feladathoz talált új megoldásokat; egy 53 órás keresésből származó pontösszeadási terv a korábbi legkisebb változatnál 12 százalékkal több qubitet, de 17-szer kevesebb kaput igényel. A modell áramköröket előállító programokat módosított, miközben egy külön értékelő ellenőrizte a jelöltek működését és becsült erőforrásigényét.

A közölt eredmény működőnek értékelt áramkörtervekre és azok számított költségére vonatkozik. A Signal beszámolója szerint a kutatás preprintként jelent meg, szakértői bírálaton még nem esett át, és a tervekkel elért előnyt nem demonstrálták kvantumhardveren. Így a kedvezőbb kapu- és qubitszám egyelőre nem mért gyorsulás vagy megbízhatósági javulás egy fizikai gépen.

Nyolc feladat, kétféle eredmény

Az október 15-én benyújtott preprint nyolc részfeladat közül hétben egyszerre kisebb Toffoli-kapu- és qubitszámot közöl a korábbi összehasonlítási alaphoz képest. A nyolcadik feladatban a kutatók új, megfordítható moduláris inverziós eljárást mutatnak be, amely a kapuszám és a qubitigény között kínál új választási lehetőségeket. Ezért a teljes eredményt pontatlan lenne úgy leírni, mintha minden bemutatott áramkör mindkét mutatóban felülmúlta volna a korábbi terveket.

A feladatok nagyobb kvantumalgoritmusok építőelemei: szerepel köztük hibajavító kódok dekódolása egy optimalizálási módszerhez, numerikus függvények kiszámítása, kémiai és fizikai rendszerek szimulációját segítő művelet, valamint számelméleti aritmetika. Egy ilyen részfeladat az algoritmus futása során sokszor ismétlődhet. Ha az egyes végrehajtásokhoz kevesebb erőforrás kell, az a teljes tervezett számítás méretét is csökkentheti, de ennek mértéke az adott algoritmustól függ.

A Toffoli-kapuk száma a költséges logikai műveletek egyik mérőszáma, a qubitszám pedig azt jelzi, mennyi információt kell egyszerre tárolnia az áramkörnek. A kettő gyakran egymás ellen dolgozik: a köztes eredmények megtartása tárhelyet kér, újraszámításuk viszont műveleteket ad hozzá. A kutatás ezért nem pusztán rövidebb kapusorokat keresett, hanem eltérő szerkezetű megoldásokat ugyanarra a meghatározott számításra.

A pontösszeadásnál a visszafejtés váltott ki tárolást

Az elliptikus görbén végzett pontösszeadás költséges része a moduláris inverzió. Az ehhez használt klasszikus divsteps eljárás menet közben az aktuális számoktól függően választ műveleteket. Egy kvantumáramkörben a számítást megfordítható módon kell felépíteni, ezért a korábbi választások adatait nem lehet egyszerűen eldobni. Az előzmények külön tárolása sok qubitet foglalhat le, különösen akkor, ha az inverziót egy nagyobb algoritmus ismételten használja.

Claude olyan változatot dolgozott ki, amely a köztes számpárok állapotából visszafejti a korábbi elágazási döntések egy részét. Ettől az áramkör visszafelé is végrehajtható anélkül, hogy minden döntés teljes történetét külön megőrizné. A kutatók matematikai érvelést, numerikus vizsgálatot és Leanben formalizált ellenőrzést is leírnak a visszafejtési szabályhoz. A megoldás lényegi újítása tehát a megfordíthatósághoz szükséges információ kezelése.

A visszafejtésnek is van műveleti költsége. A bemutatott áramkörcsalád ezért a döntések egy részét tárolja, más részét később állítja helyre; a kiemelt terv ezen a skálán választ más pontot, mint a qubitek szerint legkisebb korábbi megoldás. A pontösszeadás az elliptikus görbékre épülő diszkrétlogaritmus-algoritmusokban fontos részfeladat, de egy olcsóbb részfeladat önmagában nem jelenti azt, hogy a teljes algoritmus már futtatható a rendelkezésre álló gépeken.

Mit igazolt a klasszikus ellenőrzőhurok?

Claude Python-programokkal írta le az áramkörjelölteket, az értékelő pedig minden körben visszajelzést adott a helyességről és a becsült költségről. A kiválasztott feladatok olyan műveletekre épülnek, amelyek számítási bázisú bemeneteken hagyományos géppel is követhetők. Az értékelő nem csupán a kimeneti biteket vizsgálta: ellenőrizte a szükséges bemenetek megőrzését, a segédqubitek visszaállítását és a kvantuminterferenciához fontos fázist is.

Ez a módszer megmagyarázza, miért kaphatott a modell gyors, tárgyilagos visszajelzést a javaslatairól. Egy hibás áramkör kiesett, egy helyesnek értékelt változat pedig a Toffoli-kapuk és az egyszerre használt qubitek alapján kapott pontszámot. Nagy bemeneti terek esetén az ellenőrzés mintavételt alkalmazott, így a megállapított helyesség az adott feladat bemeneti eloszlásához és megengedett hibahatárához kötődik. Más felhasználási feltételek mellett ugyanezt a tervet újra kell értékelni.

A keresés eredményét az értékelő választásai is alakították. A kapuszám és a qubitigény szorzata alkalmas közös összehasonlításra, de egy valódi gépen a kapuk végrehajtási sorrendje, a qubitek közötti kapcsolatok, a mérések és a hibajavítás költsége is számít. Ugyanaz az áramkör ezért eltérő hardvereken eltérő előnyt adhat, még akkor is, ha a logikai műveletei és a számított erőforrásigénye változatlanok.

A fizikai futás dönti el a gyakorlati előnyt

A klasszikus ellenőrzés azt mutatja meg, hogy a terv a meghatározott feladatra megfelelő műveletet végez-e. Az erőforrásbecslés azt mutatja meg, hány logikai kapu és qubit szükséges az áramkör leírása szerint. A hardveres próba ettől külön lépés: a műveleteket egy adott berendezésen kell megvalósítani, majd a futási időt és a hibákat azonos feltételek mellett összehasonlítani a korábbi tervével.

A következő döntő adat egy konkrét kvantumprocesszoron végzett összehasonlítás lenne, azonos feladattal és azonos pontossági követelménnyel. Ott derülhet ki, hogy a logikai szinten megtakarított műveletek mekkora része marad meg a fizikai vezérlés és a hibajavítás költségei után. Addig a mostani munka az áramkörtervezésben elért, klasszikusan ellenőrzött eredmény.

Olvassa el ezt is: