Google DeepMind мамандары Google Quantum AI-мен бірлесіп, кванттық алгоритмдерді әзірлеуге түбегейлі жаңа тәсілді көрсетті, оған ИИ-агенттерді Lean математикалық дәлелдеулерді формальды верификациялау жүйесімен байланыста пайдаланды. Нәтижесінде есептеу ресурстарын оңтайландыруға қол жеткізілді, бұл бүкіл кванттық есептеулер саласы үшін жаңа бағдарларды белгілейді.
Оңтайландырудың негізгі көрсеткіштері
Ең әсерлі нәтиже термоядролық синтезді модельдеу саласында қол жеткізілді — есептеу ресурстарының шығындары 10,9 есеге қысқарды. Фотохимиялық процестер үшін көрсеткіш 8 есеге, ал дәрілік препараттардың метаболизмі міндеттері үшін 2,5 есеге қысқарды.
Серпілістің әдіснамалық негізі — Lean арқылы кванттық алгоритмдерді генерациялайтын және бір уақытта верификациялайтын ИИ-агенттерді пайдалану. Дәлелдеулерді формальды тексеру логикалық қателерді жояды және ең тиімді есептеу схемаларын автоматтандырылған түрде іріктеуге мүмкіндік береді, бұл әзірлеу циклін түбегейлі жылдамдатады.
Нәтижелердің теориялық сипаты
Атап өту маңызды: қол жеткізілген көрсеткіштер әзірге теориялық сипатта. Оңтайландырылған бағдарламаларды практикалық іске қосу үшін қуаты бойынша қолданыстағы жүйелерден айтарлықтай асып түсетін кванттық компьютерлер қажет. Соған қарамастан, ресурстарға қойылатын талаптардың шамамен бір реттікке қысқаруы мұндай міндеттерді практикалық іске асыру болжанғаннан әлдеқайда ертерек шындыққа айналуы мүмкін екенін білдіреді.
Бұл нәтиже қалыптасып келе жатқан трендті көрсетеді: ИИ тек талдау құралы ғана емес, кванттық алгоритмдерді әзірлеуде толыққанды тең авторына айналуда. «ИИ-агенттер + формальды верификация» байланысы кванттық есептеулердің теориялық мүмкіндіктері мен олардың фармацевтикада, энергетикада және материалтануда қолданбалы қолданылуы арасындағы алшақтықты түбегейлі қысқартуға қабілетті.
Cryptalist талдауы: Термоядролық синтез міндеттері үшін есептеу шығындарының 10,9 есеге қысқаруы — бұл косметикалық жақсарту емес, кванттық технологиялардың практикалық қолданылу шегінің жылжуы. Мұндай серпілістер кванттық есептеулерді келесі технологиялық шеп ретіндегі ұзақмерзімді нарративті күшейтеді, бұл нарықтың сабақтас сегменттеріне институционалдық инвесторлардың қызығушылығын жанама түрде қолдайды. Алайда коммерцияландыруға дейінгі қашықтық әлі де айтарлықтай, және нарық қатысушылары мұндай жетістіктерді қысқамерзімді катализатор емес, іргелі катализатор ретінде бағалауы керек.