Ribbons of teal, violet and amber light flow in from the left and converge into a glowing orb etched with swirling, fingerprint-like ridges.

Research

Anthropic's FlashProve aims to prove which model actually wrote an answer

Anthropic research, via TechCrunch: a per-model fingerprint would let anyone check outputs locally. The code is on GitHub; it is not deployed.

Why it matters: Today you trust the API to serve the model you pay for. If provable inference matures, silent model swaps and vague claims that a frontier model reviewed your code become checkable, not a matter of faith.

November 4, 2026 · TechCrunch ·

Signal

Stories that change something.

Noise

Hype we checked so you don't have to. How we judge

  1. Unverified

    ChatGPT is catching up to Google in search? OpenAI's math can't be checked

    What we checked: The Verge reports OpenAI's Adam Fry announced the 20 percent figure at a press event, counting any query that triggers a web search, and did not specify the source of the Google search volume number. No independent measurement was cited.
  2. Unverified

    Kimi K3 is a frontier coding model? That label is Moonshot's own

    What we checked: The AWS Machine Learning blog post introducing India based inference for Kimi K3 says Moonshot AI reported the model achieved frontier level coding and general agentic intelligence at release. The post attributes the claim to Moonshot and cites no outside leaderboard.
  3. Unverified

    Garry Tan runs AI agents nonstop? The only evidence is his own rough guess

    What we checked: TechCrunch quotes Tan on Isaacson's podcast describing heavy use of AI agents and estimating the token cost at maybe $100,000 to $200,000 a year. It is his own wide-ranging guess about his usage, and the article cites no usage records.

Latest

  1. · CHIPS

    Stuck in grid queues, AI data centers are burning gas in converted jet engines
  2. · CHIPS

    Drone strikes push Russian AI data centers toward underground sites and old coal mines
  3. · TOOLS

    TensorRT Edge-LLM gets a CLI that runs local models on DGX Spark in a few commands
  4. · TOOLS

    Google's LiteRT Tensor API lets you author and tune models in C++ right on device
  5. · TOOLS

    NVIDIA Recovery restarts or isolates broken training jobs and starts in monitor mode
  6. · RESEARCH

    Safety researchers borrow mechanism design to keep agents honest without reading minds

The Heresy Brief

Signal only. One email, weekday mornings.