DeepSeek V3.1
DeepSeek V3.1 is a large language model developed by DeepSeek, released on August 19, 2025 and made broadly available via the official API on August 21, 2025.
Chinese AI
Explore Chinese AI through related topics and the articles other pages reference most.
Explore articles
Browse subtopics: Reasoning Models
Articles that also belong to these categories. Counts cover all of Chinese AI.
All articles (287)Large Language Models (91)Open Source AI (76)AI Companies (65)AI Models (61)AI Hardware (37)Mixture of Experts (28)Multimodal AI (27)Robotics (27)Generative AI (22)Humanoid Robots (22)Video Generation (21)People (18)AI Policy & Regulation (16)Computer Vision (16)Reasoning Models (14)AI Tools & Products (11)Embodied AI (11)AI Infrastructure (10)Robotics Companies (10)AI Agents (9)AI Code Generation (9)Image Generation (8)Autonomous Vehicles (7)Research Organizations (7)Conversational AI (6)Developer Tools (5)Machine Learning (5)Robot Hardware (5)Speech & Audio AI (5)Venture Capital (4)AI Events (3)Healthcare AI (3)Information Retrieval (3)NVIDIA (3)Universities (3)AI Incidents & Controversies (2)AI Inference (2)Artificial Intelligence (2)Deep Learning (2)Enterprise AI (2)Mathematics (2)Model Architecture (2)Natural Language Processing (2)Reinforcement Learning (2)Small Language Models (2)Training & Optimization (2)Transformer Models (2)Voice AI (2)AI Ethics (1)AI History (1)AI Safety (1)AI in Gaming (1)Computer Science (1)Data & Datasets (1)Finance AI (1)World Models (1)
Showing 1-14 of 14 articles
DeepSeek-Prover
DeepSeek-Prover is a family of open-weight large language models developed by Chinese AI laboratory DeepSeek for formal theorem proving in the Lean 4 proof assistant.
DeepSeek-R1
DeepSeek-R1 is an open-weight reasoning model and large language model family developed by the Chinese artificial intelligence laboratory DeepSeek. The original model was released on January 20, 2025.
DeepSeek-R1-Distill
DeepSeek-R1-Distill is a family of six open-weight reasoning language models released by DeepSeek on January 20, 2025, alongside the flagship DeepSeek-R1 reasoning model.
DeepSeekMath
DeepSeekMath is a family of open-weight large language models specialized for mathematical reasoning, released by Chinese AI laboratory DeepSeek in February 2024.
GRPO
Group Relative Policy Optimization (GRPO) is a reinforcement learning algorithm for fine-tuning large language models that eliminates the separate critic (value) network used by PPO
Kimi K2 Thinking
Kimi K2 Thinking is a reasoning and agentic large language model released by the Chinese startup Moonshot AI on November 6, 2025.
Marco-o1
Marco-o1 is an open reasoning model released in November 2024 by the MarcoPolo team at Alibaba International Digital Commerce (AIDC).
MiniMax M1
MiniMax M1 (stylised MiniMax-M1) is an open-weight large language reasoning model released on 16 June 2025 by the Shanghai-based artificial-intelligence company MiniMax
MiniMax M2.7
MiniMax M2.7 is a large language model released by the Chinese AI company MiniMax on March 18, 2026.
QvQ
QvQ (styled QVQ) is a family of experimental visual reasoning models from the Qwen team at Alibaba.
QwQ
QwQ is a family of open-weight reasoning models from the Qwen team at Alibaba Cloud, built to compete with OpenAI's o1 and DeepSeek-R1 at a fraction of their size.
Qwen3.8
Qwen3.8 is the name Qwen uses for a model generation that includes hosted services and downloadable checkpoints.
Skywork-R1V
Skywork-R1V is an open-weight family of multimodal reasoning models released by Skywork AI, the AGI and AIGC division of Beijing Kunlun Tech Co., Ltd. (Kunlun Wanwei).