Otonom ajanlar deneylerden altyapıya geçiyor. Kriptografik doğrulamanın ajan davranışını nasıl güvence altına alabileceğini keşfetmek için @Kassai_ai ile iş birliği yapmaktan heyecan duyuyoruz. Bu, ajan eylemlerini sadece çalıştırılabilir değil, kanıtlanabilir hale getirmekle ilgilidir: 🧵

2/ Kassai, kenarda çalışan dağıtık bir çıkarım ağı inşa ediyor. Hesaplamayı merkezi veri merkezlerinde yoğunlaştırmak yerine, Kassai aktif tüketici GPU'larını aktif hale getirerek ajanik sistemler için küresel olarak dağıtılmış, düşük gecikmeli bir yürütme katmanı oluşturur. Bu tasarım, dayanıklılık, maliyet verimliliği ve egemenliği önceliklendirir.

3/ Ajanik yapay zeka, tek atış çıkarımından temelde farklıdır. Ajanlar plan yapar, araçlar çağrılar, modelleri çağırır, mesaj alışverişi yapar ve sistemler arasında aşağı akış etkilerini tetikler. Bu eylemler şeffaf olduğunda, başarısızlıklar görünmez olur ve hesap verebilirlik ortadan kalkır.

4/ Lagrange, bu boşluğu uygulama zamanında doğrulama ekleyerek kapatır. DeepProve kullanılarak, ajan eylemleri, içsel akıl yürütme veya hassas verileri ortaya çıkarmadan izlenen mantık ve geçerli girdiler uygulandığını doğrulayan sıfır bilgi kanıtları yayabilir. Sonuç varsayım değil, kanıttır.

5/ Bu, dağıtık altyapı üzerinde çalışan ajanlar için doğrulanabilir bir yürütme boru hattı oluşturur: • Karar alma • Araç çağırışı • Model çıkarımı • Eyalet güncellemeleri • Dış eylemler Her adım diğer ajanlar, uygulamalar veya uygulama mantığı tarafından bağımsız olarak doğrulanabilir.

6/ Bu modelde, artık ajana veya üzerinde çalıştığı donanıma güven verilmez. Doğru davranışı doğrulayan kriptografik kanıtlara güvenilir. Kassai idam dokusunu sağlar. Lagrange, bu uygulamayı sorumlu kılan kanıt katmanını sağlar.

7/ Ajanik sistemler ekonomik faaliyet, yönetişim ve gerçek dünya operasyonlarını koordine etmeye başladıkça, doğrulama zorunlu hale gelir. Ölçekte özerklik için kanıt gereklidir. Lagrange ve Kassai'nin ilerlediği yön budur.