AlphaGeometry
AlphaGeometry is a neuro-symbolic artificial intelligence system developed by Google DeepMind that solves competition-level geometry problems at a standard comparable to human Olympiad gold medalists.
AI Models
Explore AI Models 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 AI Models.
All articles (460)Large Language Models (208)Open Source AI (132)Generative AI (69)Chinese AI (68)Multimodal AI (55)Computer Vision (40)Mixture of Experts (40)Google DeepMind (36)OpenAI (33)Video Generation (33)Anthropic (31)Robotics (31)Speech & Audio AI (31)Reasoning Models (29)Image Generation (28)Meta AI (28)Natural Language Processing (25)AI for Science (20)Embodied AI (20)NVIDIA (17)Small Language Models (14)World Models (14)Google (13)AI Code Generation (11)AI Agents (10)Machine Learning (9)Reinforcement Learning (9)Voice AI (9)Diffusion Models (7)Microsoft (7)AI Safety (6)Conversational AI (6)Drug Discovery (6)Healthcare AI (6)Humanoid Robots (6)Model Architecture (6)AI Companies (5)AI Inference (5)Autonomous Vehicles (5)Developer Tools (5)Information Retrieval (5)Music & Audio Generation (5)AI in Cybersecurity (4)AI History (3)AI Research (3)Artificial Intelligence (3)Deep Learning (3)Research Organizations (3)Transformer Models (3)AI Hardware (2)AI Infrastructure (2)AI in Gaming (2)Legal AI (2)Physical AI (2)AI Benchmarks (1)AI Incidents & Controversies (1)AI Tools & Products (1)Data & Datasets (1)Education AI (1)Enterprise AI (1)MLOps (1)Model Evaluation (1)Quantum Computing (1)Robot Hardware (1)Training & Optimization (1)
Showing 1-29 of 29 articles
AlphaProof
AlphaProof is a reinforcement-learning system from Google DeepMind that finds and verifies formal mathematical proofs in the Lean 4 theorem prover
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.
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-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.
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.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.
Glimpse (Elorian)
Glimpse is a multimodal AI model from Elorian, a Palo Alto startup led by former Google DeepMind researcher Andrew Dai.
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.
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.
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 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 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 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…
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.
Qwen3.8
Qwen3.8 is the name Qwen uses for a model generation that includes hosted services and downloadable checkpoints.
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…
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.