Aleph Alpha released Kolibri, a 78.1-billion-parameter mixture-of-experts English-German language model, on Hugging Face under the Apache 2.0 license on Saturday, positioning it as a sovereign alterna…
Aleph Alpha released Kolibri, a free open-weight mixture-of-experts model with 78 billion total parameters and about 3.5 billion active per token, on Saturday under the Apache 2.0 licence on Hugging F…
A study of 3,600 exact-rational word problems and 8,600 prompts across five open-weight language models found canonical accuracy of 0.969-0.996 but orbit correctness of only 0.848-0.981 and orbit inva…
Mozilla added Mistral Small 4 as the fourth AI model in Firefox Smart Window on September 16, 2026, under a zero-data-retention agreement in which Mistral never logs, retains, or trains on user conver…
Mozilla and Mistral announced a partnership bringing the 119-billion-parameter Mistral Small 4 model to Firefox Smart Window, replacing OpenAI's gpt-oss-120B in the feature's "Personalized" category. …
TypeSafe's Jev model achieved 96% accuracy (48/50) on a 50-case local event validation test, outperforming Gemini 3.5 Flash-Lite at 86% (43/50) and Mistral Small 4 at 84% (42/50), according to a compa…
Mozilla announced on September 16 that Mistral Small 4 will power Firefox Smart Window, its optional AI browsing assistant, for beta users in the US and Canada, with France becoming the first market t…
NVIDIA's Nemotron 3.5 Lightning 30B-A3B model demonstrates how a Mixture-of-Experts (MoE) architecture can activate only 3B of its 30B parameters per token by routing each token through a selected sub…
Duck.ai offers a privacy-focused interface for accessing multiple AI models, including GPT-5.6 Luna, GPT-5.4 mini, Claude Haiku 4.5, Mistral Small 4, gpt-oss-120b, and Gemma 4 31B, without requiring a…
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's Leanstral 1.5, an AI model designed to write formal mathematical proofs, unexpectedly discovered five previously unreported software bugs in open-source codebases by using its proof-checking…