Models & Releases

IFM Releases K2 Horizon: Six Apache 2.0 Models From 0.9B to 375B

Most open model launches release one checkpoint and a benchmark table. The Institute of Foundation Models (IFM) released something wider last week. IFM is the frontier lab launched by MBZUAI in May 2025. K2 Horizon is a fleet of six models: 375B-A23B, 36B-A4B, 32B, 7B, 3.7B and 0.9B. Shipping alongside them are the pre-training corpus, intermediate checkpoints, training code, configs and fine-grained logs. IFM calls it the largest fully open-source model launch in AI history. Is it deployabl

Get smart on it

The Institute of Foundation Models released K2 Horizon, a collection of six open-source language models ranging from 0.9 billion to 375 billion parameters, all available under Apache 2.0 licensing. The release is notable for its scope: alongside the models themselves, the institute published the training data, intermediate checkpoints, training code, and detailed logs, calling it the largest fully open-source model launch in AI history. All six models share the same core architecture and deployment tools, allowing teams to prototype on smaller versions and scale to larger ones without changing their infrastructure. The release includes two technical innovations: MoVA, which applies expert routing to attention mechanisms rather than just feed-forward layers, and Uno, a training method that delivers roughly 3 times faster decoding speed as an add-on adapter.

Explainer: How to Actually Read an AI Benchmark (Without Being Fooled)

The biggest AI stories, once a day

One short email a day with the stories that matter. Free. Unsubscribe with one click.

Relevant courses

Want to go deeper than the news? Explore live, cohort-based AI courses taught by practitioners.

Browse AI courses on Maven
Related news
Models & ReleasesOpen story →

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

Models & ReleasesOpen story →

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

Models & ReleasesOpen story →

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

Models & ReleasesOpen story →

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.

Models & ReleasesOpen story →

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

Models & ReleasesOpen story →

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.