For mathematical formal proof: Mistral AI releases Leanstral 1.5, a low-cost open-source model.
For problems in the PutnamBench math competition problem set, Leanstral 1.5 has an average solving cost of only 4 US dollars, while Seed-Prover 1.5 needs over 300 US dollars, and Aleph Prover also needs 54~68 US dollars.
Return to original text
A short introduction is retained here; the full text from the source website is not reposted. For specific wording and subsequent updates, please refer to the original article.
Open the original article on ITHome