Mistral's Shieldstral: 3B open-weights model for multimodal moderation(mistral.ai)
462 points by riadsila | 124 comments
Mistral AI blog post announcing Shieldstral, a 3B-parameter open-weights model for multimodal content moderation.
First screen, captured .
Looks similar
Mistral X Mozilla: Private, Multilingual AI Browsing(mistral.ai)
535 points by vertigoruntime | 186 comments
Mistral AI announcement of a partnership with Mozilla to bring open, private and multilingual AI features to the web browser.
Mistral raises €3B(mistral.ai)
774 points by kuberwastaken | 553 comments
Mistral AI company announcement of a €3 billion funding raise to advance sovereign, open-weight frontier AI models.
Leanstral: Open-source agent for trustworthy coding and formal proof engineering(mistral.ai)
730 points by Poudlardo | 178 comments
Mistral AI announcement of Leanstral, an open-source code agent for Lean 4 aimed at trustworthy coding and formal proof engineering.
Timestral: Mistral's time-series foundation models(mistral.ai)
557 points by groar | 104 comments
Mistral AI blog post announcing Timestral, a family of time-series foundation models.
Malleable Software(mdubakov.me)
90 points by tablet | 79 comments
Related stories
AI will make formal verification go mainstream(martin.kleppmann.com)
782 points by evankhoury | 394 comments
Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.
Codestral: Mistral's Code Model(mistral.ai)
418 points by alexmolas | 185 comments
Mistral AI blog post from May 29, 2024 announcing Codestral, its generative AI model for code.
Phi-4: Microsoft's Newest Small Language Model Specializing in Complex Reasoning(techcommunity.microsoft.com)
399 points by lappa | 136 comments
Microsoft AI Platform Blog post announcing Phi-4, a small language model specializing in complex reasoning.
GLM-Legal(z.ai)
660 points by ilreb | 357 comments
Z.ai research blog post introducing GLM-Legal, a language model aimed at agentic legal work such as analyzing source documents and producing client-ready work product.
GPT-5.5 hallucinates 3x more than MIT-licensed GLM-5.2(arrowtsx.dev)
474 points by oshrimpton | 235 comments
Blog post arguing that bigger AI models are not better, comparing benchmark and hallucination rates of GLM-5.2, GPT-5.5, Opus 4.8, DeepSeek V4 and others.
What AI-Native Looks Like(fagnerbrack.com)
14 points by fagnerbrack | 7 comments
A blog post by Fagner Brack on Medium describing what an AI-native approach to software development with stable infrastructure looks like.