Models · Hacker News ·
Leanstral 1.5: Proof abundance for all
Mistral announced Leanstral 1.5, describing a new release focused on improving proof generation and mathematical reasoning. The post presents it as an update aimed at making proof abundance more broadly available.