Anthropic open-sources FlashProve, a research prototype for proving large model inference

AIAnthropic is open-sourcing FlashProve, a research prototype that proves a 400B model at over 100 tok/s on one H100 in prefill. The post frames it as a step toward more progress in the field.

Roy Rinberg

@RoyRinberg

View on X

Sometimes, all you have to do is ask.

We are open-sourcing a research prototype which we hope leads to more progress in this field. FlashProve is open source and proves a 400B model at over 100 tok/s on one H100 in prefill.
https://x.com/AnthropicAI/status/2117710942826123294?a=YW8M1x3fQrxkTNhD5eM&s=20

Mauricio Baker@MauricBaker

2. Direct agents to build zkLLM but 100x faster or with floats, and open-source it. Efficient, OS zero-knowledge proofs would be a widely useful tool for verification.

View quoted post on X

Open source

Source details

Roy Rinberg · x.comPublished Nov 3, 5:34 PM ET · added here Nov 4, 1:23 AM ET

Original title: Sometimes, all you have to do is ask.

Topics

Open-source ecosystem Deployment & engineering Product updates