#
Reasoning
このタグのAIツール Reasoning.
cc-thinking-skills
評価を踏まえて作られた28の思考モデルと批判的思考スキルです。
fable-method
あらゆるモデルが実行できるFableワークフローをスキルにまとめました。
J-Space-Cognition-Suite
深い推論、検証、リカバリーを制御する推論時ツール群。
Beam
Beamは、Reflectionが公開した、総計5,010億・アクティブ230億パラメータのオープンなスパースMixture-of-Expertsモデル（Apache 2.0）
Gemini 4 Carbon
Gemini 4 Carbonはサイバーセキュリティの防御と長時間にわたるタスクを狙ったモデル
GPT-6 Rosalind Research
GPT-6の推論を基盤に、生命科学の多段階研究向けに2026年10月30日に公開
Kimi K3.1 Pro
Moonshot AIが2026年10月23日に公開したKimi K3.1 Pro
Step 5 Preview
2026年10月にAPI集約サービスへ掲載されたStepFun Step 5プレビュー
Claude Opus 5.5
Opus 5より低コストで動く、Anthropicで最も高性能なOpusモデル
Gemini 4 Argon
サイバー防衛向けの限定プレビューグループに提供する、Google初のGemini 4モデル
GPT-6 Sol
コーディングとエージェント型作業向けのGPT-6中位モデル
Grok 4.7
Grok 5に先立つxAIの最新コーディング・ナレッジワークモデル
Atria Dawn Preview
研究とエンジニアリング向けの、Shanghai AI Laboratoryのオープンウェイトのエージェント型モデル
Claude Mythos 5.1
サイバーセキュリティとライフサイエンス研究向けの、AnthropicのFable 5.1の限定提供バリアント
Fugu Max
Sakana AIのコスト重視のモデルオーケストレーションシステム
Fugu Ultra v2
Sakana AIのフラッグシップのモデルオーケストレーションシステム。視覚的推論向けに調整
Ling-3.0-Flash-Fin
金融調査と企業価値評価向けに調整したAnt GroupのLingモデル
Claude Fable 5.1
プロンプトキャッシュが75パーセント安くなった、AnthropicのFable 5のポイントリリース
GPT-6 Astra
ループ型の「recurrent depth」技術で推論するOpenAIの最新フラッグシップ
Muse Spark 1.3
OpenAIやAnthropicとの差を縮めるMetaの最先端推論モデル
Grok 4.6
長時間動作するコーディングエージェントと対話型の視覚作業向けxAI主力モデル
Kimi K3
公開済みモデルで最大とMoonshotが主張する、2.8兆パラメータのオープンウェイトモデル
Ling-3.0-Flash
本番環境のAIエージェント向けに作られた、効率的なオープンウェイト推論モデル
Claude Opus 4.5
料金を3分の1に下げつつSWE-benchで首位に立った、AnthropicのOpus階層のモデル
Claude Opus 4.6
コンテキスト長を100万トークンに広げた、AnthropicのOpusアップデート
Claude Opus 4.7
最難関のソフトウェアエンジニアリングのタスクを狙った、Opus 4.6のアップグレード
Claude Opus 5
前のモデルと同じ価格の、Anthropicの最新のOpus階層のモデル
Claude Sonnet 4.6
Opus級の結果に迫りながら価格は5分の1を目指して作られた、AnthropicのデフォルトのSonnetモデル
DeepSeek V3.2
新しいスパースアテンションの仕組みを軸にした、DeepSeekのV3.1の更新版
Gemini 3 Deep Think
難度の高い数学・科学の問題に向けたGoogleの拡張推論モード
Gemini 3.1 Pro
一般提供されているGemini 3 Proの後継モデル
GPT-5 Pro
GPT-5で最も多くの計算資源を使い、速度より正確さを重視したモデル
GPT-5.1
推論の強さを調整できる、コーディング重視のGPT-5更新版
GPT-5.2
Instant、Thinking、Proの3層で登場したGPT-5.2
GPT-5.4
ネイティブのコンピューター操作機能を搭載して登場した初のOpenAIモデル
GPT-5.5
公開時にARC-AGI-2のランキング首位となったOpenAIモデル
Grok 4.20
回答前に内部で議論するxAIのマルチエージェントモデル
Mistral Large 4
Mistral AI最上位の推論・プログラミングモデル
AlphaGeometry
オリンピック級の幾何問題を解くDeepMindのニューロシンボリックシステム
Claude 3.7 Sonnet
高速な回答と拡張思考を1つにまとめた、Anthropic初のハイブリッド推論モデル
Claude Fable 5
最難関のコーディングベンチマークに合わせて調整された、Anthropic初のMythosクラスのモデル
Claude Opus 4
長時間にわたるエージェント型の作業向けに作られた、公開時のAnthropicのフラッグシップモデル
Claude Opus 4.1
コーディングとエージェント型の精度を高めた、Claude Opus 4の段階的な改良版
Claude Opus 4.8
深い分析と長期的なタスク向けの、Anthropicで最も高性能なOpus階層のモデル
Claude Sonnet 4
コーディング性能と日常的なコストの釣り合いを取った、AnthropicのClaude 4の中位モデル
Claude Sonnet 4.5
公開時点でAnthropicで最も高性能なSonnet階層のモデル、コーディングとコンピュータ操作に重点を置いて調整
DeepSeek R1
数学とコードでクローズドな最先端モデルに並んだ、DeepSeekの推論モデル
DeepSeek V4-Pro
エージェント型のコーディングと大学院レベルの推論で首位に立った、2026年最高のオープンウェイトモデル
DeepSeek-Math
DeepSeekのオープンウェイトの、数学的推論に特化したモデル
DeepSeek-R1-Distill-Llama-70B
DeepSeek-R1の推論過程をLlamaに蒸留したモデルで、蒸留版の中で最大
DeepSeek-R1-Distill-Qwen-32B
DeepSeek-R1の推論過程をQwenベースの小さなオープンモデルに蒸留したモデル
Doubao-Seed 1.6
ByteDanceの基盤モデルDoubaoの、推論向けに調整された階層
Gemini 2.0 Flash Thinking
Gemini 2.0 Flashの初期の実験的な推論版。思考の連鎖を表示する
Gemini 2.5 Pro
Googleが2025年に公開した推論重視のGeminiモデル
GPT-5
OpenAIの推論・チャット統合モデルファミリー
GPT-5.6 Luna
大量処理や低遅延が必要なタスク向けの、高速・低コストなGPT-5.6モデル
GPT-5.6 Sol
高度な数学、科学、サイバーセキュリティの推論向けOpenAI主力モデル
GPT-5.6 Terra
日常のコーディング、推論、エージェント処理向けのバランス型GPT-5.6モデル
GPT-OSS-120B
GPT-2以来初のOpenAIオープンウェイトモデル。多くの推論ベンチマークでo4-miniに並ぶ性能
GPT-OSS-20B
OpenAIのオープンウェイトモデル群のうち、小型で単体GPUに適したモデル
Grok 4
xAIの2025年フラッグシップ推論モデル
Grok 4.5
コーディングに重点を置いたxAIの最先端モデル
Grok-1.5
Grok 2に先立ち、長文脈推論を加えたxAIの過渡期モデル
Hunyuan-A13B
TencentのオープンウェイトMoE推論モデル
InternLM2.5
ツール利用と推論を強化したShanghai AI LabのInternLM更新版
Kimi K1.5
Moonshot初の推論調整版Kimiモデル
Kimi K2.6
長時間のエージェント処理とツール利用向けに設計されたMoonshotのオープンウェイトモデル
Llemma 7B
数学・科学テキストで継続事前学習したEleutherAIのオープンモデル
Mathstral
Mistral 7Bを基盤にしたMistralの数学特化モデル
o1
回答前に思考するよう訓練されたOpenAI初の推論モデル
o1-mini
コーディングと数学に調整されたOpenAI初の小型推論モデル
o1-preview
o1正式公開に先立つOpenAI初の推論モデルの一般プレビュー
o1-pro
特に難しい推論タスク向けに計算量を増やしたo1モデル
o3
難しい技術課題向けの深い複数段階推論モデル
o3-mini
STEMタスク向けの小型・高速なOpenAI推論モデル
o4-mini
大量のエージェント処理向けの高速・低コストなOpenAI推論モデル
Orca 2
Llama 2を推論向けにファインチューニングしたMicrosoft Researchのモデル
Orca-Math
小学校レベルの文章題に特化したMicrosoftの小型モデル
Phi-4
パラメータ数以上の性能を発揮するMicrosoftの小型推論モデル
Phi-4-reasoning
思考過程の教師データで学習したPhi-4推論特化版
QwQ-32B
大規模モデルに匹敵するAlibabaのオープンウェイト推論モデル
QwQ-32B-Preview
QwQ-32B正式版に先立つAlibaba初の推論モデル一般プレビュー
Sonar Reasoning Pro
Perplexityの検索連携推論モデル
Spark 4.0 Ultra
数学的推論を強化したiFlytek最上位Sparkモデル
Step-2
StepFunの1兆パラメータ推論モデル