Mindket

DeepSeek-R1

Newversion 1 · updated

Overview

Generates text with a 684B reasoning model trained mainly through reinforcement learning, aimed at math, code and logic. Suits researchers and teams who host large open models.

DeepSeek-R1 is a kit in the Developer category, listed by Mindket. It is free. This is version 1, last updated on . Download it on this page, a zip of its files. Nothing in it runs by itself.

At a glance

You need
  • Python with pip
  • Huge storage and GPU memory, about 684 GB for the weights and about 342 GB at 4-bit by Hugging Face's estimate
  • A read of the Usage Recommendation section of the model card before running it locally
Runs in
  • Python with the transformers library
  • Large GPU servers, since the weights are about 684 GB in F8_E4M3
  • Windows, macOS or Linux, for downloading the files
Start with
pip install -U huggingface_hub
hf download deepseek-ai/DeepSeek-R1

Platform

WindowsOperating system
macOSOperating system
LinuxOperating system

About

What it is

DeepSeek-R1 is a 684B parameter reasoning model from DeepSeek. It builds on DeepSeek-R1-Zero, a model trained with large-scale reinforcement learning and no supervised fine-tuning step first. R1 adds cold-start data before the reinforcement learning, which the card says fixes repetition, poor readability and mixed languages. Its stated results match OpenAI-o1 on math, code and reasoning tasks.

Who it suits

Research groups and engineering teams that can host a huge open model and want strong step-by-step reasoning. People with a single desktop GPU will want one of the smaller distilled models instead.

IndustryWho uses itHow they use itExample
ResearchAI labsStudy reasoning trained through reinforcement learningCompare R1 with R1-Zero on reasoning tasks
SoftwarePlatform teamsServe a large open reasoning model for coding and mathHost it behind an internal chat tool
EducationTutors and studentsWork through math and logic problems step by stepAsk it to solve and explain a proof

If you cannot host about 684 GB of weights, you can skip it.

Where to use it

  • Python with the transformers library
  • Large GPU servers, since the weights are about 684 GB in F8_E4M3
  • Windows, macOS or Linux, for downloading the files
Use caseWhoWhat they get back
Math problemsStudents and researchersA worked solution with reasoning
Code tasksDevelopersCode and an explanation of the approach
Reasoning tasksAnalystsA chain of reasoning ending in an answer

How to set it up

  • Python with pip
  • Huge storage and GPU memory, about 684 GB for the weights and about 342 GB at 4-bit by Hugging Face's estimate
  • A read of the Usage Recommendation section of the model card before running it locally
  1. Install the Hugging Face hub package.
  2. Download the model files.
  3. Review the card's usage recommendations, then run it with your serving stack.
pip install -U huggingface_hub
hf download deepseek-ai/DeepSeek-R1

How to use it

Send the model a math, code or reasoning problem through your serving stack. The card asks you to read its Usage Recommendation section first, because the R1 series has settings meant for running it well.

Example

You ask a hard math question. The model reasons through the steps at length and then states its answer.

For newcomers and experts

If you are new, a 684B model is far too large for a normal computer, so try one of the six smaller distilled models from the same release. Use R1 itself when you run a GPU cluster.

The training pipeline has two reinforcement learning stages that look for better reasoning patterns and match human preferences, plus two supervised fine-tuning stages that seed reasoning and non-reasoning skills. The card says the six distilled models are built on Llama and Qwen, and its 32B Qwen distill beats OpenAI-o1-mini on many benchmarks.

  1. Base model
  2. Reinforcement learning builds reasoning
  3. Cold-start data and fine-tuning clean it up
  4. A second reinforcement learning stage aligns it
  5. DeepSeek-R1

Good to know

  • The weights are about 684 GB, so it needs serious hardware
  • DeepSeek-R1-Zero showed that reasoning can come from reinforcement learning alone, with some repetition and language mixing
  • License: MIT
  • Cost to run: none named, but the hardware is large
  • Data it reaches: your prompts and the files downloaded from Hugging Face
  • Not for: ordinary laptops, where the distilled models fit better

README and files

README

DeepSeek-R1

Generates text with a 684B reasoning model trained mainly through reinforcement learning, aimed at math, code and logic. Suits researchers and teams who host large open models.

Made by deepseek-ai on Hugging Face. These notes are Mindket's, written from its model page and model card; the model's own files and license are on Hugging Face.

About

What it is: DeepSeek-R1 is a 684B parameter reasoning model from DeepSeek. It builds on DeepSeek-R1-Zero, a model trained with large-scale reinforcement learning and no supervised fine-tuning step first. R1 adds cold-start data before the reinforcement learning, which the card says fixes repetition, poor readability and mixed languages. Its stated results match OpenAI-o1 on math, code and reasoning tasks.

Who it suits: Research groups and engineering teams that can host a huge open model and want strong step-by-step reasoning. People with a single desktop GPU will want one of the smaller distilled models instead.

Industry | Who uses it | How they use it | Example
Research | AI labs | Study reasoning trained through reinforcement learning | Compare R1 with R1-Zero on reasoning tasks
Software | Platform teams | Serve a large open reasoning model for coding and math | Host it behind an internal chat tool
Education | Tutors and students | Work through math and logic problems step by step | Ask it to solve and explain a proof

If you cannot host about 684 GB of weights, you can skip it.

Where to use it:

  • Python with the transformers library
  • Large GPU servers, since the weights are about 684 GB in F8_E4M3
  • Windows, macOS or Linux, for downloading the files
Use case | Who | What they get back
Math problems | Students and researchers | A worked solution with reasoning
Code tasks | Developers | Code and an explanation of the approach
Reasoning tasks | Analysts | A chain of reasoning ending in an answer

How to set it up:

  • Python with pip
  • Huge storage and GPU memory, about 684 GB for the weights and about 342 GB at 4-bit by Hugging Face's estimate
  • A read of the Usage Recommendation section of the model card before running it locally
  1. Install the Hugging Face hub package.
  2. Download the model files.
  3. Review the card's usage recommendations, then run it with your serving stack.
pip install -U huggingface_hub
hf download deepseek-ai/DeepSeek-R1

How to use it: Send the model a math, code or reasoning problem through your serving stack. The card asks you to read its Usage Recommendation section first, because the R1 series has settings meant for running it well.

Example: You ask a hard math question. The model reasons through the steps at length and then states its answer.

For newcomers and experts: If you are new, a 684B model is far too large for a normal computer, so try one of the six smaller distilled models from the same release. Use R1 itself when you run a GPU cluster.

The training pipeline has two reinforcement learning stages that look for better reasoning patterns and match human preferences, plus two supervised fine-tuning stages that seed reasoning and non-reasoning skills. The card says the six distilled models are built on Llama and Qwen, and its 32B Qwen distill beats OpenAI-o1-mini on many benchmarks.

Base model
Reinforcement learning builds reasoning
Cold-start data and fine-tuning clean it up
A second reinforcement learning stage aligns it
DeepSeek-R1

Good to know:

  • The weights are about 684 GB, so it needs serious hardware
  • DeepSeek-R1-Zero showed that reasoning can come from reinforcement learning alone, with some repetition and language mixing
  • License: MIT
  • Cost to run: none named, but the hardware is large
  • Data it reaches: your prompts and the files downloaded from Hugging Face
  • Not for: ordinary laptops, where the distilled models fit better

On Hugging Face, 13 November 2026

  • Task: text generation
  • Library: transformers
  • Parameters: 684B
  • Weights: about 684 GB in F8_E4M3; about 342 GB at 4-bit (estimate)
  • Formats: Safetensors
  • Downloads in the last 30 days: 1,599,170
  • Likes: 14,451
  • License: mit
  • Quantized versions: 70
  • Fine-tunes: 328
  • Tags: transformers, safetensors, deepseek_v3, text-generation, conversational, fp8

Links

Get the model

Download its files with Hugging Face's command line:

pip install -U huggingface_hub
hf download deepseek-ai/DeepSeek-R1

Then follow the usage in its model card. Nothing in this kit runs by itself.

Files
README.md  5 KB

1 file, 5 KB, downloaded as a zip.

What’s new

  • Version 1 · 2026-11-12

Compare with similar

Listed Hugging Face models in the same category that share the most tags with this one.

ProductDownloads, last 30 daysLikesParametersLicenseLast change
DeepSeek-R1 This page1,599,17014,451684Bmit
DeepSeek-V4.1-FlashShares fp8 · text-generation · conversational1,759,3354,949763Bmit
DeepSeek-V4.1-Flash-1017Shares fp8 · text-generation · conversational398,1615,600763Bmit
Kolibri-1Shares fp8 · text-generation · conversational13,3191,01178.1Bapache-2.0
Qwen3.8-27B NVFP4Shares fp8 · text-generation · conversational268,67323918.2Bapache-2.0
Ling-3.1-flashShares fp8 · text-generation · conversational8,327170572Bmit
Numbers as Mindket last read them, from 2026-11-12 to 2026-11-13.

Reviews

No ratings yet

Write a review

No reviews yet.

What people say

Posts and comments that name this project on Hacker News, Bluesky, X, Reddit, Facebook and YouTube, found by a weekly search and on Trendshift. Mindket doesn’t write or check them. Open one to read it where it was posted.

tianyicuiWhy is the GitHub trending page weirdly excluding DeepSeek projects?Hi, this is Tianyi from DeepSeek AI's Harness team. I'm looking to get in touch with someone from GitHub, as I found it weird that https://github.com/trending page doesn't seem to include https://github.com/deepseek-ai/deepseek-harness at all. The project was rapidly being starred, forked, and…9 points · 1 replyTokenMargin.DevDeepSeek R1 (671B Reasoning) vs OpenAI o3-mini: Which LLM API actually protects your SaaS gross margin at 10,000 DAU? Here is the live 2026 token math across input, output & prompt caching: 🧵👇 #AI #LLM #DevTools #SaaS #BuildInPublic4 likes · 2 repliespetuWhy your local LLM feels dumber than it isMaybe some were fixed, but: 1) Shipping with 2k default context window for the longest time, w/o any warning and being not easy to change (like any other setting). Totally made a lot of people think local LLMs are dumb as rocks. Just checked, still not fixed -- defaults to 4K if less than 24GB…TokenMargin.DevDeepSeek R1 (671B Reasoning) Cloud Pricing & Cheapest Providers (2026): What does DeepSeek R1 (671B Reasoning) actually cost in production across input, output & prompt caching? 🧵👇 #AI #LLM #DevTools #SaaS #BuildInPublic3 likes · 2 replieswoadwarrior01On A.I. regulation and messagingI agree 100%. IMO, it all started with ollama misrepresenting the Deepseek R1 distills as Deepseek R1, all for hype and marketing. I've had so many ostensibly technical people telling me: "I tried DeepSeek R1 and it was terrible", and every time when I probe further they'd tried the tiny 1.5B…TokenMargin.DevDeepSeek R1 (671B Reasoning) Cloud Pricing & Cheapest Providers (2026): What does DeepSeek R1 (671B Reasoning) actually cost in production across input, output & prompt caching? 🧵👇 #AI #LLM #DevTools #SaaS #BuildInPublic3 likes · 1 replyFacingsouthGenerate per-session LoRA adapters in <1s for agentic inference efficiencyQuick Start Generate LoRA Adapters From metadata (JSON string or file): tessera generate \ --from-metadata '{"task": "classification", "domain": "medical"}' \ --base-model mistralai/Mistral-7B-Instruct-v0.2 \ --rank 16 \ --save ./adapter.safetensors From text description: tessera generate \…TokenMargin.DevDeepSeek R1 (671B Reasoning) Cloud Pricing & Cheapest Providers (2026): What does DeepSeek R1 (671B Reasoning) actually cost in production across input, output & prompt caching? 🧵👇 #AI #LLM #DevTools #SaaS #BuildInPublic3 likes · 1 replyTiberiumOpen Reproduction of DeepSeek-R1Last update over a year ago, so I hope (2025) gets added to the title: > [2025/05/26] (Step 1 completed!) We release Mixture-of-Thoughts--a curated reasoning dataset of 350k verified traces distilled from R1. The dataset spans tasks in mathematics, coding, and science, and is designed to teach…TokenMargin.Dev3/ Run your own DAU, prompt cache hit rate (0-95%), and LiteLLM fallback router simulation on our live comparison page: https://tokenmargin.dev/compare/deepseek-r1-vs-o3-mini.html?ref=bsky #AI #LLM #FinOps #DevTools #BuildInPublic3 likesnailerDeepSeek v4It's also not fake open source like Metas models - https://huggingface.co/deepseek-ai/DeepSeek-R1-0528, the weights are actually under a real open source license, (MIT), see https://huggingface.co/deepseek-ai/DeepSeek-R1-0528TokenMargin.Dev3/ Compare all cloud GPU & serverless endpoints hosting DeepSeek R1 (671B Reasoning) (<400ms TTFT SLA) on our live calculator: https://tokenmargin.dev/models/deepseek-r1-pricing-calculator.html?ref=bsky #AI #LLM #FinOps #DevTools #BuildInPublic2 likes

Searched

More from Mindket

See all from Mindket

Huashu Design

alchaincyf · Skill

Turns a one-line request in your AI agent into a finished design: a launch animation, a clickable app prototype, an editable slide deck, an infographic or a se…

New29.4k

Guizang PPT Skill

op7418 · Skill

Skill that makes single-file HTML slide decks, slide illustrations and platform covers in two visual styles, with a presenter mode for rehearsal. For speakers…

New29.8k

Claude Code Skills & Plugins

alirezarezvani · Skill

Adds 411 ready-made skills for Claude Code and other coding agents, grouped by role from engineering and product to marketing, finance and compliance. Installs…

New29.8k

Similar in Developer

See all in Developer

buzz

block · Kit

Self-hostable workspace where people and AI agents share the same rooms, built on a Nostr relay that logs every action as a signed event. For teams that want t…

New37.3k

plannotator

backnotprop · Kit

Opens your AI coding agent's plans, specs and code changes in a browser so you can annotate or comment on them and send the feedback straight back to the agent.

New10.5k

open-code-review

alibaba · Kit

Reviews Git changes with an AI agent that reads files and searches the codebase, then writes comments tied to exact lines. It suits developers who want automat…

New50.7k