Models

High-signal updates on frontier and production AI models: releases, capability shifts, API changes, and platform-level changes.

Editorial scope

MonitoringOpenAI News, Anthropic, and other model platform announcements are the default backbone, with GitHub/model cards and major release notes as supporting signals.
Reader valuebuilders, operators, and product teams tracking model capability and deployment impact
CadenceDaily
Models

Leanstral 1.5: Proof Abundance for All

Leanstral 1.5, a free Apache-2.0 licensed model with 6B active parameters, delivers a major performance upgrade in formal verification, saturating miniF2F, solving 587/672 PutnamBench problems, and achieving state-of-the-art results on FATE-H (87%) and FATE-X.