Mistral advances AI with new modular model, code verification tool, and enterprise customization platform

Mistral AI has introduced several innovations: the Small 4 model featuring 128 expert modules for enhanced text, reasoning, and image tasks; Leanstral, an AI coding agent using formal verification to improve code reliability; and Mistral Forge, a platform enabling enterprises...