ElemedexA pocket encyclopedia of AI architectures
No. 045

Reasoning model (o1, R1)

Large reasoning model · thinking model

Ruminant

Before answering, it mutters: thousands of tokens of “let's see…”, “wait, no”, “let's try another way,” until it lands on something the verifier accepts. It learned to doubt because doubting paid. Nobody quite knows whether what it mutters is what actually leads it to the answer.

Height
o1: undisclosed · R1: 61
Weight
o1: ? · R1: ≈ 671 GB (FP8)
Parameters
o1: undisclosed · R1: 671 B total, 37 B active (mixture of experts)
Context
R1: 128k tokens; in training, answers of up to 65,536 tokens
Training data
R1: DeepSeek-V3 base (14.8 trillion tokens) + RL on verifiable problems · o1: undisclosed
Year
2024
Generation
6 · Assistants, reasoning, and agents
Creators
OpenAI (o1, 2024); DeepSeek-AI (R1, 2025)
Kind
Model

Base stats

Total
448

Approximate, ordinal scales meant for comparing species with each other; the hard numbers are in the data sheet.

Weaknesses

  • Doubtful faithfulness: the chain of thought does not always reflect what caused the answer.
  • Expensive and slow: thousands of tokens per answer, sometimes for trivial questions.
  • Outside verifiable domains (writing, open questions) the advantage fades.
  • The reasoning trace is a new attack surface, and can leak what the final answer refuses to say.

Habitat

It was trained on math, programming and science problems whose answers a program can check. It lives behind the “think” button of chatbots and, in R1's case, in MIT-licensed downloads and in distilled versions from 1.5 B to 70 B parameters.

Moves

Abilities

Test-time compute
Performance improves the more thinking tokens it is allowed to generate: a new scaling knob.
Verifiable rewards
During reinforcement, the reward is for a correct final answer, and a program decides it, not a reward model.
Visible or hidden thinking
R1 shows its chain between tags; o1 hides it and offers a summary.

Anatomy

reinforces what worksProblem<think> reasoning…“Wait…”: self-checkFinal answerVerifiable problems16 solutions per problemVerifier: correct?Reward: accuracy + formatGRPO: update the policyIn useIn training (RL)

The DeepSeek-R1-Zero recipe. In use, the model writes a chain of thought between tags before answering. In training, several solutions per problem are sampled, a program checks only the final answer (and the format), and GRPO reinforces the chains that led to correct answers. Nobody tells it how to reason: only whether it was right.

Evolution chain

045 Reasoning model (o1, R1)

A reasoning model is a language model trained to write a long chain of thought before answering, and to write it so that it leads to correct answers. OpenAI presented o1 on September 12, 2024: according to the company, a large-scale reinforcement learning algorithm teaches the model “how to think productively using its chain of thought,” and performance improves both with more reinforcement during training and with more thinking time at use (OpenAI, 2024). DeepSeek released R1 in January 2025, with the weights and a description of the method that later appeared in Nature (Guo et al., 2025).

From trick to training

The chain of thought began as a prompt trick: showing a few examples worked out step by step improved large models on arithmetic and logic problems (Wei, Wang, et al., 2022), and simply asking “Let's think step by step” was enough (Alammar & Grootendorst, 2024, pp. 185–187). Alammar & Grootendorst (2024) give a computational explanation: each additional token lets the model spread more computation over the problem instead of solving it in a few steps (2024, pp. 185–186). Buckner (2024) saw in these prompts the kind of scaffolding a teacher offers a child who is learning increasingly complex problems (2024, p. 340). Reasoning models internalize the trick: instead of asking for it, it is trained in.

How it works

R1-Zero starts from the DeepSeek-V3 base model and skips supervised fine-tuning. It is trained with reinforcement (the GRPO algorithm) on math, code and science problems, and the reward depends only on whether the final answer matches the solution and whether the reasoning sits between <think> tags. The authors avoided neural reward models because, in large-scale reinforcement, the model learns to game them. On AIME 2024, a math olympiad qualifier, average accuracy rose from 15.6% to 77.9% during training; answers grew longer on their own, and at some point an “aha moment” appeared, a sudden rise in the use of the word wait in reflections (Guo et al., 2025). R1-Zero mixed English and Chinese and was hard to read; R1 adds initial examples with readable chains, more stages of reinforcement and tuning, and preference rewards for general use. Its reasoning was later distilled into models from 1.5 B to 70 B.

What changed

In ChatGPT (InstructGPT), the reward model judged whole answers by human preferences; here the reward comes from a verifier, a cheap, objective and unlimited signal in math and code. A new axis of scaling also appears, test-time compute: o1 solved on average 74% of AIME 2024 problems with a single sample and 83% with consensus among 64 (OpenAI, 2024). OpenAI decided not to show the raw chains; R1 displays them. When R1 came out, free and with open weights, Nvidia's stock plunged (see NVDA to the moon).

The p(doom) song ends by asking “What did Ilya see?”. In November 2023 OpenAI's board, with Ilya Sutskever's vote, removed Sam Altman for not being “consistently candid” and reinstated him five days later (see the board crisis); stories circulated about a secret math-reasoning project, Q*. The song's annotator conjectures that what Ilya saw was the reinforcement training of chains of thought that led to o1 (osmarks, n.d.). It is a conjecture, not a fact.

Limits

The advantage is concentrated in verifiable domains: its own authors acknowledge that R1-Zero, trained only with rule-based rewards, performed poorly at writing and open-ended questions (Guo et al., 2025). Reinforcement against a verifier inherits the risk of all reinforcement, reward hacking: optimizing the signal instead of the task (Buckner, 2024, p. 68). And the chain of thought is a new attack surface: Millière (2025) shows cases in which R1 mentions safety in its trace and then produces the harmful content anyway, or leaks it in the trace while refusing it in the answer (2025, pp. 2054–2055).

Sources

  • Alammar, J., & Grootendorst, M. (2024). Hands-on large language models: Language understanding and generation. O’Reilly Media. §
  • Buckner, C. J. (2024). From deep learning to rational machines: What the history of philosophy can teach us about the future of artificial intelligence. Oxford University Press. https://doi.org/10.1093/oso/9780197653302.001.0001 §
  • Chen, Y., Benton, J., Radhakrishnan, A., Uesato, J., Denison, C., Schulman, J., Somani, A., Hase, P., Wagner, M., Roger, F., Mikulik, V., Bowman, S. R., Leike, J., Kaplan, J., & Perez, E. (2025). Reasoning models don't always say what they think (arXiv:2505.05410). arXiv. https://doi.org/10.48550/arXiv.2505.05410 §
  • Floridi, L., Morley, J., Novelli, C., & Watson, D. (2025). What kind of reasoning (if any) is an LLM actually doing? On the stochastic nature and abductive appearance of large language models (arXiv:2512.10080). arXiv. https://doi.org/10.48550/arXiv.2512.10080 §
  • Guo, D., Yang, D., Zhang, H., Song, J., Wang, P., Zhu, Q., Xu, R., Zhang, R., Ma, S., Bi, X., Zhang, X., Yu, X., Wu, Y., Wu, Z. F., Gou, Z., Shao, Z., Li, Z., Gao, Z., Liu, A., . . . Zhang, Z. (2025). DeepSeek-R1 incentivizes reasoning in LLMs through reinforcement learning. Nature, 645(8081), 633–638. https://doi.org/10.1038/s41586-025-09422-z §
  • Millière, R. (2025). Normative conflicts and shallow AI alignment. Philosophical Studies, 182(7), 2035–2078. https://doi.org/10.1007/s11098-025-02347-3 §
  • OpenAI. (2024, September 12). Learning to reason with LLMs. https://openai.com/index/learning-to-reason-with-llms/ §
  • osmarks. (n.d.). P(Doom) song objectively correct interpretation. GTech™ Documentation. Retrieved September 30, 2026, from https://docs.osmarks.net/hypha/p(doom)_song_objectively_correct_interpretation §
  • Shanahan, M. (2024). Talking about large language models. Communications of the ACM, 67(2), 68–79. https://doi.org/10.1145/3624724 §
  • Turpin, M., Michael, J., Perez, E., & Bowman, S. R. (2023). Language models don't always say what they think: Unfaithful explanations in chain-of-thought prompting. In Advances in Neural Information Processing Systems (Vol. 36, pp. 74952–74965). Curran Associates. https://doi.org/10.52202/075280-3275 §
  • Wei, J., Wang, X., Schuurmans, D., Bosma, M., Ichter, B., Xia, F., Chi, E., Le, Q. V., & Zhou, D. (2022). Chain-of-thought prompting elicits reasoning in large language models. In Advances in Neural Information Processing Systems (Vol. 35, pp. 24824–24837). Curran Associates. https://doi.org/10.52202/068431-1800 §