Leanstral 1.5: Provas formais por US$ 4 em vez de US$ 300 por problema
⚡ Resumo rápido
Mistral AI lança Leanstral 1.5 sob licença Apache 2.0.
Mistral AI lança Leanstral 1.5 sob licença Apache 2.0. Segundo Mistral, o modelo resolve 587 das 672 tarefas do Putnam e encontra automaticamente bugs no código.
📰 Artigos relacionados
Do posto de gasolina à prateleira do pão: a crise de abastecimento da Rússia está se expandindo
n-tvDispositivos automotivos para as férias de verão: câmeras para bebês, caixas térmicas, CarPlay & Co.
Heise Online
Guerra na Ucrânia: graves ataques russos relatados antes da cimeira da NATO
Der Spiegel
Türkiye: Ativista de direitos humanos critica onda de prisões antes da cimeira da NATO
Der Spiegel
Mais balística, mais mortes: a Rússia conta com novas táticas nos ataques a Kiev
n-tv