Models

Claude Opus 4.1, released on 5 August 2025, upgraded Claude Opus 4 for agentic tasks, real-world coding and reasoning, at the same price. Anthropic later succeeded it with Claude Opus 4.5.

Large language modelsAgents & tool useReasoning

An enhanced reasoning mode for Gemini 2.5 Pro that weighs multiple hypotheses in parallel before answering, announced experimentally in 2025 and known for reaching gold-medal standard at the International Mathematical Olympiad.

Large language modelsReasoningScience

Baichuan-M2 is an open-source medical-enhanced model with 32 billion parameters, built on Qwen2.5-32B and released under Apache 2.0 for research and reference.

Large language modelsOpen sourceChina

Step 3 is StepFun's open multimodal reasoning model, with 321 billion total parameters and 38 billion active per token. It was released in July 2025 and uses Apache 2.0.

Open sourceChinaMultimodal

Step-Audio 2 is a speech model from StepFun that can understand audio and hold spoken conversations. Its mini versions were released under the Apache 2.0 license in 2025.

Open sourceChinaMultimodal

A 14.74-billion-parameter Korean-English reasoning model released by NAVER in July 2025, built by compressing a larger model and training it with a four-stage reasoning recipe at a fraction of the cost of comparable models.

Large language modelsOpen sourceFoundation models

Qwen3-2507 is a staged 2025 refresh of the open-weight Qwen3 models that split thinking and non-thinking into separate checkpoints, raised native context to 262,144 tokens, and scored far above the original non-thinking mode on published benchmarks.

Large language modelsOpen sourceChina

EXAONE 4.0 is LG's family of large language models, released as a 32B model and a 1.2B on-device model, merging chat usability with a reasoning mode and adding tool use and Spanish support.

Large language modelsOpen sourceFoundation models

Grok 4 and Grok 4 Heavy are xAI's models from July 2025. Grok 4 has a 256,000-token context and was trained with reinforcement learning at pretraining scale, while Heavy runs parallel test-time compute.

Large language modelsAgents & tool useMultimodal

SmolLM3 is a 3-billion-parameter open model released by Hugging Face on 8 July 2025. It supports six languages and up to 128K tokens of context, with switchable reasoning, under Apache 2.0.

Large language modelsOpen sourceReasoning

SenseNova V6.5 is SenseTime's enhanced multimodal model, announced in July 2025, built around interleaved image-text reasoning and powering an agent upgrade of the Raccoon assistant.

ChinaAgents & tool useMultimodal

Hunyuan-A13B is Tencent's open-weight mixture-of-experts language model, released on 27 June 2025 with 80 billion total parameters, 13 billion active per token and a 256K context.

Large language modelsOpen sourceChina

ByteDance Seed's general-purpose model series, announced on 11 June 2025 as Doubao Large Model 1.6, combining multimodal input, a 256K context window and a mode that decides per prompt whether to reason before answering.

Large language modelsChinaEnterprise

OpenAI o3-pro is a version of the o3 model released on 10 June 2025, which OpenAI described as its most capable model at the time and recommended for hard questions where reliability matters more than speed.

Large language modelsReasoningScience

Magistral is Mistral AI's first family of reasoning models, launched in June 2025 with an open-weight Small model and an enterprise Medium model. It supports multilingual reasoning and was later updated and retired.

Large language modelsOpen sourceReasoning

MiniMax-M1 is an open reasoning model released by MiniMax in June 2025. It has 456B total parameters, a native 1-million-token context and an Apache 2.0 license, and it comes in 40K and 80K thinking-budget versions.

Large language modelsOpen sourceChina

An updated release of DeepSeek's open-weight reasoning model, published on 28 May 2025 under the MIT License, with markedly higher scores on competition math, science and coding benchmarks, plus system-prompt support and stronger function calling.

Large language modelsOpen sourceChina

Sarvam-M is Sarvam AI's open-weights 24-billion-parameter model, post-trained from Mistral Small for eleven Indian languages. It runs in think and non-think modes and reports large gains on Indic, maths and coding benchmarks.

Large language modelsOpen sourceFoundation models

Claude Opus 4 and Claude Sonnet 4, announced on 22 May 2025, were hybrid models with extended thinking. Anthropic called Opus 4 the best coding model in the world, and Claude Code became generally available the same day.

Large language modelsAgents & tool useReasoning

AlphaEvolve is a Google DeepMind coding agent announced on 14 May 2025 that pairs Gemini models with automated evaluators to evolve algorithms, yielding a Borg scheduling heuristic, faster kernels and new mathematical results.

Agents & tool useReasoningScience

MiMo-7B is a 7-billion-parameter reasoning model from Xiaomi's LLM-Core team, pre-trained on 25 trillion tokens and tuned with reinforcement learning on verifiable math and code problems, reported to surpass OpenAI o1-mini on several reasoning benchmarks.

Large language modelsOpen sourceChina

DeepSeek's open-source model for formal theorem proving in Lean 4, trained with a subgoal-decomposition pipeline; it reached an 88.9% pass ratio on MiniF2F-test and introduced the ProverBench benchmark.

Open sourceChinaReasoning

A 14-billion-parameter open-weight reasoning model released by Microsoft in April 2025, built by fine-tuning Phi-4 on reasoning traces generated by OpenAI's o3-mini and published under the MIT licence.

Large language modelsOpen sourceReasoning

ERNIE X1 Turbo is a Baidu reasoning model released on 25 April 2025, positioned as a cheaper and more capable successor to ERNIE X1, with stronger chain-of-thought, multimodal and tool-use abilities.

Large language modelsChinaAgents & tool use

A model in Google's Gemini 2.5 family, released in preview in April 2025 and generally available that June. Google called it its first fully hybrid reasoning model, letting developers turn thinking on or off with a token budget.

Large language modelsConsumer appsReasoning

A small reasoning model released by OpenAI in April 2025 alongside o3, built for fast, low-cost reasoning; with a Python interpreter it reached 99.5% pass@1 on AIME 2025, and it was later succeeded by GPT-5 mini.

Large language modelsReasoningCode

SenseTime's SenseNova V6 is a native mixture-of-experts multimodal foundation model with over 600 billion parameters, released on 10 April 2025 in general, reasoning and real-time interactive variants.

Large language modelsChinaMultimodal

Seed-Thinking-v1.5 is a reasoning model from ByteDance Seed: a 20B-activated, 200B-total mixture-of-experts model trained with reinforcement learning to think before answering, published with a technical report and benchmark tables but no model weights.

Large language modelsChinaReasoning

Hunyuan-T1 is Tencent's deep-reasoning model, officially released on 21 March 2025 and built on the Hunyuan-TurboS base. Tencent did not release its weights.

Large language modelsChinaReasoning

Llama Nemotron is NVIDIA's family of open reasoning models in Nano, Super and Ultra sizes, launched in March 2025 and built on Meta's Llama 3 models.

Large language modelsOpen sourceEnterprise

ERNIE X1 is Baidu's deep-thinking reasoning model released on 16 March 2025 alongside ERNIE 4.5, notable for tool use, multimodal input and low pricing, and later followed by X1 Turbo and X1.1.

Large language modelsChinaAgents & tool use

Reka Flash 3 is a 21-billion-parameter general-purpose reasoning model from Reka, trained from scratch and released with open weights under the Apache 2.0 licence on 11 March 2025.

Large language modelsOpen sourceReasoning

A 32-billion-parameter open-weight reasoning model released by the Qwen team on 6 March 2025, trained mainly through scaled reinforcement learning and reported to perform comparably to the much larger DeepSeek-R1.

Large language modelsOpen sourceChina

Claude 3.7 Sonnet, released on 24 February 2025, was described by Anthropic as the first hybrid reasoning model on the market, able to answer quickly or think step by step at length. It launched with Claude Code.

Large language modelsAgents & tool useReasoning

Grok 3 and the cheaper Grok 3 mini are xAI's reasoning models from February 2025. Grok 3 added a Think mode, a 1-million-token context window and the DeepSearch research agent.

Large language modelsAgents & tool useMultimodal

OpenAI's small reasoning model released on 31 January 2025, offered to all ChatGPT users including the free tier, with three reasoning-effort levels and developer features such as function calling and Structured Outputs; succeeded by o4-mini in April 2025.

Large language modelsConsumer appsReasoning

Kimi k1.5 is a multimodal reasoning model released by Moonshot AI on 20 January 2025, which the company said matched OpenAI's o1 in mathematics, coding and multimodal reasoning and which was trained with reinforcement learning rather than tree search or process reward models.

Large language modelsChinaMultimodal

iFlytek Spark X1 is a Chinese deep-reasoning model released in January 2025 and trained entirely on domestic computing hardware, with later upgrades benchmarked against OpenAI's reasoning models.

Large language modelsChinaReasoning

Phi-4 is Microsoft's 14-billion-parameter dense decoder-only language model, built with a data-quality-first recipe heavy on synthetic data and released with full weights under the MIT licence in January 2025.

Large language modelsOpen sourceReasoning

A version of OpenAI's o1 that spends more compute before answering, launched on 5 December 2024 inside the $200-a-month ChatGPT Pro plan and added to the API on 19 March 2025.

Large language modelsConsumer appsReasoning

QwQ-32B-Preview is an experimental reasoning research model released by the Qwen team on 28 November 2024, with 32B parameters, a 32K-token context and open Apache 2.0 weights. It scored strongly on maths benchmarks but the team documented clear failure modes.

Large language modelsOpen sourceChina

Tülu 3 is Ai2's open post-training recipe and model family, released in 8B and 70B sizes on top of Llama 3.1 and combining instruction tuning, preference tuning with on-policy data, and reinforcement learning with verifiable rewards.

Large language modelsOpen sourceReasoning

o1-mini is a smaller, faster and cheaper reasoning model that OpenAI released on 12 September 2024 alongside o1-preview, trained with reinforcement learning to reason step by step and rated particularly effective at coding.

Large language modelsReasoningCode

AlphaProof is a Google DeepMind reinforcement-learning system that proves mathematical statements in the formal language Lean. At the 2024 International Mathematical Olympiad it solved three problems, and together with AlphaGeometry 2 reached silver-medal level.

ReasoningScienceSymbolic AI

A 7-billion-parameter model released by Mistral AI on 16 July 2024 for mathematical and STEM reasoning, built on Mistral 7B, openly licensed, and now listed as deprecated.

Open sourceReasoningScience

Grok-1.5 is xAI's upgrade to Grok-1, with better reasoning and a 128,000-token context window. Its companion Grok-1.5V was xAI's first multimodal model. Neither model's weights were released publicly.

Large language modelsMultimodalReasoning

Claude 3 Opus, announced on 4 March 2024, was the most capable model in the Claude 3 family. It added vision and launched with a 200K-token context window and a Needle In A Haystack recall above 99%.

Large language modelsEnterpriseMultimodal

DeepSeekMath is a 7B-parameter open language model built for mathematical reasoning and released in 2024. It reached 51.7% on the competition-level MATH benchmark without external tools, and introduced GRPO, a reinforcement-learning algorithm that uses less memory than PPO.

Large language modelsOpen sourceChina

AlphaGeometry is a Google DeepMind system that pairs a neural language model with a symbolic deduction engine to solve olympiad geometry problems, reaching near gold-medal level on a benchmark of 30 problems.

Open sourceReasoningScience

FunSearch is a method that uses a pretrained large language model inside an evolutionary loop to search for programs that solve mathematical and computational problems, rather than for answers directly. It produced new results on the cap set problem and on online bin packing.

Deep learningReasoningScience

Phi-2 is a 2.7-billion-parameter base language model from Microsoft Research, announced on 12 December 2023. Microsoft reported that it matched or beat models up to 25 times larger on complex benchmarks, making it a reference point for small-model training.

Large language modelsOpen sourceReasoning

Phi-1.5 is a 1.3-billion-parameter language model from Microsoft Research, trained on curated synthetic "textbook" text rather than web crawls; its report claims natural-language performance comparable to models five times larger.

Large language modelsOpen sourceReasoning