deployedbyai
Follow

The Deploy Log | Models and APIs | Free, no signup

Leanstral 1.5

Mistral | In Edition 41,

The call on this one

DEPLOYif you do formal verification in Lean 4

SOURCE Mistral, Leanstral 1.5: Proof Abundance for All

Leanstral 1.5 saturates miniF2F at 100%, solves 587/672 PutnamBench problems, and achieves 87% on FATE-H and 34% on FATE-X, at about $4 per problem against an estimated $300 or more for Seed-Prover 1.5 high.

Added to The Deploy Log , updated . Read Edition 41, the edition that carried it.

11 rows from Mistral in The Deploy Log are dated on or before this one, this one included.

Before it from Mistral: Mistral OCR 4, 7 days earlier. After it: Studio prompts and skills, 5 days later.

|

One line every time AI actually ships, as it ships, 24/7. Follow the wire: Threads | Bluesky

One line every time AI actually ships, around the clock, free on Threads and Bluesky. Every one is in The Deploy Log with its source.

The Saturday edition is the week in one, free to read on the site, and by email if you want it: get it by email.