Nieuws

Mistral AI brengt Leanstral 1.5 uit: Apache-2.0-model lost 587 van 672 PutnamBench-problemen op

Mistral AI heeft Leanstral 1.5 gelanceerd, een code-agentmodel voor Lean 4 dat 587 van de 672 PutnamBench-problemen oplost. Het model is open-source onder Apache 2.0 en heeft een gratis API-endpoint. Leanstral 1.5 behaalt nieuwe state-of-the-art resultaten op de FATE-H en FATE-X benchmarks en verslaat Opus 4.6 op FLTEval tegen een fractie van de kosten.