Anthropic released FlashProve, a cryptographic system for verifying that an AI response actually came from the model it claims to. FlashProve uses zkSNARKs, a type of zero-knowledge proof that lets you verify a computation without seeing the underlying data, to confirm a reply came from a specific set of committed model weights. The prototype runs on a single H100 GPU, handles Llama 4 Maverick at 110 tokens per second, and produces 19 MB proofs. The code is released under Apache 2.0. The practical use case is trust: a business or regulator could verify that a deployed model has not been swapped out or tampered with. (TechCrunch)
Brief
Wednesday, November 4, 2026 · 4 min read
ChatGPT search now at 20% of Google's query volume
Good morning. Two stories today share an odd structural similarity: one is about proving that an AI model is who it says it is, and the other is about an AI search engine closing in on a company whose entire identity is search. Identity, it turns out, is a problem for both models and corporations right now.
Today's reading time is 4 minutes.
Listen · Snippt Daily0:00 / 3:36
INDUSTRY
For most of the internet era, 'search' and 'Google' were synonyms, and no product had come close enough to that volume to make the comparison worth stating.
Driving the news: OpenAI's consumer product lead announced at a press event that ChatGPT now processes queries equal to 20 percent of Google's total search volume. That is not a niche use case anymore. The figure was presented as a milestone, not a projection, meaning it reflects current traffic rather than a target.
- The announcement came from Adam Fry, OpenAI's consumer product lead for ChatGPT, at a public press event.
- The framing 'Ask Chat' has reportedly replaced 'Google it' in enough circles that OpenAI used it as a cultural marker in the announcement.
Zoom in: Google has held roughly 90 percent of the global search market for most of the past decade. The threat from AI-native search tools has been discussed for years, but actual volume comparisons have been hard to make because OpenAI does not publish query counts routinely. This announcement is the first time the company has put a specific ratio on the table publicly.
- Google has been integrating AI overviews into its own results for over a year, partly in response to this competitive pressure.
- ChatGPT's search feature launched in late 2024 and has been expanding since, including to free-tier users.
Why it matters: For anyone building content, products, or marketing strategies around search traffic, the distribution of where queries land is the whole game. If a fifth of searches are now going through a conversational interface that does not send click traffic the same way Google does, the SEO playbook built over the last 20 years needs rethinking. The workflow most affected is anything that depends on organic discovery.
Bottom line: Google still has four times the volume, but the fact that OpenAI is now comfortable saying '20 percent' out loud suggests the gap is real enough to advertise.
The Verge ↗Get this every weekday
Two minutes, 7am ET. No fluff.
Also happening
Anthropic's compute costs are rising even as the broader industry expects margins to improve. A TechCrunch report from yesterday found that Anthropic's compute economics are moving in the wrong direction at a moment when falling hardware costs and inference efficiency gains should be helping. The company has not published detailed financials, but the reporting draws on sources familiar with the situation. This is awkward for a lab that has positioned safety and sustainability as core to its pitch, because the math only works if the cost curve eventually bends. (TechCrunch)
Google is cutting off Search entirely in schools that opt out of its AI features. Google told The New York Times that schools rejecting its AI tools will lose access to Google Search as well, not just the AI-specific features. The bundled services affected include Gemini, Gemini Notebook, Gemini in Classroom, and Google Search. This puts school administrators in a position where opting out of AI is no longer a neutral choice, it means losing a core tool many curricula depend on. The move was announced as part of a broader education update on Tuesday. (The Verge)
The thread
Verification is becoming its own product
Two of today's stories are really about the same problem: how do you know what you are dealing with? Anthropic's FlashProve addresses it at the model level, giving anyone a cryptographic way to confirm a response came from the weights it claims. The ChatGPT search volume announcement addresses it at the market level, giving the industry a concrete number where before there was only anecdote. For people building on top of AI systems, both developments point toward a world where provenance, of a model, of a query count, of a claim, carries more weight than it used to.
From the publisher
Snippt
Image, video and voice tools in one place
On our radar
- Axion 1.0, a fully open 35B agent foundation model, landed on Hugging Face with a three-stage training recipe: two supervised fine-tuning passes followed by reinforcement learning, no dedicated mid-training stage.
- MIT CSAIL's 'weight-space programming' technique, which edits model behavior by directly modifying individual neurons rather than retraining, is being replicated by hobbyists on local models, with one r/LocalLLaMA user reporting changed translation behavior in Gemma 4 12B after editing 8 neurons.
- NVIDIA published three stacked inference optimizations for mixture-of-experts models on DGX Spark hardware, lifting decode throughput on a 124B model by 42.5 percent with no measurable accuracy loss.
- Tencent's WeChat Vision team released WeVisOne-VL, a vision-language model in 2B and 4B sizes under Apache 2.0 that handles detection, OCR, counting, segmentation, and alpha matting in a single model with a 9.6M-parameter pixel decoder.
- A llama.cpp pull request merged graph optimizations for Gemma 4 E2B and E4B variants, with contributors reporting large prompt-processing speed gains.
- Reverse game theory, also called mechanism design, is being explored by safety researchers as a way to keep AI agents compliant by structuring incentives rather than imposing hard constraints, per MIT Technology Review.
- Wired published a piece ahead of Election Day arguing that AI chatbots are unreliable for voting guidance due to hallucinations and measurable partisan skew in responses.
AI worth acting on, in your inbox
Get AI Weekly every Friday: the AI news, tools and tactics that matter for marketers, sellers and creators. Two minutes, with audio.
You can change these choices or unsubscribe at any time. Privacy Policy