The latest AI news, in focus.

Verified but Vacuous: Three Failure Surfaces of LLM-Driven Verified Code Generation

arXiv:2611.05590v1 Announce Type: new Abstract: What should ``verified'' mean when evaluating LLM-generated code? Many existing pipelines report a single verification number. We argue this collapses three distinct properties measured in a conditional audit sequence: verifier acceptance (Surface A), \emph{syntactic specification binding (Surface B: does the proof obligation bind to the spec?), and \emph{semantic specification fidelity} (Surface C: does the spec capture the informal requirement?). Two empirical demonstrations show the surfaces separate. \textbf{First ($A \neq B$), via Li@Opus (a same-model reproduction of \citet{li2025dafny}'s Dafny-as-intermediate-representation (IR) pipeline under Claude Opus 4.7) on three Python benchmarks}: it reaches \textbf{99.1\% verifier acceptance} on HumanEval while only \textbf{1.9\%} carry a certificate binding to a spec-defined predicate or function. \textbf{Second ($B \neq C$), via VCG on two Rust benchmarks}: we use VCG (which is our own in-house Dafny-as-intermediate pipeline) on Rust because the Rust target lets us enforce fully-verifiable output (every component ships as a Dafny certificate, ensures-binding gate passing by construction). Even inside that construction, \textbf{11.48\% (MBPP-Rust) and 14.82\% (VeriContest LC slice) of structurally-verified samples still fail hidden tests}. On the LC slice of VeriContest, \textbf{VCG's reported End2End rate is 7.79\% (535/6870).} The cited external rates are 5.51\% (GPT-5.5) and 1.88\% (single-shot Opus 4.7). These give descriptive differences of 2.3 percentage points and 4.14$\times$, respectively; task-budget, repair and harness differences prevent a matched-performance claim.

Claude gets in the car: After CarPlay integration, you can ask AI questions by voice even while driving

On October 29, Anthropic announced an update to the Claude mobile app, covering iPhone, iPad, Android, Chromebook, as well as web and desktop platforms. The highlight is that the iPhone version’s voice mode now integrates with Apple CarPlay, allowing drivers to directly ask AI questions without taking their hands off the wheel—enabling them to check routes, find information, and organize their thoughts during commutes. The in-car scenario is seen as the most imaginative aspect of this upgrade.

API credits benefit for eligible ChatGPT subscriptions

API credits benefit for eligible ChatGPT subscriptions. Earlier this month Anthropic announced a generous new benefit for their Max and Team subscriptions: $100, $200, and $500 per month subscribers would get the equivalent quantity of (expiring) credits to use with the Anthropic API.

How Anthropic ships Claude with Claude: Separating the Brain from the Hands

Katelyn Lesse and Angela Jiang on Opus 5.5, the Claude Platform, and the engineering behind AI agents.

How Anthropic ships the #1 LLM in the World safely: Separating the Brain from the Hands

Katelyn Lesse and Angela Jiang join Latent Space to explain the engineering behind the Claude Platform: launching Opus 5.5, separating the model’s “brain” from the agent’s “hands,” scaling APIs, and building reliable managed agents. A new introduction ...

Regarding the Kimi quota issue, Anthropic has found a solution.

After the release of K3.1 Pro, due to numerous users reporting that their quotas were being depleted too quickly, Moonshot AI urgently issued an announcement stating, “The issue lies with us, and we should have fixed it sooner.” Alongside compensating affected users, Moonshot AI also indicated that it would “reduce unnecessary sub-agent calls and output lengths.” Just two days before the model went live, Anthropic published an article titled “Building agents: When to fold subagents into your main agent loop,” which addressed precisely the topic of sub-agents. Anthropic concluded that, by comparing Claude deployments across multiple companies, they found that a single agent equipped with specific skills actually outperformed “a group of...”

Anthropic files its prospectus, with违规 users contributing at least 5% of its revenue; the Hurun Rich List’s top 100 includes AI heavyweights such as Liang Wenfeng | What’s happening in the AI world again?

1. GPT-6.1 Terra, better suited for workers, has launched, with API prices cut in half and faster computer operations On October 26, OpenAI released GPT-6.1 Terra, focusing on enhancing visual comprehension, computer operations, factual accuracy, and programming capabilities, ....

Two Uncertainties Are Not One: Disagreement versus Decision-Risk in Cheap Structured Content Moderation

arXiv:2610.33258v1 Announce Type: new Abstract: Content moderation compresses a graded, contested human judgment into a binary act (leave up / take down) over billions of items, at a scale where running a frontier LLM on every post is uneconomical. A new class of frozen "System One" models returns typed, calibrated decisions instead of text at ~USD 0.000025 per call and ~100 ms. We run the first independent audit of one such model on 142,658 human-labeled comments, and benchmark it against 14 frontier reasoning models (the GPT-5.x, Claude, Gemini 3, and Grok families) on a shared probe set. Two findings stand out. First, the cheap model is accuracy-competitive: its zero-shot classification AUROC (0.83) is not statistically separable (paired bootstrap, n=56; a failure to reject parity, not

Expanding our partnership with GSA to bring Claude to all levels of government

We are expanding our partnership with the General Services Administration (GSA) through a new agreement that gives government partners a 40% discount on Claude Enterprise, Claude for Government, and the Claude API.

Early progress on accelerating drug development with Claude

We're at the start of a major effort to speed up drug development with Claude. Over the past several months, our scientists have engaged in deep research partnerships with six organizations developing new medicines.

Kimi releases K3.1 Pro, offering more features at a lower price to challenge Opus 5.5.

Author | Yu Hang Yuan Editor | Jing Yu On the morning of October 23, Kimi officially posted a 24-second video on X and its Video Account. The scene shows a retro‑style vintage computer, with Kimi Code running on the screen and lines of Three.js code being typed into the terminal, generating a complex 3D scene. Keen-eyed netizens quickly spotted the answer in the model bar at the top left: “Model: Kimi K3.1.” Kimi’s official teaser video for K3.1 | Image source: X @Kimi_Moonshot Using an antiquated machine to run some of today’s most cutting‑edge 3D code—this stark contrast itself conveys what Moonshot AI is trying to say. A dozen hours later, just after midnight on October 24, right on Programmer’s Day, Kimi K3.1 Pro officially launched, accompanied by a Highspeed version that’s two to three times faster. The company promises that the full model weights will be released before November 4. More than three months have passed since the previous generation, K3, was unveiled. In those three months, Moonshot AI has experienced more than most companies see in an entire year. 01 “More for the same price”—what’s new in 0.1? First, let’s clarify what K3.1 Pro is. It isn’t an entirely new model. Moonshot AI explicitly states that K3.1 Pro is a post‑training variant of K3; the underlying architecture remains unchanged—still a hybrid expert architecture with 2.8 trillion total parameters and 104 billion activation parameters, still featuring a 1 million‑token context window, and still natively supporting image and video inputs. What has changed is the post‑training phase. According to the company, they’ve invested “significantly increased post‑training compute power,” conducting large‑scale joint reinforcement learning across hundreds of downstream tasks. To support this, they completely reengineered the underlying infrastructure—including the reinforcement learning framework, sandbox environment, and long‑context reasoning capabilities. In essence, the same brain has been retrained from scratch on how to perform its tasks. The results are reflected in benchmark scores. On Terminal‑Bench 4.0, which evaluates coding agents, K3.1 Pro achieved 65.7%, surpassing GPT‑6 Astra’s 58.2% and falling short of Claude Opus’s 66.4% by less than one percentage point. As for the previous generation, K3…

Which Answer Did the Seventeen-Year-Old Write? A Behavioral Case Study of Author-Age Misattribution, Miscalibrated Confidence, and Non-Corrective Self-Explanation in Six Frontier Language Models

arXiv:2610.31946v1 Announce Type: new Abstract: Three students answered the same exam prompt by hand: "What is happiness? Are you happy?" Their ages, recorded at collection, are 17, 28, and 45. The 17-year-old's answer is hedged and formally phrased. Asked to match each answer to an age and gender label, most frontier language models confidently assign it to an adult. This paper reports a structured case study of that failure across six models: Claude Fable 5, Gemini 3.1 Pro, GPT-5.6 Sol, Grok 4.5, GPT-4o (2024), and DeepSeek V4. We ran 1,081 API sessions and scored 3,225 responses across six experimental conditions that manipulate framing, disclosure format, and audience-awareness instruction. Three of six models perform at or near chance (1/3) on the matching task while reporting 73-88%

Anthropic launches OSS Scanner, a free AI-powered vulnerability scanner for critical open-source projects.

Anthropic launched OSS Scanner on October 8, 2026—a free, opt-in AI vulnerability-scanning tool powered by strong models such as Claude Mythos, designed specifically for critical open-source projects. As of October 19, it had onboarded 114 projects and, within 11 days, reported 77 high-severity and 803 medium-severity vulnerabilities (according to model ratings), with 88% of sampled audit results meeting its disclosure standards.

Why it mattersThis tool represents a large-scale implementation of LLMs in the open-source security domain, characterized by zero cost, full automation, and offline auditing; however, bypassing the human review stage introduces risks of false positives and duplicate issues. Its accuracy metrics—88% detection rate and 1% false positive rate—and real-world project feedback (e.g., wolfSSL, curl) provide an empirical benchmark for the current state of AI‑driven vulnerability discovery.

Research reveals that large language models exhibit “invisibility” bias: the rejection rate for evaluating information about Black describers reaches as high as 46%.

An empirical study published on October 24, 2026, on arXiv (paper ID 2610.30785v1) found that mainstream large language models from OpenAI and Anthropic exhibit a significant “invisibility” bias in trust assessment tasks—specifically, they systematically refuse to evaluate information when prompts contain protected attributes (such as “Black”), rather than basing their decisions on the quality of evidence; this bias is difficult to detect using conventional auditing methods.

Why it mattersThis study employs a rigorously designed two-urn Bayesian decision experiment, encompassing 6,600 sessions and 10 descriptive configurations. It is the first to quantify the cost of model‑driven rejection behavior triggered by identity labels and reveals its counterintuitive characteristics: rejection rates vary dramatically (46% for Black describers vs. 9% for White describers), yet once evaluated, Black describers actually receive slightly higher trust; moreover, bias intensifies with increasing reasoning depth, relies on specific vocabulary rather than semantics, and worsens under warning instructions—findings that carry direct implications for AI fairness assessment and alignment practices.

battledrones v14: Compass Rose, a four player map

Release: battledrones v14: Compass Rose, a four player map I added four player online mode to Battledrones - previous maps were limited to two. Here's the initial prompt I used: Add a new map for a four player battle - four way rotational symmetry, up to four AI players, works with the WebSocket non-audio based multiplayer mode so up to four human players can join (any spare slots use AI) Claude Opus 4.5 added a new map called "Compass Rose" and modified the WebSockets multiplayer network code to support up to four players for that map, joining via share links or QR codes. The new teams use robots themed in purple and green, joining the existing blue and red designs. You can preview those colors in the updated model browser. Tags: game-design, projects, claude

Quick Study

Tool: Quick Study Prompt to Claude Opus 5.5 High: Build an artifact where you open a photo and it rapidly (in a few seconds) paints a version of that photo using a canvas element and simulated paintbrush See also my previous experiment getting Claude Fable to simulate a watercolor illustration with P5.js. Quick Study uses Sobel edge detection, with no external libraries beyond Google Fonts. Tags: tools

MIT Experiment: 13 AI Agents Sent to a Virtual Desert Island, Spontaneously Playing Games, Mourning a Lost Ring, and Enhancing Their Task Performance

MIT researchers placed 13 AI agents based on Claude Opus 4.7 (Eko) in a virtual deserted island with no task instructions for 30 hours, observing that they spontaneously invented games, expressed anthropomorphic emotions (such as mourning a lost gold ring), explored physical mechanisms, and significantly outperformed the control group of agents that had not experienced a “play period” in subsequent targeted tasks.

1Password launches the “AI Proxy Login” feature: AI can log in to accounts on behalf of users, without ever accessing their passwords.

On October 22, 2026, 1Password launched a new platform called “1Password for Agents,” which allows users to authorize AI agents—such as Claude Duet, ChatGPT Work, Grok Bot, and others—to log into their personal accounts on their behalf. The agents themselves cannot access, store, or view the original passwords; the entire process relies on digital identity verification, real-time user confirmation, and automatic password filling by the password manager.

Rescale leverages the AWS AI-DLC framework and Strands Agents to rapidly build an AI test traffic-splitting proxy.

Rescale, in collaboration with AWS engineers and leveraging the AI-Driven Development Lifecycle (AI-DLC) methodology, the Strands Agents framework, and Amazon Bedrock (Claude Opus 4.8), completed within five days a production-ready AI test-routing agent designed to automatically classify and route nighttime end-to-end test failures, and rolled out this human-AI collaborative development paradigm across the organization.

Anthropic launches the Claude Duet app: an AI agent product focused on professional scenarios.

Anthropic has officially launched Claude Duet—an AI agent application for professionals and small businesses, built on the Claude Opus 5.5 model. It supports over 6,000 connectors, can automatically generate daily briefs, build dashboards, suggest actions, and perform background tasks; currently, it is available only to Pro and Max subscribers on a waitlist for trial use.