Anthropic, AI çıkarımını doğrulayan FlashProve prototipini açtı
Anthropic, model ağırlıklarını açıklamadan bir yanıtın taahhüt edilen modelden geldiğini kanıtlamayı amaçlayan açık kaynak FlashProve araştırma prototipini yayımladı.
BİR BAKIŞTA
Haberin özeti
- FlashProve, model ağırlıklarını açıklamadan çıkarım kaynağını doğrulamayı amaçlıyor.
- Anthropic, Llama 4 Maverick için yaklaşık 110 token/saniye ve 19 MB kanıt bildirdi.
- Kod, protokol ve Lean kanıtları Apache 2.0 altında yayımlandı.
Neler değişiyor?
Anthropic, bir AI yanıtının belirli bir modelden üretildiğini model ağırlıklarını açığa çıkarmadan doğrulamayı amaçlayan FlashProve araştırma prototipini yayımladı. 2 Kasım tarihli çalışma, sağlayıcının modeli daha ucuz bir sistemle değiştirmediğini veya çıktı akışının kurcalanmadığını kriptografik çıkarım kanıtlarıyla denetlenebilir hâle getirmeyi hedefliyor.
Şirketin Llama 4 Maverick üzerinde bildirdiği ölçümde tek bir H100 GPU, 4 bit nicemlenmiş ağırlıklarla saniyede yaklaşık 110 token için kanıt üretiyor. 1.024 tokenlık bir istek için kanıt boyutu yaklaşık 19 MB; işlem maliyeti, vLLM ile normal çıkarıma göre yaklaşık 70–95 kat GPU zamanı gerektiriyor.
Anthropic; teknik rapor, protokol açıklaması, C++ ve Lean doğrulayıcıları, çalıştırılabilir kod ve üst düzey güvenlik ifadeleri için Lean kanıtlarını Apache 2.0 altında yayımladı. FlashProve tamamlanmış bir ürün değil; şirket bunu ara araştırma ilerlemesi olarak tanımlıyor ve performans sonuçları bağımsız üretim ortamlarında doğrulanmış değil.
Asıl kaynaklara göz at
Kaynak tarihi: 2 Kasım 2026.
AI Radar yayın saati: 3 Kas 2026 09:07 (Türkiye).
KONUYU TAKİP ET
Konular ve etiketler
Keşfini paylaş.
Bu haberi bir arkadaşına gönder.
Okuyucu yorumları
Bu gelişme hakkında ne düşünüyorsun? Deneyimini veya sorunu paylaş. Yorumlar editör onayından sonra yayımlanır.
Adın/takma adın ve yorumun onaylanırsa herkese açık görünür. Veri işleme hakkında: Gizlilik bilgilendirmesi.
Yorumlar yükleniyor…