Google DeepMind'in AlphaProof Nexus'u, dokuz Erdős problemini çözdü ve 44 dizi konjektürünü ispatladı; bu, yapay zekâ destekli resmi doğrulamada önemli bir başarıyı temsil ediyor ve kriptografik ispat doğrulamalarını daha hızlı ve daha ucuz hale getirebilir. Bu hafta açıklanan sonuçlar, önceden insan çabasıyla yıllar süren ünlü derecede zor matematik problemlerini çözen bir yapay zekâ sistemini gösteriyor; bu, kriptografi ve akıllı sözleşme denetimi gibi sıkı ispatlara dayanan alanlar için doğrudan etkilere sahip.
Dokuz Erdős Problemi Çözüldü
Sistem, matematikçi Paul Erdős'in adıyla anılan ve zorlukları ile bilinen bir dizi problemi çözdü. Bu problemler arasında AlphaProof Nexus, daha önce insan çabasıyla yıllar süren dokuzunu çözdü. Aynı zamanda OEIS veritabanından çektiği 44 açık dizi konjektürünü de bağımsız olarak ispatladı. Her ispat, başlangıçtaki problem ifadesi dışında insan müdahalesi olmadan üretildi.
Resmi Doğrulamaya Yeni Bir Güç
Resmi doğrulama, yazılım veya donanımın tam olarak amaçlandığı gibi çalıştığını matematiksel olarak kanıtlama sürecidir. Kriptografide, şifreleme algoritmalarının gizli hataları olmadığını kontrol etmek için kullanılır ancak yavaş ve maliyetlidir. DeepMind'in açıklamasına göre yapay zekâ destekli resmi doğrulama, 'kriptografi ve yazılım denetimi gibi alanları, ispat doğrulamayı daha verimli ve maliyet etkin hale getirerek devrim yaratabilir.'
Kripto dünyası için vaat basittir: Bir yapay zekâ karmaşık matematik teoremlerini ispatlayabiliyorsa, akıllı sözleşmeleri, sıfır bilgi ispatlarını veya konsensüs algoritmalarını otomatik olarak doğrulayabilir; bu da milyarlarca dolarlık hacklere neden olan hataların riskini azaltabilir. Aynı teknoloji, blok zinciri protokollerini mantıksal tutarsızlıklar açısından denetleyebilir. Bunların hiçbiri henüz uygulanmamış olsa da, temel yetenek büyük bir adım ilerledi.
DeepMind, AlphaProof Nexus'u harici kullanım için ne zaman yayınlayacağını henüz açıklamadı. Sonraki somut kılavuz noktası, muhtemelen akran değerlendirmesi olacaktır; ardından mevcut doğrulama süreçlerine entegrasyon. Şimdi soru, bu geçişin ne kadar hızlı gerçekleşeceği.
