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.
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 …
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 …
A developer built a minimal pipeline combining LangGraph and Mistral AI, demonstrating a basic LLM-to-counter flow as a foundation for more complex graph-based applications. The project is open-source…
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…