Mistral AI released Leanstral 1.5, an open-source model for formal verification in Lean 4. Beyond math, the model found five previously unknown bugs while scanning 57 open-source repositories. The article Mistral's open…
Open-weights releases pressure closed pricing and widen access, changing the build-vs-buy math for the whole ecosystem.
Companies and models mentioned in this story — open their pages and live prices
Summaries are aggregated for information only — follow the source link for the full story. Demo entries are illustrative.