Mistral AI is a French AI startup founded in 2023 that develops efficient open-weight language models including Mistral 7B, Mixtral, and Mistral Large, known for strong performance-to-size ratios.
Mistral AI offers the Le Chat assistant and a model family including Mistral Large 3, Mistral Small 4, and Mistral Medium 3.5, with flagship models featuring a 256K token context window and 675B total…
Mistral AI released a new robotics navigation model called Robostral Navigate, enabling robots to navigate complex environments using a single camera and basic language prompts. The French startup is …
Mistral AI released Robostral Navigate, an 8B parameter robotics model that uses a single RGB camera and text prompts to guide robots through complex environments, trained entirely in simulation and d…
Mistral AI released Robostral Navigate, an 8B-parameter robotics navigation model that achieves 76.6% success on unseen R2R-CE benchmarks using only a single RGB camera, outperforming multi-sensor app…
In a head-to-head benchmark of four text-generation tasks, xAI's Grok-4.3 scored 34.0 to Mistral Medium 3-5's 31.0, winning on structured output and instruction-following. Grok-4.3 outperformed on ven…
A developer introduced resk-mark, an open-source tool that embeds cryptographic watermarks into LLM-generated text by biasing token sampling with a secret key. The watermark survives rewording and tru…
Naver Cloud and Mistral AI signed a comprehensive partnership to jointly pursue the manufacturing AI market, aiming to offer sovereign AI solutions to manufacturers in Europe and Asia. The partnership…
The Korea Times published an economic essay on July 8, 2026, proposing that Korean financial institutions deploy a local server interceptor to redact sensitive data before sending AI requests to exter…
Station F, the Paris-based startup hub founded by billionaire Xavier Niel, is launching a second cohort of its F/ai accelerator program in September to help AI startups achieve rapid revenue growth. T…
Mistral AI, a French AI startup, is gaining attention as a sovereign alternative to US tech, following government actions against Anthropic and European calls for reduced US reliance. The company, whi…
Mistral AI released Leanstral 1.5, an open-source code agent model for Lean 4 formal proof engineering, available under Apache-2.0 license. The 119B-parameter model achieves state-of-the-art results o…
Mistral AI released Leanstral 1.5, an open-source model for formal verification in Lean 4, achieving 100% on the miniF2F math benchmark and solving 587 of 672 Putnam problems. The model also caught fi…
Mistral AI released Leanstral 1.5, an open-source Lean 4 proof model with 119 billion total parameters, on July 2. The model achieves state-of-the-art results on theorem-proving benchmarks and is posi…
Mistral AI has not yet released Leanstral 1.5, a state-of-the-art open model for Lean 4 proof engineering, despite a social media post suggesting otherwise. The model is designed to help developers ve…
Mistral AI released Leanstral 1.5, an Apache-2.0 licensed Lean 4 code agent model that solves 587 of 672 PutnamBench problems. The model achieves state-of-the-art results on multiple theorem-proving b…
Amazon Web Services released an open source Model Profiler for Amazon Bedrock that aggregates metadata from multiple AWS APIs and external sources into a single searchable interface, enabling teams to…
Base44, the vibe coding platform acquired by Wix for $80 million a year ago, has launched its own AI model, Base1, to improve latency, cost, and efficiency. The move addresses concerns about defensibi…
A broader ecosystem of AI companies beyond OpenAI, Nvidia, Anthropic, and Google DeepMind is building the infrastructure, governance, and application platforms that make AI commercially viable. Mistra…
DuckDuckGo's AI-powered search results falsely claimed President Donald Trump died of rabies after contracting the infection from Vice President J.D. Vance, who also died of rabies. The misinformation…
Mistral AI released OCR 4, a new model that reads text from documents and identifies page elements like titles and tables. In a blind test with over 600 documents, independent reviewers preferred OCR …