Ground Truth - 2026-08-12: 12 verified AI stories
The day's verified AI news for 2026-08-12. Every claim checked against the primary source.
Claude raised the zeta critical-line bound to 67.2 percent, and Anthropic published the proof
An unreleased research version of Claude raised the proven lower bound on the fraction of Riemann zeta zeros lying on the critical line from 41.6 percent to 67.2 percent, and Anthropic published the paper and a machine-checked Lean proof on August 10.
Read on Ground Truth · primary source
xAI shipped Grok 4.6 into Cursor at two dollars a million input tokens
xAI released Grok 4.6 on August 12, claiming a score of 61 on the Artificial Analysis Intelligence Index, tying GPT-5.6 Sol Max, and priced it at two dollars per million input tokens.
Read on Ground Truth · primary source
DeepSeek's new open model is 1.6 trillion parameters and runs 49 billion of them per token
DeepSeek published DeepSeek-V4-Pro on Hugging Face with 1.6 trillion total parameters, 49 billion activated per token, and a one-million-token context window, making it the largest openly downloadable model of the current frontier wave.
Read on Ground Truth · primary source
An AI attack framework ran twelve waves against government systems in four days
Security firm DREAM recovered the full working directory of an autonomous multi-agent attack framework that cracked 85 government employee accounts and pivoted 84 of them into internal systems over roughly four days in July.
Read on Ground Truth · primary source
A White House memo lets vetted companies run offensive cyber operations under federal control
A presidential memorandum signed August 12 creates a program allowing vetted US companies to conduct surveillance and disruptive cyber operations against foreign criminal groups, but only under Justice Department and Homeland Security supervision.
Read on Ground Truth · primary source
Google shipped sign-language-to-text on Pixel, trained on 100,000 hours of signing
Google DeepMind released SL2T, a model that translates sign language directly to text and now powers signing input in Gboard and Live Transcribe, trained on more than 100,000 hours of data across over 50 sign languages.
Read on Ground Truth · primary source
Agent instruction files triple in size because nobody remembers why a rule exists
A study of 247,694 instruction lifetimes across 1,867 GitHub repositories found agentic coding instruction files grow 226 percent over their lifetime and effectively never shrink, because deleting a rule whose rationale is lost risks breaking something.
Read on Ground Truth · primary source
A prompt injection can hide inside an encrypted reasoning block nobody can read
The paper behind last week's reasoning-trace decoding attack is now public with full numbers, and its fourth attack vector is the alarming one: malicious instructions can be embedded entirely inside encrypted thinking blocks and passed into public agent runs invisibly.
Read on Ground Truth · primary source
An AI tightened a 70-year-old constant, and the paper says its judgment was the weak part
A case study from seven researchers documents how an AI system helped tighten the best known bounds on the Grothendieck constant, and reports plainly that the system was strong at technical execution but weak at research judgment and at tracking where the work stood.
Read on Ground Truth · primary source
SkillZip compresses an agent's skill file without ever running the agent
A new method compresses the accumulated skill files of self-evolving agents by finding the shortest structural explanation that preserves every contract element, with no test rollouts required.
Read on Ground Truth · primary source
One checkpoint turns a compatible video model into a 4D world builder
Researchers skipped the pixels entirely, feeding a video model's final internal representation straight into a 4D decoder, and got a single checkpoint that works unchanged across multiple video generators after training on about a thousand clips.
Read on Ground Truth · primary source
A self-improving coding agent that compares notes with a rival lineage
Most self-improving coding agents rewrite themselves after a single failure, throwing away the archive of everything they have already tried; a new method adds two edit operations that use multiple trajectories and a competing agent's evidence instead.
Read on Ground Truth · primary source
You are getting this because you subscribed at groundtruth.day.