Still
Crunchy. Tuesday, 10 November 2026

New AI models and a game built by one

Anthropic released Fable 5.2, its most capable frontier model, with a demo first-person shooter called Saltline generated entirely by the model in about eight hours, including its models, sounds and textures. TechPowerUp reports the run would cost around $550 via the API, though the stated token counts at list pricing suggest more. Fable 5.2 launched alongside Mythos 5.2, a sibling model with fewer misuse guardrails restricted to vetted organisations.

Google opened Gemini 4 Carbon, its strongest model for demanding tasks such as complex multi-step coding, to paying developers after a two-week trial limited to cybersecurity defenders in its Fairwind Program. It costs $2 per million input tokens and $10 per million output tokens until 30 November, roughly a fifth of OpenAI's GPT-6 Astra and a quarter of Fable 5.2, though Google says its longer reasoning loops may raise total task costs. During the trial, Google says security firm Wiz used Carbon to find zero-day vulnerabilities at two major SaaS providers within two hours.

AI agents help verify Signal's cryptography

Google DeepMind says its AlphaProof Code framework, combining human experts with agents powered by Gemini Carbon and Claude Opus 5.5, has formally verified libsignal, the reference implementation of the Signal messaging protocol also used in WhatsApp and Google Messages. Agents generated roughly 6.5 million lines of Lean, a language computers use to check proofs automatically, covering forward secrecy, authentication and post-compromise security in four weeks with five researchers, against historical efforts like the seL4 microkernel verification that took 20 person-years. Only about one percent of the code needed human review, and the team confirmed the method works by reintroducing two real, previously fixed bugs, which the system flagged as insecure. DeepMind notes the proof assumes perfect cryptography, and Signal CTO Ehren Kret said it enables a significant expansion beyond smaller prior verification scopes.

SAP security fixes and GTA 6 records

SAP, the business software maker, issued 42 November security advisories, nine critical. Security firm Onapsis says flaws dubbed ICM2SHELL and ProxyGate allow unauthenticated remote code execution, meaning attackers need no login, and demonstrated a working exploit; the kernel-wide flaw affects even out-of-maintenance releases.

Sony says Grand Theft Auto 6, Rockstar's upcoming crime game, is PlayStation Store's most pre-ordered game ever, with Xbox claiming the same record. It unlocks on 19 November, can be pre-loaded nine days early, and publisher Take-Two projects quarterly net bookings of $3.35 to $3.5 billion, roughly double last year's $1.76 billion.