Prime Intellect Releases Verifiers v1: Composable Tasksets, Harnesses, and Runtimes for Agentic RL Training and Evaluations
Prime Intellect launched verifiers 0.2.0. It previews a rewritten core, shipped under the new verifiers.v1 namespace. Modern evaluations now run coding agents with tools, compaction, and subagents. Accordingly, v1 rebuilds environments to run these agentic workloads at scale. What is verifiers v1? First, consider what verifiers is: Prime Intellect’s environment stack for agentic reinforcement learning and evaluations. Previously, an environment bundled its data, agent logic, and inf
Prime Intellect released verifiers v1, a framework that breaks down agentic reinforcement learning environments into three separate, reusable components: a taskset that defines the work and scoring, a harness that solves the task, and a runtime where the harness executes. Previously these components were bundled together, but the new architecture allows any taskset to run under any compatible harness, increasing flexibility and reusability. A central interception server manages communication between the agent and inference system, recording traces and handling tool responses to prevent reward hacking during training. The update replaces the previous version's quadratic trace growth with linear growth, enables support for long-horizon training, and allows existing datasets and harnesses from other frameworks to work without rewriting.
One short email a day with the stories that matter. Free. Unsubscribe with one click.
Want to go deeper than the news? Explore live, cohort-based AI courses taught by practitioners.
Browse AI courses on Maven
Anthropic releases new Mythos and Fable models amid RSI concerns
Anthropic says the new models "show improvements in areas like coding, reasoning, and vision," as well as in communicating more clearly with users.
Also reported by The Verge, SiliconANGLE and MarkTechPost
Runway’s Praxis-1 world action model for robotics is now available
Praxis-1 builds on Runway’s work as a founding member of the Cosmos Coalition, advancing open world models for physical AI. | Source: Runway Runway AI Inc. yesterday released Praxis-1, its world action model for robotics. The model is now available to developers with open weights under the Apache 2.0 license. Runway first announced Praxis-1 in September with launch partners including Noble Machines, Standard Bots, and Ultra. Since then, these companies have been running the model on their own ha
Google releases Gemini 4 Carbon with agent ‘swarm’ feature
Google is rolling out its latest AI model, Gemini 4 Carbon, to the general public after releasing it to a select group of "cybersecurity defenders" two weeks ago. Google claims Carbon is its "strongest model" yet, and capable of competing with the very best systems from Anthropic and OpenAI. Google says Gemini 4 Carbon "pushes the frontier even further" than Argon, referring to the company's other frontier model that launched only last month. The company said Argon will likely
Gemini 4 Carbon is now available
The latest version aims to deliver improved performance while reducing the computational resources and energy required for AI operations.
Google Launches Gemini Decisions API With Gemini Decision 1 at $0.10/M Tokens
Google has launched the Gemini Decisions API, powered by a new model, Gemini Decision 1 (gemini-decision-1). The Gemini Decisions API does not generate text. It scores up to 1,000 typed questions against one shared input and returns calibrated probabilities. For developers, this targets the small branching calls inside agents: routing, policy checks, tool selection and grading. Google prices it at $0.10 per 1M input tokens, with zero output tokens billed. TL;DR Size: Context is 262,144 t
Also reported by SiliconANGLE
Introducing AlphaProof Code: a breakthrough in verifying complex software at depth
AlphaProof Code agents wrote three million lines of proofs in Lean to verify Signal’s core encryption.