Mistral AI 发布 Leanstral 1.5 用于形式化验证任务 · 跟踪 5 个来源

报道来源 [5]

1. Hugging Face Trending Models TIER_1 Română(RO) · mistralai · 2026-07-01 16:43

   mistralai/Leanstral-1.5-119B-A6B

   4 downloads · 48 likes

2. Hacker News — AI stories ≥50 points TIER_1 Français(FR) · vetronauta · 2026-06-30 20:44

   Leanstral 1.5

3. r/LocalLLaMA TIER_1 English(EN) · /u/Tall-Ad-7742 · 2026-07-03 14:44

   Mistral 发布 Leanstral-1.5-119B-A6B

   <table> <tr><td> <a href="https://www.reddit.com/r/LocalLLaMA/comments/1umgdhx/mistral_released_leanstral15119ba6b/"> <img alt="Mistral released Leanstral-1.5-119B-A6B" src="https://external-preview.redd.it/ODJmTYJPSSbtKSPmO8gS3EmI__gMc5r8LJxlf8jL8KI.png?width=640&amp;crop=smart&…

4. Mastodon — mastodon.social TIER_1 English(EN) · [email protected] · 2026-07-05 04:07

   RT @MiaAI_lab: Leanstral-1.5-119B-A6B FP8 在 2× @NVIDIAAI DGX Sparks 上运行，256k 上下文，7 个并行会话。1 个并行 → 21 tok/s，2 个并行 → 26 tok/s，4 个并行

   RT @MiaAI_lab: Leanstral-1.5-119B-A6B FP8 auf 2× @NVIDIAAI DGX Sparks, 256k Kontext, 7 parallele Sitzungen. 1 parallel → 21 tok/s, 2 parallel → 26 tok/s, 4 parallel → 73 tok/s, 7 parallel → 108 tok/s ✨Das Modell denkt zu viel, nutze 'thinking off'. ✨EAGLE spekulatives Decodieren …

5. Mastodon — mastodon.social TIER_1 English(EN) · AI_Tech_News_UK · 2026-07-01 03:00

   🔥 推出 Leanstral 1.5 Leanstral 1.5 是一个新模型，有望提高性能和效率，并可能应用于各个行业。T

   🔥 Introducing Leanstral 1.5 Leanstral 1.5 is a new model that promises improved performance and efficiency, with potential applications in various industries. The model's capabilities and limitations are outlined in its model card, providing valuable insights for developers and r…

   链接 aitechcodex.uk/…/2802 aitechcodex.uk/…/2802