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.
Editorial Data Cube AIFonte: 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