Moonshot AI

Latest AI news, models and releases from Moonshot AI. ['GLM 5.2', 'GLM-5.2', 'Hermes', 'K2', 'K2.6', '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', 'Minimax']

Official site ↗

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

Research 🇺🇸

Google DeepMind presents Gemini for Science: a set of AI tools for scientific discovery

Google DeepMind has announced Gemini for Science, a collection of AI experiments and tools designed to accelerate scientific research. The suite includes three prototypes: Hypothesis Generation, Computational Discovery, and Literature Insights, powered by Co-Scientist, AlphaEvolve, ERA, and NotebookLM. These tools aim to help researchers generate hypotheses, run computational experiments, and analyze scientific literature more efficiently.

Google/DeepMind

Google DeepMind

Moonshot AI

Google DeepMind27.07 · 14:04

Show more ↓