Best AI Models for Reasoning and Math
As of July 2026, the strongest general reasoning models are Anthropic's Claude Opus 4.8 and Claude Fable 5, OpenAI's GPT-5.5, and Google's Gemini 3.1 Pro and Gemini 3 Pro in its Deep Think mode
Large Language Models
Explore language models, how they work, and the techniques used to build applications with them.
Explore articles
Browse subtopics: Reasoning Models
Articles that also belong to these categories. Counts cover all of Large Language Models.
All articles (608)AI Models (211)Open Source AI (184)Chinese AI (109)Natural Language Processing (60)Mixture of Experts (55)Reasoning Models (53)Machine Learning (52)Multimodal AI (51)AI Companies (40)OpenAI (39)Artificial Intelligence (37)AI Benchmarks (35)Anthropic (34)AI Agents (30)AI Safety (29)Google DeepMind (28)Developer Tools (25)AI Inference (24)AI Code Generation (22)Meta AI (22)Small Language Models (20)Training & Optimization (18)Generative AI (16)AI Research (15)Model Architecture (15)NVIDIA (15)Model Evaluation (13)Prompt Engineering (13)Data & Datasets (12)Deep Learning (12)Google (12)AI Tools & Products (9)Conversational AI (9)Microsoft (9)Diffusion Models (8)Transformer Models (8)AI Infrastructure (7)Enterprise AI (7)Interpretability (6)People (6)Research Organizations (6)AI Alignment (5)AI for Science (5)Information Retrieval (5)AI Hardware (4)Healthcare AI (4)Reinforcement Learning (4)AI Policy & Regulation (3)AI in Cybersecurity (3)Legal AI (3)Mathematics (3)Speech & Audio AI (3)AI History (2)Algorithms (2)Computer Vision (2)Neural Networks (2)AI in Gaming (1)Autonomous Vehicles (1)ChatGPT (1)Drug Discovery (1)MLOps (1)Robotics (1)Software Development (1)
Showing 1-53 of 53 articles
Claude Opus 5
Claude Opus 5 is a large language model released by Anthropic on 24 July 2026 as the successor to Claude Opus 4.8 in the Claude Opus line.
Command A Reasoning
Command A Reasoning is an enterprise reasoning model released by Cohere on August 21, 2025, as part of the Command A family of large language models.
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.
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.
FoxBrain
FoxBrain is a family of large language models developed by the AI Research Center of Hon Hai Research Institute (HHRI, 鴻海研究院), the research arm of Foxconn (Hon Hai Technology Group).
GPT-5 Pro
GPT-5 Pro is a large language model developed by OpenAI and was the highest-capability variant of the original GPT-5 release.
GPT-5.6
GPT-5.6 is a family of proprietary multimodal large language models developed by OpenAI. The family entered a limited preview on June 26, 2026, and became generally available on July 9, 2026.
GPT-6 Astra
GPT-6 Astra is an OpenAI model that the company began rolling out on September 3, 2026, describing it as "the world's most intelligent and aligned model" and as the successor to the GPT-5.6 family.
GPT-6 Sol
GPT-6 Sol is a proprietary large language model developed by OpenAI and released on September 22, 2026, together with a smaller companion model, GPT-6 Luna.
GPT-6.1 Sol
GPT-6.1 Sol is a proprietary large language model developed by OpenAI and released on September 29, 2026, at the company's DevDay 2026 event.
GSM8K
GSM8K (Grade School Math 8K) is an English-language benchmark of grade-school arithmetic word problems released by OpenAI researchers in 2021.
Gemini 2.0 Flash Thinking
Gemini 2.0 Flash Thinking is an experimental reasoning model released by Google as part of the Gemini 2.0 family.
Gemini 2.5 Deep Think
Gemini 2.5 Deep Think is Google DeepMind's enhanced reasoning mode for the Gemini 2.5 Pro model that uses a technique called "parallel thinking" to explore many candidate solution paths at once before…
Goedel-Prover
Goedel-Prover is an open-source large language model designed for automated formal theorem proving in Lean 4.
Grok 4
Grok 4 is a large language model developed by xAI and released on July 9, 2025. It is the fourth major generation of the Grok model family and was positioned as xAI's most capable model to date at its release.
Grok 4.5
Grok 4.5 is a proprietary multimodal large language model and reasoning model in the Grok family. It was developed by SpaceXAI in collaboration with Cursor and released through the xAI API on July 8, 2026.
Grok 4.6
Grok 4.6 is a proprietary large language model and reasoning model in the Grok family, developed by SpaceXAI and released jointly with Cursor through the xAI API on August 12, 2026.
Grok 4.7
Grok 4.7 is a proprietary large language model and reasoning model in the Grok family, released by SpaceXAI on September 21, 2026.
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.
Kimi K3.1 Pro
Kimi K3.1 Pro is a multimodal large language model from the Chinese company Moonshot AI, announced on October 23, 2026.
Kolibri 1
Kolibri 1 is an open-weight large language model developed by Aleph Alpha for German and English. It supports text generation, reasoning and tool calling.
Ling-3.1-flash
Ling-3.1-flash is a text large language model from InclusionAI, part of Ant Group's Ling family.
Llama Nemotron
Llama Nemotron is a family of open reasoning large language models built by Nvidia by post-training Meta's Llama models for math, coding, and agentic tasks.
Magistral
Magistral is the first family of reasoning models from Mistral AI, the French AI company, first released on June 10, 2025.
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.
Muse Wonder
Muse Wonder is a series of multimodal reasoning models from Meta, released on October 12, 2026 for personal and professional AI agents.
Nemotron 3.5 Bolt
Nemotron 3.5 Bolt is an open-weight vision-language model released by NVIDIA on October 15, 2026 for local reasoning, coding, tool use, and browser and terminal tasks.
Nemotron 3.5 Super VL
Nemotron 3.5 Super VL is an open-weight vision language model released by NVIDIA on October 15, 2026. It combines text, image, document, and video understanding with reasoning and tool use for agents.
OLMo 3
OLMo 3 is the third generation of fully open language models released by the Allen Institute for AI (Ai2).
OpenAI o-series
The OpenAI o-series is a family of large language models developed by OpenAI that are trained with reinforcement learning to reason through an internal chain-of-thought before answering, making them OpenAI's…
OpenAI o1
OpenAI o1 is a family of proprietary large language models developed by OpenAI and trained to use additional computation before returning an answer.
OpenAI o1-mini
OpenAI o1-mini is a smaller, faster, and cheaper reasoning model released by OpenAI on September 12, 2024, alongside o1-preview, and optimized for science, technology, engineering, and mathematics (STEM) tasks…
OpenAI o1-pro
OpenAI o1-pro is the highest-compute variant of OpenAI's o1 reasoning model, designed to spend more inference-time compute so it "thinks harder" and returns the most reliable answers on the hardest…
OpenAI o3
OpenAI o3 is a family of reasoning-focused large language models developed by OpenAI and the second generation of the company's o-series reasoning models, best known for scoring 87.5% on the ARC-AGI…
OpenAI o3-mini
OpenAI o3-mini is a reasoning-focused large language model released by OpenAI on January 31, 2025, the second commercial member of the o-series after OpenAI o1 and a smaller, cheaper
OpenAI o3-pro
OpenAI o3-pro is a high-compute reasoning large language model released by OpenAI on June 10, 2025, designed as the professional, higher-reliability variant of the company's o3 reasoning model.
Ornith-1.5-122B
Ornith-1.5-122B is an open-weight reasoning model in the Ornith family, announced on October 20, 2026. It targets coding and tool-using tasks and uses a mixture-of-experts architecture.
Phi-4 Reasoning
Phi-4-reasoning is a 14 billion parameter open weight reasoning model released by Microsoft Research on April 30, 2025.
Phi-4-mini-flash-reasoning
Phi-4-mini-flash-reasoning is a 3.8 billion parameter open weight reasoning model released by Microsoft in July 2025.
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.
Ripple-65B Preview
Ripple-65B Preview is an open-weight, text-based large language model from Ricursive Intelligence.
Self-consistency
Self-consistency is a decoding strategy for large language models that samples multiple chain-of-thought reasoning paths for the same question and returns the answer that the majority of those paths agree on
Skywork-R1V
Skywork-R1V (also written Skywork R1V) is a family of open-weight multimodal vision-language models built for chain-of-thought reasoning, developed by Skywork AI, the AGI and AIGC division of the Chinese…
Spark-X2.6-4B
Spark-X2.6-4B is a large language model released by SparkLLM under the XHToken organization for local text generation and AI agent applications.
Test-time compute
Test-time compute (also called inference-time compute scaling or test-time scaling) is the practice of allocating additional computation while a large language model answers a query
ZAYA1-8B
ZAYA1-8B is an open-weight, reasoning-focused Mixture-of-Experts (MoE) large language model released by San Francisco-based AI research lab Zyphra on May 6, 2026.
o4-mini
OpenAI o4-mini is a compact reasoning model developed by OpenAI, released on April 16, 2025.