Nieuws

Mistrals open-source Leanstral 1.5 behaalt perfecte score op wiskundige benchmarks en vindt echte bugs in code

Mistral AI heeft Leanstral 1.5 uitgebracht, een open-source model voor formele verificatie in Lean 4. Het model behaalt 100 procent op de miniF2F-benchmark en lost 587 van de 672 Putnam-problemen op. Bij het scannen van 57 open-source repositories vond het vijf voorheen onbekende bugs, waaronder een overflow-bug in de Rust-bibliotheek varinteger.