コンテンツへスキップ
アルファ版
  • モデル
  • ランキング
  • Ori
営業担当に相談

フッター

OpenRouterOpenRouter
© 2026 OpenRouter, Inc

製品

  • チャット
  • ランキング
  • ベンチマーク
  • アプリ
  • 見つける
  • モデル
  • Ori
  • コレクション
  • プロバイダー
  • ツール
  • 料金
  • Business
  • Enterprise
  • ラボ

会社情報

  • 概要
  • ブログ
  • お客様
  • 採用情報
    採用情報
  • プライバシー
  • 利用規約
  • トラストセンター
  • サポート
  • OR 対応
  • データ
  • ブランド

開発者

  • ドキュメント
  • API リファレンス
  • 開発者プラットフォーム
  • ステータス
  • AI サイトマップ

接続

  • Discord
  • GitHub
  • LinkedIn
  • X
  • YouTube
deepseek のファビコン

DeepSeek: DeepSeek V4 Flash 0423

deepseek/deepseek-v4-flash

モデルの重み
比較

DeepSeek V4 Flash is an efficiency-optimized Mixture-of-Experts model from DeepSeek with 284B total parameters and 13B activated parameters, supporting a 1M-token context window. It is designed for fast inference and high-throughput workloads, while maintaining strong reasoning and coding performance.

The model includes hybrid attention for efficient long-context processing. Reasoning efforts high and xhigh are supported; xhigh maps to max reasoning. It is well suited for applications such as coding assistants, chat systems, and agent workflows where responsiveness and cost efficiency are important.

モダリティ
入力 / 出力料金
$0.05 / $0.451M あたり
コンテキスト
1.0M
公開日
2026年4月24日
比較
プロバイダー料金パフォーマンス稼働率ベンチマークアプリアクティビティドキュメントよくある質問探索

プロバイダー

同じモデルを複数の企業がホストしています。OpenRouter は、選択したルーティングモード(Balanced(価格と速度)、Nitro(最速)、Floor(最安))に基づいて、そのうちの一社にリクエストをルーティングします。

料金

プロバイダーが提示する価格と並べて、このモデルに対して顧客が実際に支払う平均価格を表示しています。キャッシュと割引により、実際の支払価格は表示価格を大幅に下回ることがよくあります。

パフォーマンス

スループットはモデルが出力する速さです(毎秒のトークン数で、数値が高いほど優れています)。レイテンシは往復にかかる合計時間です(短いほど優れています)。TTFT は最初のトークンが出力されるまでの時間、つまり何かが表示され始めるまでの時間です(短いほど優れています)。

稼働率

稼働率は、過去 3 日間に少なくとも一社のプロバイダーがリクエストに応答していた時間の割合です。可用性は、推論が正常に提供された時間の割合です。OpenRouter は継続的に監視し、プロバイダーがエラーを返すと、次に最適なプロバイダーを使用します。

ベンチマーク

標準化された評価のスコアと、共通のベンチマークプロンプトに対するこのモデル自身の出力です。パーセンテージが高いほど優れており、各順位は、その情報源で評価されたモデルの中でのこのモデルの位置を示します。

ベンチマークスコアの概要: DeepSeek: DeepSeek V4 Flash 0423 (Artificial Analysis と Design Arena)
出典ベンチマークスコア
Artificial AnalysisDeepSeek V4 Flash 0420 (Non-reasoning) GPQA Diamond71.6%
Artificial AnalysisDeepSeek V4 Flash 0420 (Non-reasoning) HLE7.8%
Artificial AnalysisDeepSeek V4 Flash 0420 (Non-reasoning) IFBench47.2%
Artificial AnalysisDeepSeek V4 Flash 0420 (Non-reasoning) τ²-Bench Telecom94.4%
Artificial AnalysisDeepSeek V4 Flash 0420 (Non-reasoning) AA-LCR41.7%
Artificial AnalysisDeepSeek V4 Flash 0420 (Non-reasoning) CritPt0.3%
Artificial AnalysisDeepSeek V4 Flash 0420 (Non-reasoning) Terminal-Bench Hard34.1%
Artificial AnalysisDeepSeek V4 Flash 0420 (High) Coding Index52.0
Artificial AnalysisDeepSeek V4 Flash 0420 (High) Agentic Index26.3
Artificial AnalysisDeepSeek V4 Flash 0420 (High) GPQA Diamond86.7%
Artificial AnalysisDeepSeek V4 Flash 0420 (High) HLE30.3%
Artificial AnalysisDeepSeek V4 Flash 0420 (High) IFBench73.5%
Artificial AnalysisDeepSeek V4 Flash 0420 (High) τ²-Bench Telecom95.6%
Artificial AnalysisDeepSeek V4 Flash 0420 (High) AA-LCR72.0%
Artificial AnalysisDeepSeek V4 Flash 0420 (High) τ-Bench Banking26.2%
Artificial AnalysisDeepSeek V4 Flash 0420 (High) GDPval-AA25.5%
Artificial AnalysisDeepSeek V4 Flash 0420 (High) CritPt3.4%
Artificial AnalysisDeepSeek V4 Flash 0420 (High) SciCode40.2%
Artificial AnalysisDeepSeek V4 Flash 0420 (High) Terminal-Bench Hard38.6%
Artificial AnalysisDeepSeek V4 Flash 0420 (High) Terminal-Bench 4.03.0%
Artificial AnalysisDeepSeek V4 Flash 0420 (High) Terminal-Bench 2.156.9%
Artificial AnalysisDeepSeek V4 Flash 0420 (Max) Coding Index56.2
Artificial AnalysisDeepSeek V4 Flash 0420 (Max) Agentic Index22.2
Artificial AnalysisDeepSeek V4 Flash 0420 (Max) GPQA Diamond89.4%
Artificial AnalysisDeepSeek V4 Flash 0420 (Max) HLE34.8%
Artificial AnalysisDeepSeek V4 Flash 0420 (Max) IFBench79.2%
Artificial AnalysisDeepSeek V4 Flash 0420 (Max) τ²-Bench Telecom95.0%
Artificial AnalysisDeepSeek V4 Flash 0420 (Max) AA-LCR74.3%
Artificial AnalysisDeepSeek V4 Flash 0420 (Max) τ-Bench Banking30.9%
Artificial AnalysisDeepSeek V4 Flash 0420 (Max) GDPval-AA27.3%
Artificial AnalysisDeepSeek V4 Flash 0420 (Max) CritPt7.1%
Artificial AnalysisDeepSeek V4 Flash 0420 (Max) SciCode45.3%
Artificial AnalysisDeepSeek V4 Flash 0420 (Max) Terminal-Bench Hard35.6%
Artificial AnalysisDeepSeek V4 Flash 0420 (Max) Terminal-Bench 4.02.5%
Artificial AnalysisDeepSeek V4 Flash 0420 (Max) Terminal-Bench 2.161.8%
Design ArenaDeepSeek-V4-Flash Models Arena 3D Elo1186
Design ArenaDeepSeek-V4-Flash Models Arena Asciiart Elo1107
Design ArenaDeepSeek-V4-Flash Models Arena Code Categories Elo1204
Design ArenaDeepSeek-V4-Flash Models Arena Data Visualization Elo1127
Design ArenaDeepSeek-V4-Flash Models Arena Game Development Elo1197
Design ArenaDeepSeek-V4-Flash Models Arena SVG Elo1152
Design ArenaDeepSeek-V4-Flash Models Arena UI Component Elo1159
Design ArenaDeepSeek-V4-Flash Models Arena Website Elo1206

アプリ

このモデルに最も多くのトラフィックを送信している公開アプリです。実際の本番ワークロードを把握するための有力な指標であり、このモデルに最も適したユースケースを知る手がかりにもなります。

アクティビティ

このモデルのトークン量とリクエストトラフィックの経時変化です。

API

このモデルを呼び出すために、そのまま使えるコードです。OpenRouter の API は OpenAI 互換のため、ほとんどの SDK はベース URL を変更するだけで動作します。モデル間で変わるのは、下記のモデルスラッグだけです。

現在、EU 域内ルーティングでは利用できません。 リージョン内ルーティングのドキュメント

ドキュメント

OpenRouter で DeepSeek: DeepSeek V4 Flash 0423 を使った開発に役立つガイド、クックブック、ブログ記事、ツールです。

  • Does DeepSeek V4 Have Vision?ブログ記事
  • Why Use OpenRouter for DeepSeekブログ記事
  • DeepSeek V4 Is Earning Agentic Token Shareブログ記事

さらにモデルを探す

AI モデルランキングランキング
レイテンシ / スループット
$0.0500$0.4500$0.050000.59s127 tps
99.98%
41% off
$0.14$0.0826$0.28$0.1652$0.028$0.016521.48s47 tps
100.00%
$0.0900$0.1800$0.018001.09s26 tps
99.93%
35% off
$0.14$0.0910$0.28$0.1820$0.028$0.018201.94s48 tps
98.95%
30% off
$0.138$0.0966$0.275$0.1925$0.028$0.019601.32s26 tps
99.91%
$0.0980$0.1960$0.019601.02s35 tps
99.79%
$0.1300$0.2800$0.028000.99s43 tps
99.91%
$0.1400$0.2800$0.030000.43s159 tps
100.00%
$0.1400$0.2800$0.028000.70s89 tps
99.72%
$0.1400$0.2800$0.028002.09s44 tps
100.00%
$0.1400$0.2800$0.070000.93s40 tps
99.95%
$0.1900$0.5000--1.43s24 tps
99.88%
$0.2100$0.5600$0.031001.35s112 tps
99.76%
$0.4400$1.3200$0.014001.02s63 tps
100.00%
$0.6000$0.1700$0.200000.26s173 tps
100.00%
$0.1050$0.2100$0.021000.68s77 tps
91.31%
$0.1500$0.3000$0.03000----
0.00%
スループット
173トークン/秒

P50、プロバイダー全体での最良値

レイテンシ
0.26秒

P50、最適なプロバイダー

AutoExacto ベンチマーク
GPQA DiamondTAU-BenchFireworks84.7%--OpenInference86.2%81.7%GMICloud90.2%76.6%Cloudflare89.9%76.1%SiliconFlow89.8%74.1%
+16 社のプロバイダー
稼働率(3 日間)モデルに接続できました。リクエストはプロバイダーにルーティングされました。
100.00%
可用性(3 日間)モデルがいずれかのプロバイダーから推論結果を返しました。エラーと空のレスポンスはマイナスとして集計されます。
98.86%

過去 3 日間の可用性

過去 72 時間
可用性 98.86%
3 日前2 日前昨日現在

過去 24 時間の可用性

OpenRouter Availability
99.73%
Without Routing
90.30%

上流のプロバイダーでエラーが発生した場合、リクエストフィルターが許可していれば、別の正常なプロバイダーにルーティングして復旧できます。プロバイダーごとの稼働率データにプログラムでアクセスするには Endpoints APIを利用できます。詳しくは、 負荷分散とプロバイダールーティングのオプションをご覧ください。

1.
https://nousresearch.com のファビコン
Hermes Agent
Hermes Agent is an open-source, self-improving AI agent by Nous Research that runs persistently with memory across sessions, and builds reusable skills from experience. It comes with 40+ built-in tools, including web search, browser automation, and vision, plus scheduled automations and subagents.
1.52Tトークン
2.
https://openclaw.ai/ のファビコン
OpenClaw
OpenClaw is an open-source AI agent that connects to your messaging apps and takes real actions on your behalf, from running commands and browsing the web to managing files and sending emails.
259Bトークン
3.
https://pi.dev/ のファビコン
pi
There are many coding agents, but this one is yours.
164Bトークン
4.
https://halluna.ai/ のファビコン
Halluna
新着
94.2Bトークン
5.
https://claude.ai/apple-touch-icon.png のファビコン
Claude Code
Claude Code is Anthropic's agentic coding tool that reads your entire codebase, plans and executes changes across files, runs tests, and iterates on failures, all from natural language prompts.
79Bトークン

よくある質問

DeepSeek V4 Flash is an efficiency-optimized Mixture-of-Experts model from DeepSeek with 284B total parameters and 13B activated parameters, supporting a 1M-token context window. It is designed for fast inference and high-throughput workloads, while maintaining strong reasoning and coding performance. The model includes hybrid attention for efficient long-context processing.

OpenRouter の DeepSeek V4 Flash 0423 ドキュメントには ブログ記事 Does DeepSeek V4 Have Vision?、ブログ記事 Why Use OpenRouter for DeepSeek、ブログ記事 DeepSeek V4 Is Earning Agentic Token Share が含まれています。クイックスタートでは APIキーと最初のリクエストについて説明し、API リファレンスではすべてのパラメーターを一覧で確認できます。

DeepSeek V4 Flash 0423 の料金は $0.05/M 入力トークン と $0.45/M 出力トークン、Cache Read:$0.05/M tokens には別料金が適用されます です。

DeepSeek V4 Flash 0423 のコンテキストウィンドウは 1,048,576 トークンです。最大 1,048,576 トークンの補完に対応しています。

はい。DeepSeek V4 Flash 0423 は関数呼び出し用の tools と tool_choice を受け付けます。 response_format の JSON スキーマによる構造化出力にも対応しています。

DeepSeek V4 Flash 0423 は OpenRouter 上で 17 社のプロバイダー(Relace, StreamLake, DeepInfra, GMICloud, Venice, DigitalOcean, Fireworks, SiliconFlow と他 9 件)によって提供されています。リクエストは利用可能な最適のプロバイダーにルーティングされ、他のプロバイダーへの自動フェイルオーバーに対応し、プロバイダールーティングでプロバイダーを固定または除外できます。

DeepSeek V4 Flash 0423 は 2026年4月24日 にリリースされました。

その他のモデル:提供元 DeepSeek

DeepSeek V4.1 Flash 1017

DeepSeek V4.1 Flash 1017 is the October 17, 2026 snapshot of DeepSeek V4.1 Flash, served by DeepSeek under the deepseek-flash API model name. V4.1 Flash is a sparse mixture-of-experts model from DeepSeek, and the first built on the company's Causal Encoder-Decoder (CED) architecture. It activates 8B parameters on input and 16B on output from a 552B-parameter backbone, an asymmetric split that keeps per-token compute low relative to the model's total size. Image understanding is native to the architecture, with visual and text embeddings trained jointly from the start of pre-training rather than added afterward as in the earlier experimental V4 Flash Vision Exp.

It is suited for coding, terminal, and computer-use agents, along with long-horizon tasks that must run to completion across many steps and long-context analysis. Compressed KV caching cuts cache memory to roughly a quarter of the previous Flash generation, significantly reducing costs on agentic workloads. DeepSeek positions it as the cost-efficient tier of the V4.1 family and reports that it exceeds V4 Pro on performance, speed, and task completion time.

テキスト1.0M コンテキスト$0.035 / $0.50
DeepSeek Pro Latest

This model always redirects to the latest model in the DeepSeek Pro family.

テキスト1.0M コンテキスト
DeepSeek Flash Latest

This model always redirects to the latest model in the DeepSeek Flash family.

テキスト1.0M コンテキスト
DeepSeek V4.1 Flash

DeepSeek V4.1 Flash is a sparse mixture-of-experts model from DeepSeek, and the first built on the company's Causal Encoder-Decoder (CED) architecture. It activates 8B parameters on input and 16B on output from a 552B-parameter backbone, an asymmetric split that keeps per-token compute low relative to the model's total size. Image understanding is native to the architecture, with visual and text embeddings trained jointly from the start of pre-training rather than added afterward as in the earlier experimental V4 Flash Vision Exp.

It is suited for coding, terminal, and computer-use agents, along with long-horizon tasks that must run to completion across many steps and long-context analysis. Compressed KV caching cuts cache memory to roughly a quarter of the previous Flash generation, significantly reducing costs on agentic workloads. DeepSeek positions it as the cost-efficient tier of the V4.1 family and reports that it exceeds V4 Pro on performance, speed, and task completion time.

テキスト1.0M コンテキスト$0.035 / $0.50
DeepSeek V4.1 Flash (batch)

DeepSeek V4.1 Flash is a sparse mixture-of-experts model from DeepSeek, and the first built on the company's Causal Encoder-Decoder (CED) architecture. It activates 8B parameters on input and 16B on output from a 552B-parameter backbone, an asymmetric split that keeps per-token compute low relative to the model's total size. Image understanding is native to the architecture, with visual and text embeddings trained jointly from the start of pre-training rather than added afterward as in the earlier experimental V4 Flash Vision Exp.

It is suited for coding, terminal, and computer-use agents, along with long-horizon tasks that must run to completion across many steps and long-context analysis. Compressed KV caching cuts cache memory to roughly a quarter of the previous Flash generation, significantly reducing costs on agentic workloads. DeepSeek positions it as the cost-efficient tier of the V4.1 family and reports that it exceeds V4 Pro on performance, speed, and task completion time.

テキスト1.0M コンテキスト$0.05 / $0.15
DeepSeek V4 Flash Vision Exp

DeepSeek V4 Flash Vision Exp is an experimental vision-enabled version of DeepSeek V4 Flash 0731 from DeepSeek, adding image understanding while matching the base model on text capabilities including agents, reasoning, and world knowledge. It is a sparse mixture-of-experts model with 13B active parameters out of 284B total.

It is suited for document and chart understanding, visual question answering, and multimodal agent workflows that interleave text and images.

テキスト1.0M コンテキスト$0.2156 / $0.6468
DeepSeek V4 Pro 0813

DeepSeek V4 Pro 0813 is a large-scale mixture-of-experts model from DeepSeek. This is the GA release of DeepSeek V4 Pro.

テキスト1.0M コンテキスト$0.1035 / $8
DeepSeek V4 Flash Latest

This model always redirects to the latest model in the DeepSeek V4 Flash family.

テキスト1.0M コンテキスト
DeepSeek V4 Flash 0731

DeepSeek V4 Flash 0731 is a sparse mixture-of-experts model from DeepSeek, with 13B active parameters out of 284B total. This re-post-trained revision is suited for coding, reasoning, and agent workflows. This is the GA release of DeepSeek V4 Flash.

テキスト1.0M コンテキスト$0.059 / $0.30
DeepSeek V4 Pro 0423

DeepSeek V4 Pro is a large-scale Mixture-of-Experts model from DeepSeek with 1.6T total parameters and 49B activated parameters, supporting a 1M-token context window. It is designed for advanced reasoning, coding, and long-horizon agent workflows, with strong performance across knowledge, math, and software engineering benchmarks.

Built on the same architecture as DeepSeek V4 Flash, it introduces a hybrid attention system for efficient long-context processing. Reasoning efforts high and xhigh are supported; xhigh maps to max reasoning. It is well suited for complex workloads such as full-codebase analysis, multi-step automation, and large-scale information synthesis, where both capability and efficiency are critical

テキスト1.0M コンテキスト$0.90 / $1.50
DeepSeek V3.2 Speciale

DeepSeek-V3.2-Speciale is a high-compute variant of DeepSeek-V3.2 optimized for maximum reasoning and agentic performance. It builds on DeepSeek Sparse Attention (DSA) for efficient long-context processing, then scales post-training reinforcement learning to push capability beyond the base model. Reported evaluations place Speciale ahead of GPT-5 on difficult reasoning workloads, with proficiency comparable to Gemini-3.0-Pro, while retaining strong coding and tool-use reliability. Like V3.2, it benefits from a large-scale agentic task synthesis pipeline that improves compliance and generalization in interactive environments.

テキスト131K コンテキスト
DeepSeek V3.2

DeepSeek-V3.2 is a large language model designed to harmonize high computational efficiency with strong reasoning and agentic tool-use performance. It introduces DeepSeek Sparse Attention (DSA), a fine-grained sparse attention mechanism that reduces training and inference cost while preserving quality in long-context scenarios. A scalable reinforcement learning post-training framework further improves reasoning, with reported performance in the GPT-5 class, and the model has demonstrated gold-medal results on the 2025 IMO and IOI. V3.2 also uses a large-scale agentic task synthesis pipeline to better integrate reasoning into tool-use settings, boosting compliance and generalization in interactive environments.

Users can control the reasoning behaviour with the reasoning enabled boolean. Learn more in our docs

テキスト164K コンテキスト$0.2088 / $0.3096
DeepSeek V3.2 Exp

DeepSeek-V3.2-Exp is an experimental large language model released by DeepSeek as an intermediate step between V3.1 and future architectures. It introduces DeepSeek Sparse Attention (DSA), a fine-grained sparse attention mechanism designed to improve training and inference efficiency in long-context scenarios while maintaining output quality. Users can control the reasoning behaviour with the reasoning enabled boolean. Learn more in our docs

The model was trained under conditions aligned with V3.1-Terminus to enable direct comparison. Benchmarking shows performance roughly on par with V3.1 across reasoning, coding, and agentic tool-use tasks, with minor tradeoffs and gains depending on the domain. This release focuses on validating architectural optimizations for extended context lengths rather than advancing raw task accuracy, making it primarily a research-oriented model for exploring efficient transformer designs.

テキスト164K コンテキスト$0.27 / $0.41
DeepSeek V3.1 Terminus

DeepSeek-V3.1 Terminus is an update to DeepSeek V3.1 that maintains the model's original capabilities while addressing issues reported by users, including language consistency and agent capabilities, further optimizing the model's performance in coding and search agents. It is a large hybrid reasoning model (671B parameters, 37B active) that supports both thinking and non-thinking modes. It extends the DeepSeek-V3 base with a two-phase long-context training process, reaching up to 128K tokens, and uses FP8 microscaling for efficient inference. Users can control the reasoning behaviour with the reasoning enabled boolean. Learn more in our docs

The model improves tool use, code generation, and reasoning efficiency, achieving performance comparable to DeepSeek-R1 on difficult benchmarks while responding more quickly. It supports structured tool calling, code agents, and search agents, making it suitable for research, coding, and agentic workflows.

テキスト164K コンテキスト$0.27 / $1
DeepSeek V3.1

DeepSeek-V3.1 is a large hybrid reasoning model (671B parameters, 37B active) that supports both thinking and non-thinking modes via prompt templates. It extends the DeepSeek-V3 base with a two-phase long-context training process, reaching up to 128K tokens, and uses FP8 microscaling for efficient inference. Users can control the reasoning behaviour with the reasoning enabled boolean. Learn more in our docs

The model improves tool use, code generation, and reasoning efficiency, achieving performance comparable to DeepSeek-R1 on difficult benchmarks while responding more quickly. It supports structured tool calling, code agents, and search agents, making it suitable for research, coding, and agentic workflows.

It succeeds the DeepSeek V3-0324 model and performs well on a variety of tasks.

テキスト164K コンテキスト$0.25 / $0.95
DeepSeek V3.1 Base

This is a base model, trained only for raw next-token prediction. Unlike instruct/chat models, it has not been fine-tuned to follow user instructions. Prompts need to be written more like training text or examples rather than simple requests (e.g., “Translate the following sentence…” instead of just “Translate this”).

DeepSeek-V3.1 Base is a 671B parameter open Mixture-of-Experts (MoE) language model with 37B active parameters per forward pass and a context length of 128K tokens. Trained on 14.8T tokens using FP8 mixed precision, it achieves high training efficiency and stability, with strong performance across language, reasoning, math, and coding tasks.

テキスト164K コンテキスト
R1 Distill Qwen 7B

DeepSeek-R1-Distill-Qwen-7B is a 7 billion parameter dense language model distilled from DeepSeek-R1, leveraging reinforcement learning-enhanced reasoning data generated by DeepSeek's larger models. The distillation process transfers advanced reasoning, math, and code capabilities into a smaller, more efficient model architecture based on Qwen2.5-Math-7B. This model demonstrates strong performance across mathematical benchmarks (92.8% pass@1 on MATH-500), coding tasks (Codeforces rating 1189), and general reasoning (49.1% pass@1 on GPQA Diamond), achieving competitive accuracy relative to larger models while maintaining smaller inference costs.

テキスト131K コンテキスト
DeepSeek R1 0528 Qwen3 8B

DeepSeek-R1-0528 is a lightly upgraded release of DeepSeek R1 that taps more compute and smarter post-training tricks, pushing its reasoning and inference to the brink of flagship models like O3 and Gemini 2.5 Pro. It now tops math, programming, and logic leaderboards, showcasing a step-change in depth-of-thought. The distilled variant, DeepSeek-R1-0528-Qwen3-8B, transfers this chain-of-thought into an 8 B-parameter form, beating standard Qwen3 8B by +10 pp and tying the 235 B “thinking” giant on AIME 2024.

テキスト131K コンテキスト
R1 0528

May 28th update to the original DeepSeek R1 Performance on par with OpenAI o1, but open-sourced and with fully open reasoning tokens. It's 671B parameters in size, with 37B active in an inference pass.

Fully open-source model.

テキスト164K コンテキスト$0.50 / $2.15
DeepSeek Prover V2

DeepSeek Prover V2 is a 671B parameter model, speculated to be geared towards logic and mathematics. Likely an upgrade from DeepSeek-Prover-V1.5 Not much is known about the model yet, as DeepSeek released it on Hugging Face without an announcement or description.

テキスト164K コンテキスト