Inteligencia IAJul 4, 2026Inteligencia IA
Artigo
Mistral AI lançou o Leanstral 1.5, um modelo de código aberto para verificação formal no Lean 4.
Ele resolve problemas matemáticos complexos e encontrou cinco bugs anteriormente desconhecidos ao escanear 57 repositórios de código aberto.
Gerado por IA: resumos escritos por IA a partir das fontes indicadas. Como usamos a IA
Gerado por IAFonte: Mistral AI
01
Brief da fonte
Mistral AI lançou o Leanstral 1.5, um modelo de código aberto para verificação formal no Lean 4. Ele resolve problemas matemáticos complexos e encontrou cinco bugs anteriormente desconhecidos ao escanear 57 repositórios de código aberto.
02