Mistral AI lansează Leanstral 1.5: un model AI open-source care rezolvă probleme de matematică de nivel olimpic
Mistral AI a lansat Leanstral 1.5, un model open-source specializat în Lean 4, care a rezolvat 587 din 672 de probleme matematice din PutnamBench. Articolul explică importanța acestui model pentru comunitatea AI și matematică.
🕒 21 ore în urmă
