Leanstral 1.5: o Modelo da Mistral para Prova Matemática Formal
O Leanstral 1.5 e o modelo open weights da Mistral AI especializado em gerar provas matemáticas formais em Lean 4. Entenda como funciona, para quem serve e por que isso importa para devs e pesquisadores.