Mistral AI veröffentlicht Leanstral 1.5: Ein Apache-2.0-Lean-4-Code-Agent-Modell, das 587 von 672 PutnamBench-Problemen löst
admin Heute wurde Mistral AI veröffentlicht Leanstral 1.5. Es handelt sich um ein Code-Agent-Modell, das für Lean 4 entwickelt wurde. Die Model zielt auf automatisierte Theoremprüfung und Proof-Engineering ab. Gewichte sind…