Mistral lanserer Leanstral 1.5, en åpen modell under Apache 2.0 med 6 milliarder aktive parametere som setter ny standard innen formell verifisering og matematiske bevis. Modellen løser 587 av 672 PutnamBench-problemer.
Mistral lanserer Leanstral 1.5, en åpen modell under Apache 2.0 med 6 milliarder aktive parametere som setter ny standard innen formell verifisering og matematiske bevis. Modellen løser 587 av 672 PutnamBench-problemer.