AI Coding Live News

On November 10 Google DeepMind introduced AlphaProof Code, a multi-LLM agentic framework for formal verification: human experts and models turn security goals into formal specifications, then agents powered by Gemini 4 Carbon carry out the proofs. The team used it to prove key security properties of the core Signal protocol implementation, such as forward secrecy and post-compromise security, all the way down to the AArch64 machine code running on devices. DeepMind says this is the first time the implementation of a widely deployed protocol has been formally verified at this depth by any method, with or without AI: more than 6 million lines of Lean proofs in four weeks, with only about 1% needing human review. Specs and proofs are open source on GitHub, and Signal CTO Ehren Kret endorsed the result.

Zoom

On November 10, Google DeepMind and Artificial Analysis launched MKA (Multimodal Knowledge Agent), a benchmark that tests whether agents can read visually dense files such as architectural drawings, engineering schematics, and clinical scans and deliver slide decks, spreadsheets, reports, and marked-up images. Its 200 private tasks span 10 industries and 83 occupations, with about 70 expert rubric checks per task. Artificial Analysis tested 21 models at launch: Claude Fable 5.2 (max) leads with a Climb WSR of 57%, followed by Gemini 4 Carbon (high) at 54% and Claude Opus 5.5 (max) at 53%. Fable averages $31.97 per task versus $6.29 for Carbon. Ten public tasks are on Hugging Face.

Zoom

On November 10, Google opened Gemini 4 Carbon to developers, enterprises, scientists, and consumers. Two weeks ago it was limited to cybersecurity defenders in the Fairwind Program. Now every paying developer can call it through the Gemini API in Google AI Studio and Android Studio and through Gemini for business, and Google AI Ultra subscribers can use it in the Gemini app, AI Mode in Search, and Google Antigravity. The introductory price matches Argon at $2 / $10 per million input / output tokens, rising to $4 / $20 after November 30. Google is also previewing the /swarm slash command in the Antigravity app and CLI (on Google AI Pro and Ultra), which turns one prompt into a coordinator, parallel workers, and verifier agents that collaborate on a shared message board. Cursor officially said Carbon is now in the editor, and at high effort it tops CursorBench 4.0 at 60.4%.

Zoom

Independent evaluator Artificial Analysis published two new results on November 10. On AA-3D, which tests how well a model acting as an agent builds interactive three.js web scenes, Claude Fable 5.2 (Max) scores 1271 Elo, 67 points ahead of second-place Claude Sonnet 5.5 (1204); its 95% confidence interval of 1246 to 1297 does not overlap any other model, so the lead is outside the margin of error. It is 132 points above Fable 5.1 (1139) and ahead of the top OpenAI and Google entries, GPT-6 Astra (1168) and Gemini 4 Argon (1147). On VIALS-AA, a life-science image reasoning benchmark, Fable 5.2 scores 67%, ahead of previous leader Gemini 4 Carbon (64%) and GPT-6 Astra (63%). AA also found opposite strategies: Fable averages about 37 tool calls per task, Astra about 8.

Zoom

On 2026-11-06, Artificial Analysis (@ArtificialAnlys) launched VIALS-AA: an independent rerun of Handshake AI VIALS (161 tasks across 8 scientific image domains) in the open Stirrup harness with code execution and image tools, three repeats per task, headline metric pass^3. Vendor board: Gemini 4 Carbon (high) ~64%, GPT-6 Astra (max) ~63%, Claude Opus 5.5 (max with fallback) ~61%; open-weights lead Kimi K3.1 Pro ~45%.

Zoom

On Nov 2, semiconductor and AI research firm SemiAnalysis released GDPx, a benchmark of agentic capability across 11 domains: chip design, cybersecurity, biology, finance, legal, quant trading, recursive self-improvement (RSI), hardware design, materials science, alignment and software engineering. Its 206 tasks were built by 14 specialist data partners, with SemiAnalysis doing final QA. On the official leaderboard Claude Opus 5.5 leads at 12.0%, followed by Gemini 4 Carbon at 10.9% and GPT-6 Astra at 9.6%; nearly every model scores 0 on finance and legal. SemiAnalysis says safety classifiers drag down Opus 5.5 and GPT-6 Astra, and plans a new version every 3–6 months. All scores are as reported by SemiAnalysis.

Zoom

On October 31, independent evaluator Artificial Analysis released AA-Omniscience v1.1, its knowledge and hallucination benchmark and part of Intelligence Index v5. The question set shrinks from 6,000 to 3,000, dropping previously public and saturated questions, fixing errors and ambiguities, and adding new ones, and a new 300-question public set on Hugging Face is calibrated to the private set's difficulty, with 0.99 Pearson and Spearman correlation on Net Score. Gemini 4 Carbon (high) leads with a Net Score of 54, ahead of Claude Opus 5.5 at 48 and Claude Fable 5.1 at 46; Fable 5.1 has the highest accuracy (68%) and Gemini 4 Argon the lowest hallucination rate (4%). Models score about 1.9 points lower than on v1 on average, and MiniMax M3.1 Flash drops 22 points. All figures are as reported by Artificial Analysis.

Zoom

Perplexity CEO Aravind Srinivas posted early evals of Gemini 4 Carbon on X: it scored a record 0.857 on Perplexity's Wide-And-Deep-Research (WANDR) long-form research benchmark at $5.86 per task, versus 0.802 ($7.88) for Gemini 4 Argon and 0.735 ($13.34) for GPT-6 Astra. He called Carbon the strongest model Perplexity has seen for long-form research and answer quality, and said it will come to all Pro and Max users inside Perplexity Computer once there is enough token capacity.

Zoom

Cognition, the company behind Devin, posted on X at 01:45 UTC on Oct 30 that Google's new Gemini 4 Carbon scores 40% on its FrontierCode 2.0 coding benchmark at $4.04 per task, near the top and behind only Claude Opus 5.5, GPT-6 Astra and Claude Sonnet 5.5. The earlier Gemini 4 Argon scores 26.3% at a higher $6.41 per task. The results are Cognition's own runs, and the leaderboard on its site has been updated.

Zoom

Google DeepMind announced Gemini 4 Carbon on Oct 28, calling it its strongest model, just two weeks after Gemini 4 Argon. The official blog says it ranks first on v5.0 of the Artificial Analysis Intelligence Index at 59 and leads three cybersecurity evaluations: 88.2% on SEC-bench Pro for finding vulnerabilities, 54.8% on ExploitGym for exploitation and 71.0% on CWE-bench for patching; it also gains 89 points to rank fourth on WebDev Arena at 1769. Access starts this week for a subset of cyber defenders in the Fairwind program, with developers, businesses and consumers to follow. Introductory pricing matches Argon at $2 per million input tokens and $10 per million output tokens, rising to $4 and $20 afterwards.

Zoom