Problem solving

Models 9

• Gen 3
  MAI Thinking 1

  By Microsoft

  MAI-Thinking-1 is Microsoft AI’s flagship reasoning model for complex reasoning, software engineering, math, and high-difficulty problem solving.

  💬Chatting🔎Problem solving🤔Logical reasoning💻Conversational coding🤔Stem problem solving
  NewMultimodal

  Released 2d ago
• Gen 3
  ZAYA1-8B

  By Zyphra AI

  ZAYA1-8B is Zyphra’s small mixture-of-experts reasoning model, built for long-form reasoning, mathematics, and coding. It has 8.4B total parameters with 760M active parameters, is post-trained for reasoning, and is positioned as highly intelligence-efficient enough for both strong test-time-compute use and local on-device deployment.

  📚Large Language Models🔎Problem solving💻Coding🔢Math
  NewMultimodal

  Released 29d ago
• Gen 3
  Gemma 4 12B

  By Google DeepMind

  Gemma 4 is Google DeepMind’s open-weight model family built from Gemini 3 research, focused on high intelligence-per-parameter, agentic workflows, multimodal reasoning, multilingual use, coding, and efficient local deployment.

  💬Chatting🔎Problem solving🤖Agents🤔Logical reasoning🔍Image interpretation💻Conversational coding
  NewMultimodal

  Released 2mo ago
• Gen 2 GPT
  GPT 5.3 Codex

  By OpenAI

  GPT-5.3-Codex is OpenAI’s most capable agentic coding model, combining GPT-5.2-Codex’s frontier coding with GPT-5.2’s reasoning in one model that is ~25% faster, tops SWE-Bench Pro and Terminal-Bench, and runs long, tool-using workflows on a computer.

  💻Coding🔍Code reviews🔎Problem solving📝Writing
  Coding

  Released 3mo ago
• Gen 7 SERA
  SERA 32B GA

  By Ai2

  SERA-32B-GA is a 32B Qwen 3 based coding agent variant trained on GLM-4.5-Air trajectories, delivering about 46.6% SWE-bench Verified performance as a slightly smaller-teacher alternative to SERA-32B.

  💻Coding🔎Problem solving🇯🇵Japanese lessons
  Text

  Released 4mo ago
• Gen 7Gemini
  Gemini 3 Deep Think

  By Google DeepMind

  Gemini 3 Deep Think is Google’s advanced reasoning mode for harder math, science, logic, and multi-hypothesis problem solving.

  🔎Problem solving
  Text

  Released 6mo ago
• Gen 3 Grok
  Grok 4.1

  By xAI

  Grok 4.1 is xAI’s reasoning model tuned for stronger analysis and coding with faster, more direct answers. It supports long context, tool and function calling, streaming, and clean JSON, making it a solid default for assistants, RAG, and agent workflows.

  💻Coding🔍Code reviews🔎Problem solving🔬Code testing
  Multimodal

  Released 6mo ago
• Gen 7 Qwen
  Qwen3 Coder

  By Alibaba

  Qwen3 Coder is Alibaba’s code-focused Qwen3 variant. It handles repo-aware generation, completion, debugging, and test creation, with long context, tool and function calling, and strict JSON or diff outputs for IDEs and agents.

  💻Coding🔎Problem solving🐞Debugging🔍Document search
  Text

  Released 10mo ago
• Gen 7 Mistral
  Codestral 25.01

  By Mistral AI

  Codestral 25.01 is Mistral’s code-specialized model, tuned for high-quality generation, completion (including fill-in-the-middle), refactoring, debugging, and test creation across popular languages. It handles long-context repos, returns structured outputs, and slots cleanly into IDEs, agents, and CI pipelines.

  💻Coding🏗️Architectural planning🔎Problem solving🐍Python lessons
  Text

  Released 1y ago