La startup aux 1 000 salariés optimise son modèle de preuve formelle et de vérification de l’exactitude du code. Le LLM open weight dérivé de Mistral Small 4 ferait mieux que ses compétiteurs directs tout en coûtant bien moins cher.