Releases
3 matching — model launches, API releases, product updates, financial events and news.
March 20263
Mar 16, 2026
Leanstral releasedOpen weights
Mistral AI released Leanstral, an open model for formal theorem proving and Lean code.
Mar 16, 2026
Mistral Small 4 releasedOpen weights
Mistral AI released Mistral Small 4, a next-generation compact open model for multimodal and agentic workloads.
Mar 16, 2026
NVIDIA expands open model families for agentic, physical and healthcare AIModel release
NVIDIA introduced Nemotron 3 Omni and VoiceChat, GR00T N1.7, Alpamayo 1.5 and Proteina-Complexa.

