Kuantum bilgisayarlarla matematiksel çıkarım gösterildi
Yeni bir çalışma, kuantum bilgisayarların mantıksal kuralları izleyerek doğrulanabilir matematiksel çıkarımlar yapabildiğini ortaya koydu. Sistemle bir geometri teoremi ve 1978 Uluslararası Matematik Olimpiyatı’ndan bir problem çözüldü.
Kuantum teknolojileri alanında yürütülen bir çalışmada, kuantum bilgisayarların yalnızca veri işlemekle kalmayıp mantıksal kuralları izleyerek doğrulanabilir matematiksel çıkarımlar yapabildiği deneysel olarak gösterildi.
Araştırmacılar, kuantum donanımı kullanarak bir karenin köşegenlerinin dik kesiştiğini kanıtladı. Ekip ayrıca 1978 Uluslararası Matematik Olimpiyatı’nda yer alan karmaşık bir geometri problemini de çözdü.
İki farklı yöntem kullanıldı
Karenin köşegenlerinin dikliğini kanıtlamak için cebirsel geometriye dayalı Wu Yöntemi kullanıldı. Olimpiyat sorusunun çözümünde ise makine öğrenimiyle desteklenen sembolik kanıt arama tekniklerinden yararlanıldı.
Çalışmada, kübitlerin gürültülü ve kararsız yapısına rağmen elde edilen sonuçların alanında bir ilk olduğu belirtildi. Bulgular, henüz hakemli bir dergide yayımlanmadı; çalışma arXiv platformunda ön baskı olarak erişime açıldı.
Uzmanlar, bu başarının ileride yapay zekâ ve kuantum sistemlerinin klasik bilgisayarların kapasitesini aşan karmaşık problemleri çözmesine katkı sağlayabileceğini öngörüyor. Çalışma, kuantum bilişimde teorik sınırların ötesine geçilmesi açısından önemli bir adım olarak değerlendiriliyor.
Kaynak: HaberSitesi
