"OpenAI, yaklaşık 10.000 eşzamanlı yapay zekâ ajanının 8 Eylül’de bir Navier-Stokes akışkan hareketi problemine yaklaşık 88 saatte çözüm ürettiğini açıkladı. Lean’deki biçimselleştirme ve doğrulama, GPT-6 Astra kullanılarak 17 saat daha sürdü. Sistem, başlangıçta düzgün olan bir akışkanın sonlu enerjisini korurken sonlu bir zamanda tekillik geliştirdiği bir durum için analitik bir ispat üretti. İspat, Milenyum Ödülü probleminin formülasyonundaki C ve D durumlarını ele aldı. OpenAI, ispatı ve Lean biçimselleştirmesini bağımsız incelemeye açtı. Biçimsel doğrulama, akıllı sözleşme kodunun amaçlandığı gibi çalışıp çalışmadığını test etmek için matematiksel özelliklerden ve teorem ispatından yararlanır. Ethereum dokümantasyonuna göre, özellikler kötü yazılmış veya eksik olduğunda doğrulama güvenlik açıklarını gözden kaçırabilir. Terence Tao, muazzam hesaplama kaynaklarına sahip otonom yapay zekâ sistemlerinin karmaşık Navier-Stokes çözümleri üretebileceği ve bunları biçimsel olarak doğrulayabileceği, keşif sürecinin büyük bölümünü kamu denetiminin dışında tutabileceği uyarısında bulundu. Yanıtlanmamış test, teorem ispatlama sistemlerinin üretim yazılımlarına uyum sağlayıp geliştiriciler ile denetçilerin inceleyebileceği ispatlar üretip üretemeyeceği. Daha yetenekli sistemler ispat oluşturmak için gereken çalışmayı azaltabilirken erişim kontrollerinin, para çekme koşullarının, muhasebe değişmezlerinin ve ayrıcalıklı işlevlerin doğru biçimde tanımlanmasının önemini artırabilir." kaynak : ns3.ai/tr/news/1YbD00hmU3

Yorum:

hiç bir şeyi okumadan anladım, okudum hiç bir şey anlamadım konusunda ispat, ispat isteyenlerin istemesi üzerine, uzak olan noktadan yakın olan noktaya ispata gerek kalmayacak şekilde doğrulama istiyor. işte buna zeka bağlantısı denir. aradaki yolculuğun noktadan noktaya değişmez kılınması yegane amaçtır. kriptoloji hem herkese açık hem herkes dışındakilere kapalıdır. galiba zaman sorunsalını daha çözemeyeceğiz. kuantum devrinin son öncüleriyiz. olsa da olu olmasa da olu:)