Skip to content
AI x Crypto

Bir modelin doğru çalıştığını kanıtlamak neden hâlâ çalıştırmaktan daha uzun sürüyor?

84

Fırsat

Makine öğrenmesi çıkarımının sıfır bilgi kanıtları, bir modelin ağırlıkları açıklamadan belirli bir girişten belirli bir çıktı ürettiğini doğrulayabilir. Bu, kripto uygulamalarının TEE'lere veya operatör itibarına güven gerektirmeksizin yapay zeka çıktılarını tüketmesine olanak tanır. Sorun performanstadır: GPT-2 ölçeğinde bir model için ZK kanıtı oluşturmak onlarca dakika alır; GPT-3 ölçeğinde ise saatlerle ölçülür. Transformerlardaki kayan nokta aritmetiği, aritmetik devrelere verimsiz biçimde derlenir ve dikkat mekanizması özellikle kanıtlanması maliyetli bir yapıdır. TEE tabanlı tasdik bu boşluğu örtbas eder gibi görünse de matematiğe değil donanım sağlayıcısının ürün yazılımına güvenmeyi gerektirir. Kanıt oluşturma iki ila üç büyüklük mertebesinde düşmediği sürece, kripto'daki her doğrulanabilir yapay zeka ilkelisi bir güven varsayımını bir başkasıyla değiştirmektedir.

Neden önemli

Kripto'ya özgü yapay zekanın güvenilir tarafsızlık vaadi, üretimde kullanılacak kadar hızlı ZK kanıtlarına bağlıdır; bugün ise bu kanıtlar yeterince hızlı değildir.

Fırsatı nasıl puanlıyorum

Fırsat Puanı benim kendi değerlendirmem, bir ölçüm değil: ne kadar acı verdiği, ne sıklıkla etkisi olduğu ve bugün için ne kadar az çözüm bulunduğu. Daha yüksek puan, inşa etmeye daha değer olduğunu düşündüğüm anlamına gelir.

Ciddiyet8/10

Ortaya çıktığında ne kadar sorun yarattığı.

Sıklık8/10

İnsanların bununla gerçekte ne sıklıkla karşılaştığı.

Boşluk7/10

Bugün bunun için ne kadar az iyi araç bulunduğu.

Çözmeye değer daha fazla sorun