Modely
· 4 min čítania
Mistral vydal Leanstral 1.5 pre formálne dôkazy v Lean 4
Nový otvorený model Leanstral 1.5 má 119 miliárd parametrov, z nich 6 miliárd aktívnych, a cieli na formálne dôkazy, verifikáciu kódu a agentické proof engineering workflowy.