Kínai kutatók kvantumszámítógép segítségével végeztek el logikai lépésekre épülő matematikai bizonyítást egy 1978-as olimpiai feladaton.
A kvantumszámítógépek fejlődése újabb mérföldkőhöz érkezett, amely átformálhatja a tudományos gondolkodást. Egy kínai kutatócsoport sikeresen mutatta meg, hogy a kvantumprocesszorok nemcsak villámgyors számításokra képesek, hanem strukturált matematikai érvelésre és logikai bizonyításra is alkalmasak.
A Csöcsiang Egyetem és a Csinghua Egyetem szakemberei egy 121 qubites szupravezető kvantumprocesszor segítségével igazoltak két geometriai tételt. A kísérlet során egy egyszerűbb algebrai feladat mellett a Nemzetközi Matematikai Diákolimpia egy 1978-as, összetett geometriai problémáját is feldolgozták, amiről a ScienceAlert számolt be.
Az első tesztben a kvantumarchitektúra azt bizonyította be, hogy a négyzet átlói derékszögben metszik egymást. Ezt követően a szakértők az 1978-as diákolimpiai feladatra tértek át, amely egymást metsző körök és háromszögek bonyolult geometriai összefüggéseit tartalmazta.
Gépi tanulási technikák
A kutatók a szimbolikus bizonyításkeresés nevű eljáráshoz folyamodtak, amelynél a kvantumáramkörök fogalmazták meg, alkalmazták és értékelték a logikai lépéseket. A folyamat során egyes gépi tanulási technikák támogatásával erősítették meg a helyes érvelési lépéseket.
NE HAGYD KI
Kövess minket a Google-ben
Legyen a Liner a követett forrásod
Jelöld be a Linert követett forrásként a Google-ben.
A kísérlet valódi áttörése abban rejlik, hogy absztrakt matematikai fogalmakat és logikai láncolatokat sikerült futtatni a kvantumhardveren. A qubiteket jellemző zaj és instabilitás ellenére bizonyítást nyert, hogy a közeljövő kvantumprocesszorai képesek a logikai következtetésre.
„Eredményeink kísérleti szinten igazolják, hogy az automatizált logikai érvelés megvalósítható feladat a közeljövő kvantumprocesszorai számára, és konkrét utat mutatnak a kvantummal támogatott szimbolikus intelligencia felé” – fejtették ki a tanulmány szerzői.
A jövő technológiája
A szakemberek szerint a technológia a jövőben a mesterséges intelligenciának is segíthet olyan összetett matematikai feladatok megoldásában, amelyekkel a hagyományos számítógépek nem boldogulnak. A módszer széles körű elterjedéséhez ugyanakkor a hardverek további fejlődésére van szükség, mivel a jelenlegi kapacitások még korlátozzák az egyenletek méretét.
„A jelenlegi kísérletek korlátozott méretű polinomiális példákon és szimbolikus kapcsolatokon működnek, ahol a bizonyítási állapotot a egymást követő érvelési fordulók között mérik és újra előkészítik. Ezek a korlátozások a rendelkezésre álló hardveres erőforrásokból adódnak, nem pedig magának a rendszernek a szerkezetéből” – részletezték a kutatók.
Az arXiv adatbázisában közzétett, még szakmai bírálat előtt álló tanulmány egyelőre koncepcionális bizonyítékként szolgál. A szakértők szerint a fizikai infrastruktúra skálázásával a jövőben teljesen új matematikai távlatok nyílhatnak meg.