HomeAI · summaries
Storia in 4 fonti
Leanstral 1.5: Formale Beweise für 4 Dollar statt 300 Dollar pro Aufgabe
Mistral AI veröffentlicht Leanstral 1.5 unter Apache-2.0-Lizenz. Das Modell löst laut Mistral 587 von 672 Putnam-Aufgaben und findet automatisiert Bugs in Code.
Confronto fonti
4 prospettive sulla stessa storiaTimeline cronologica
- ·
marktechpost.com
Mistral AI Releases Leanstral 1.5: An Apache-2.0 Lean 4 Code Agent Model Solving 587 of 672 PutnamBench Problems
Mistral AI's Leanstral 1.5 is a free, open-weights Lean 4 theorem-proving model saturating miniF2F, with 6.5B active parameters.
- ·
the-decoder.com
Mistral's open-source Leanstral 1.5 aces formal math benchmarks and catches real bugs in code
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…
