Anthropic maakt open systeem voor controleerbare AI-inferentie open source

Anthropic heeft FlashProve uitgebracht, een open-sourcesysteem dat met cryptografische bewijzen controleert of een antwoord van een specifiek model komt.

Eén H100-GPU genereert voor het 400 miljard parameters tellende Llama 4 Maverick meer dan 100 bewijzen per seconde; elk bewijs is ongeveer 19 MB per verzoek van 1.024 tokens.

De release bevat code en Lean-bewijzen onder de Apache 2.0-licentie.