FlashProve generates mathematical proofs without exposing an AI model's internal weights, allowing commercial AI developers to publish weight fingerprints while protecting proprietary IP

Overview Debates Related claims Topics Sources

Brave Software allegedly provided scraped publisher content through paid access to artificial intelligence developers including Anthropic, Perplexity, Mistral, xAI, and Cohere.

Deepgram and Daily committed to keeping the Pipecat framework open source and free under its existing BSD V2 license.

Baidu released the FP8 and BF16 weights for ERNIE 5.5 Flash Base on Hugging Face and ModelScope under ERNIE 5.5 Flash Base License v1.0

The ERNIE 5.5 Flash Base License v1.0 is free for entities with under US$50 million in revenue but explicitly excludes usage in the European Union, United Kingdom, and South Korea

FlashProve achieves ~110 tokens per second on Llama 4 Maverick, whereas competing open-source zkML system VerInf yields ~0.02 tokens per second on the same model

FlashProve enables regulators to verify that approved models run on compliant hardware, helping enforce AI pacing rules and output provenance

FlashProve prevents AI providers from swapping in cheaper models to cut costs or using more expensive models to inflate benchmark performance

FlashProve prover hardware requires 1 Nvidia H100 80GB GPU, 24 CPU cores, and 290 GB of host RAM, while capping request context at 1,024 tokens

FlashProve uses hash-based cryptographic proofs to compile interactive oracle proofs, providing post-quantum security guarantees similar to Starknet's L2 validity proofs

FlashProve operates in two phases: an offline phase that publishes a weight commitment taking 39 minutes for 16 million requests, and an online phase where GPUs produce proof for each request

FlashProve verification requires no GPU and can be executed locally on a standard CPU

FlashProve allows third parties to cryptographically verify claims that specific tasks, such as vulnerability scans or business plans, were performed by specific AI models

FlashProve proving incurs a computational overhead of 72x to 94x the GPU time of unproven vLLM inference on Llama 4 Maverick

FlashProve produces 18.78 MB proofs for Llama 4 Maverick, compared to VerInf's 93.6 GB proof size and Attestable's 4.35 to 7.92 MiB proof size on Gemma 4 31B

Anthropic formalized FlashProve's cryptographic protocol in the Lean proof assistant to mathematically prove its completeness, soundness, and zero-knowledge properties

FlashProve generates proof files of 18.78 MB, with client verification taking 17 seconds on 24 CPU threads and 21 seconds on a single thread

FlashProve provides both a C++ verifier for fast execution and a formally verified Lean verifier guaranteed to accept only proofs satisfying the mathematical soundness theorem

Fal expanded post-training video model arrangements over the past year with open-source and closed-source developers, using licensing fees and revenue share agreements

The Mistral Ecosystem Open-Weight License for Mistral Large 4 contains no revenue threshold and explicitly exempts internal enterprise use and end-user products with embedded model features from separate licensing requirements

Mistral released Mistral Large 4 under the Mistral Ecosystem Open-Weight License, a modified MIT license requiring a separate commercial agreement for entities operating model-as-a-service businesses