Moonshot AI

Latest AI news, models and releases from Moonshot AI. ['GLM 5.2', 'GLM-5.2', 'Hermes', 'K2', 'K2.6', 'K2.7', 'K3', 'K3-mini', 'K3-MoE', 'Kimi', 'Kimi 2.6', 'Kimi-2.6', 'Kimi 3', 'Kimi 3T', 'Kimi Hosted Agent', 'Kimi k1.5', 'Kimi K1.5', 'kimi-k2', 'Kimi K2', 'kimi-k2-0711-preview', 'Kimi K2.5', 'Kimi-K2.5-1T-A32B', 'Kimi K2.6', 'Kimi K2.7', 'Kimi K2.7 Code', 'Kimi K2 Thinking', 'Kimi K3', 'Kimi-K3', 'Kimi K3.5', 'Kimi K4', 'Kimi K5', 'Kimi Linear', 'Kivine', 'Krea 2', 'Krea 2 Turbo', 'Mamba', 'Mamba-2', 'Mamba-3', 'MiniCPM-RobotManip', 'MiniCPM-RobotTrack']

Official site ↗

Research 🇷🇺

LangGraph, Hybrid RAG, and Signature Engine: A Universal Graph for Streaming Data

An architecture of an asynchronous graph based on LangGraph is presented, combining LLM, hybrid RAG (vector search + BM25), and signatures (YARA, Sigma) for processing streaming data. The system was tested on cybersecurity logs but can be applied to review analysis, spam filtering, and document moderation.

Moonshot AI

Habr — хаб ИИ27.07 · 17:01

Agents 🇺🇸

Leanstral: open-source foundation for trusted programming

Mistral AI has released Leanstral, the first open-source code agent for Lean 4, a proof assistant. Leanstral is efficient with 6B active parameters and outperforms larger open-source models and some Claude models at a fraction of the cost, aiming to verify code generation.

Mistral

Anthropic

Alibaba/Qwen

Moonshot AI

Mistral AI27.07 · 16:04

Show more ↓