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 (408)Large Language Models (184)Open Source AI (120)Generative AI (63)Chinese AI (60)Multimodal AI (44)Computer Vision (39)Mixture of Experts (35)Google DeepMind (32)OpenAI (29)Robotics (29)Video Generation (29)Anthropic (28)Image Generation (25)Meta AI (25)Natural Language Processing (24)Speech & Audio AI (23)AI Companies (20)AI for Science (19)Reasoning Models (18)Embodied AI (17)NVIDIA (16)Small Language Models (13)Google (11)AI Code Generation (9)AI Agents (8)Reinforcement Learning (8)World Models (8)Machine Learning (7)Drug Discovery (6)Healthcare AI (6)Microsoft (6)Model Architecture (6)Autonomous Vehicles (5)Conversational AI (5)Humanoid Robots (5)Music & Audio Generation (5)Voice AI (5)Developer Tools (4)Diffusion Models (4)Information Retrieval (4)AI Hardware (3)AI History (3)AI Research (3)Artificial Intelligence (3)Deep Learning (3)Research Organizations (3)Transformer Models (3)AI Infrastructure (2)AI in Cybersecurity (2)Physical AI (2)AI Benchmarks (1)AI Inference (1)AI Safety (1)AI Tools & Products (1)AI in Gaming (1)China AI (1)Data & Datasets (1)Education AI (1)Enterprise AI (1)Legal AI (1)MLOps (1)Model Evaluation (1)Quantum Computing (1)Training & Optimization (1)
Showing 1-18 of 18 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, the newest entry in the Claude Opus line and the successor to Claude Opus 4.8.
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.
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.
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.
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…
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.
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.