Mistral Small 4

Mistral lance Leanstral, un agent qui prouve mathématiquement que le code fonctionne

Plutôt que de relire du code pour traquer les bugs, ce nouvel agent de Mistral en démontre formellement la correction, sans passer par un humain. Une…