Қытай кванттық компьютері 1978 жылғы Халықаралық математика олимпиадасының есебін дәлелдеді
Материал бірнеше дереккөз негізінде жасанды интеллектпен дайындалды — түпнұсқаларға сілтемелер төменде.
Қытай зерттеушілері 121-кубитті асқын өткізгіш кванттық процессорды пайдаланып, екі геометриялық теореманы, соның ішінде 1978 жылғы Халықаралық математика олимпиадасының есебін автоматты түрде дәлелдеді. Чжэцзян университеті мен Цинхуа университетінің командасы жетістікті сипаттайтын препринтті arXiv платформасында жариялады. Жұмыс құрылымдалған математикалық пайымдауды кванттық есептеу процесі ретінде тұжырымдауға болатынын көрсетеді.
Негізгі фактілер
- 121-кубитті асқын өткізгіш кванттық процессор 1978 жылғы Халықаралық математика олимпиадасының есебін дәлелдеді.
- Зерттеуді Қытайдағы Чжэцзян университеті мен Цинхуа университетінің ғалымдары жүргізді.
- Команда бірін-бірі толықтыратын екі әдісті қолданды: Ву әдісі және жеңілдетілген машиналық оқыту әдістерімен символдық дәлелдеу іздеу.
- Жұмыс arXiv платформасында препринт ретінде қолжетімді және әлі тәуелсіз ғылыми рецензиядан өткен жоқ.
Кванттық дәлелдеу
Чжэцзян университеті мен Цинхуа университетінің қытайлық ғалымдары arXiv платформасында препринт жариялады, онда 121-кубитті асқын өткізгіш кванттық процессордың екі геометриялық теореманы автоматты түрде дәлелдегені сипатталады. Теоремалардың бірі — биыл 48 жыл толатын 1978 жылғы Халықаралық математика олимпиадасының тапсырмасы. Екінші теорема шаршы диагональдарының перпендикулярлығына қатысты және жаңа әдістің қарапайым сынағы ретінде қызмет етті. Олимпиада есебі теңбүйірлі үшбұрыштағы жанама шеңберлерге қатысты геометриялық қатынасты дәлелдеуді талап етті.
Әдістер мен архитектура
Зерттеушілер геометриялық шарттарды кванттық күйлерге кодтау үшін бірін-бірі толықтыратын екі тәсіл әзірледі. Бірінші тәсіл Ву әдісін жүзеге асырады, геометриялық шарттарды кванттық күйлердің суперпозициясында жазылған көпмүшелік теңдеулер жүйесіне аударады. Екінші әдіс дәлелдеуді кері бағытта құрады, гибридті кванттық-классикалық архитектурада символдық пайымдау арқылы қалаған қорытындыдан бастапқы шарттарға қарай қадамдар тізбегін іздейді. Олимпиада теоремасы үшін команда логикалық қадамдарды ұсыну, қолдану және бағалау үшін жеңілдетілген машиналық оқыту әдістерімен қолдау тапқан символдық дәлелдеу іздеу әдісін пайдаланды.
Маңызы мен шектеулері
Авторлар жұмыс құрылымдалған математикалық пайымдауды кванттық есептеу процесі ретінде тұжырымдау мүмкіндігін растайды деп мәлімдейді. Бұған дейін кванттық артықшылықтар оңтайландыру немесе молекулаларды модельдеу сияқты тар есептерде көрсетілген болса, бұл процессор логикалық қорытынды шығаруды орындады. Зерттеу әлі рецензияланатын журналда жарияланған жоқ, бірақ оның препринті arXiv платформасында қолжетімді. Кубиттердің шулы және тұрақсыз табиғатына қарамастан, бұл жетістік классикалық компьютерлерге қолжетімсіз күрделі математикалық есептерді шеше алатын болашақ ЖИ және кванттық есептеу жүйелеріне негіз қалайды деп күтілуде.
2 дереккөз
Уақыт · артта қалуы