KI-Berichte · Anthropic · 2026-11-02 · Blog / Kommentar
Fortschritte bei beweisbarer Inferenz für große Sprachmodelle
Originaltitel: Progress on provable inference for large language models
Anthropic stellt Fortschritte bei zkSNARK-basierten kryptografischen Beweisen für überprüfbare Modellinferenz vor, vor allem anhand eines Systems namens FlashProve. Mit den Beweisen kann sich ein Modellanbieter auf ein Modell festlegen und nachweisen, dass jede Antwort von diesem stammt, was sich laut dem Beitrag allein anhand der Ausgaben schwer überprüfen lässt. Laut dem Auszug erzeugt eine einzelne H100-GPU für Llama 4 Maverick (ein Mixture-of-Experts-Modell mit 400 Mrd. Parametern) mit 4-Bit-quantisierten Gewichten Beweise mit etwa 110 Tokens pro Sekunde, bei einer Beweisgröße von etwa 19 MB pro Anfrage mit 1.024 Tokens.