Anthropic'in gizemli modeli kuantum hesaplamada önemli bir varsayımı çözdü, matematik dünyasını yaklaşık 20 yıldır meşgul eden problem çözüldü

动察 Beating AI hızlı haber: Yapay zeka araştırma şirketi Physical Superintelligence (PSI), Anthropic'in henüz yayınlanmamış bir modeli sayesinde matematik dünyasını yaklaşık 20 yıldır meşgul eden Aaronson–Ambainis varsayımını kanıtladığını duyurdu. Yapay zeka, çalışmasının üçüncü gününde tam kanıtı buldu ve Lean matematik doğrulama aracının denetiminden geçti.

Bu varsayım, 2008 yılında iki bilim insanı tarafından ortaya atılmış ve kuantum bilgisayarların hız avantajının ne kadar büyük olduğunu araştırıyordu.

Kuantum bilgisayarlar bazı problemlerde sıradan bilgisayarlardan yüz milyonlarca kat daha hızlı olabilir. Örneğin çok büyük bir tam sayıyı çarpanlarına ayırmak için sıradan bir bilgisayarın bilinen algoritmalarla çok uzun bir süreye ihtiyacı olabilirken, kuantum bilgisayarların hesaplama süresini büyük ölçüde kısaltması beklenir. Ancak bu devasa avantaj genellikle problemin kendisinde bir tür matematiksel düzenin bulunmasına bağlıdır.

Bu kez yapay zeka, eğer girilen veriler tamamen rastgele ve kullanılabilecek özel bir düzen yoksa, yalnızca "evet" veya "hayır" yanıtı gerektiren problemlerde kuantum bilgisayarların veri okuma sayısında üstel bir avantaj elde edemeyeceğini kanıtladı.

Örneğin, çok sayıda rastgele sayı arasından bir sonucu belirlemek için kuantum bilgisayarlar kuantum süperpozisyonunu kullanarak tek bir sorguda birden fazla konumu kapsayabilir. Sıradan bir bilgisayar her seferinde yalnızca bir konumu okuyabilse de, kuantum algoritmasının karar kuralını bildiği sürece sonucu en çok etkileyen sayıları öncelikli olarak kontrol edebilir ve nispeten sınırlı sorgu sayısıyla kuantum bilgisayarın yanıtını yaklaşık olarak tahmin edebilir.

Daha önce matematikçiler bunun bazı özel durumlarda yapılabileceğini biliyordu, ancak bu kuralın genel olarak geçerli olduğunu kanıtlayamamışlardı. PSI bu kez tam kanıtı tamamladı ve yaklaşık 20 yıldır süren bir teorik problemi de çözmüş oldu.

Haberin duyulmasının ardından Washington Üniversitesi profesörü Pedro Domingos, kuantum hesaplama avantajı hayalinin artık sona erdiğini bile düşündü.

Varsayımın öne sürücülerinden biri olan Scott Aaronson ise bu anlayışın yanlış olduğunu belirtti. Araştırmanın yalnızca belirli problemlerde kuantum bilgisayarların kaç veri sorgusundan tasarruf edebileceğini sınırladığını, kuantum bilgisayarların gerçek hesaplama hızı avantajını reddetmediğini söyledi. Büyük tam sayıların çarpanlarına ayrılmasında kullanılan Shor algoritması ile kuantum fizik ve kimya simülasyonları bundan etkilenmiyor.

Aaronson, kanıtı henüz tam olarak okuyup anlamadığını, ancak Lean'in denetimi tamamladığını ve başka matematikçilerin de gözden geçirdiğini, bu nedenle sonucun doğru olduğuna inandığını belirtti. Ayrıca şaka yollu, varsayımının sonunda kanıtlanmasından memnun olsa da insanlığın sonunda yapay zekanın önüne geçememesinden biraz hayal kırıklığı duyduğunu söyledi.