- Scott Aaronson va Andris Ambainis tomonidan 2008-yilda shakllantirilgan mashhur kvant gipotezasi AI tomonidan to'liq yechildi.
- Avtonom AI tizimi 3 kunlik izlanishdan so'ng Lean 4 isbotlash dasturida qadamma-qadam tekshirilgan rasmiy yechimni hosil qildi.
- Natija kvant kompyuterlarining tasodifiy ma'lumotlarda oddiy kompyuterlardan cheksiz ustun bo'la olmasligi chegarasini qat'iy belgilab beradi.
Qisqa javob: Kvant hisoblash sohasida 2008-yildan buyon eng katta ochiq muammolardan biri bo'lgan Aaronson-Ambainis gipotezasi sun'iy intellekt yordamida to'liq isbotlandi. Tadqiqot guruhi shunchaki matnli izoh bilan cheklanmasdan, har bir matematik mantiqiy qadamni Lean 4 rasmiy isbotlash dasturida xatosiz tekshiruvdan o'tkazdi.
Aaronson-Ambainis gipotezasi nimani anglatadi?
Olimlar Scott Aaronson va Andris Ambainis 2008-yilda kvant algoritmlarining real chegaralarini aniqlash bo'yicha muhim savolni o'rtaga tashlagan edilar: kvant kompyuterlari hech qanday ichki qonuniyat yoki tuzilishga ega bo'lmagan tasodifiy ma'lumotlar to'plamida ham oddiy (klassik) kompyuterlardan eksponentsial darajada tez ishlay oladimi? Yangi isbot shuni ko'rsatdiki, javob — yo'q. Kvant ustunligi faqat yashirin matematik qonuniyatlar (masalan, Shor algoritmidagi davriy chastotalar) mavjud bo'lgandagina yuzaga chiqadi; aks holda, kvant tezligi polinom chegarasidan oshmaydi.
Lean 4: Matematik xatolarga o'rin yo'q
Physical Superintelligence (PSI) laboratoriyasi ushbu kashfiyotni amalga oshirish uchun AI agentlarini Lean 4 interaktiv isbotlash muhitiga uladi. Bu yondashuv til modellariga xos "gallyutsinatsiya" yoki xato mantiqiy xulosalarni butunlay istisno qiladi, chunki Lean kompyuter dasturi har bir formulani qat'iy matematik qoidalar bo'yicha tekshirib boradi.
Fan uchun amaliy ahamiyati
Ushbu ilmiy natija kvant fizikasi uchun qaysi muammolarni kvant hisoblashga topshirish foydali, qaysilarida esa klassik usullar yetarli ekanini aniq ko'rsatib beradi. Shu bilan birga, bu voqea sun'iy intellekt fundamental nazariy fanda inson aqli yetmagan murakkab jumbonqlarni mustaqil yecha olishining yorqin isbotiga aylandi.