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 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 …
Mistral AI released OCR 4, a document-understanding model that adds bounding boxes, block classification, and confidence scores to extracted text, supporting 170 languages. The model is designed for e…
Mistral AI released Mistral OCR 4, a document intelligence API that returns bounding boxes, block classifications, and confidence scores alongside extracted text, enabling structured document processi…
Mistral AI released OCR 4, a document extraction model with bounding boxes, block classification, and confidence scores, supporting 170 languages and self-hosted deployment. Independent annotators pre…
Mistral AI, a Paris-based AI company, is positioning itself as an enterprise-focused infrastructure provider rather than a consumer chatbot competitor, emphasizing open weights, customization, and sov…
OpenAI's ChatGPT, Anthropic's Claude, and Google's Gemini top a new leaderboard ranking the best AI tools by real-world usefulness and impact, with Midjourney, GitHub Copilot, and Cursor rounding out …
Jean-Baptiste Kempf, lead developer of VLC Media Player, is building Kyber, an open-source infrastructure layer for real-time remote control of robots and drones. The Paris-based startup raised $5 mil…
A developer argues that relying on a single AI model for all tasks is suboptimal, comparing it to using a hammer for a screw. The piece profiles seven major AI models—ChatGPT, Claude, Gemini, DeepSeek…
ASML CEO Christophe Fouquet warned that Europe is 'quite behind' in the AI race, with the US purchasing 80% of advanced AI chips and Europe accounting for only 1-2% of ASML's high-end lithography syst…
Mistral AI is developing Code and Apps features for its web platform Vibe (Le Chat), moving beyond conversation toward a full product platform. The Code section brings coding agents to the browser, wh…
France's OVHcloud plans to develop frontier AI models from scratch, aiming to open-source them once performance targets are met, as Europe seeks alternatives to US and Chinese AI systems. CEO Octave K…
OVHcloud acquired Dragon LLM, a Paris-based startup specializing in generative AI for regulated industries, and launched a dedicated AI lab to build sovereign large language models. The move positions…