Odaily Planet Daily News: Ipinakilala ni Anthropic ang open-source na AI inference verification system na FlashProve, na batay sa zero-knowledge proof (zkSNARK), kasama si Alessandro Chiesa, co-founder ng StarkWare, sa pananaliksik. Gumagamit ang sistema ng mga kriptograpikong paraan na pareho sa teknolohiya ng blockchain ZK, upang payagan ang mga gumagamit na patunayan kung ang AI output ay galing sa tinukoy na modelo nang hindi kailangang makakuha ng model weights o muling patakbuhin ang modelo.
Ipinahayag ng Anthropic na kasali si Claude sa pag-optimize ng sistema, at ngayon ay inilabas na ang kaugnay na code at ang Lean formal proof. Ang sistema ay kasalukuyang nasa yugto ng research prototype, at ang pagbuo ng proof ay nangangailangan ng 70–95 beses na mas maraming GPU time kaysa sa karaniwang inference.
Ang pagsubok ay nagpakita na ang FlashProve ay maaaring mag-generate ng patotoo sa isang H100 GPU na may bilis na humigit-kumulang 110 Token bawat segundo para sa Meta na may 400 bilyong parameter na modelo na Llama 4 Maverick, na may isang patotoo na humigit-kumulang 19 MB.