CNML-Level Problems (DeepSeek)
Only in system cards
Models prove 91 theorems in algebra, geometry, number theory, combinatorics and inequalities at Chinese National High School Mathematics League level. A verifier model scores the proofs.
In-house DeepSeek evaluation. The tasks are not public.
Made by DeepSeek Released Nov 2025 Written proofs Tasks kept private Last in a system card Nov 2025
Last model added Nov 2025
- Level
- Competition The strongest students, in olympiad-style contests
- Scored
- Graded by a model A language model scores each response, usually against a rubric.
- Answers
- Written proof
1
System card reports it, from 1 lab
No scores here yet
No lab, leaderboard or Epoch AI run has reported a score for CNML-Level Problems (DeepSeek) yet.
Labs report it only in system cards
We read the headline results of 479 launch posts from 51 labs, and none of them list this benchmark. Some system cards do, below.
One system card reports it
Besides launch posts, we read the system cards, model cards and technical reports labs publish with a release. They report far more, including safety and frontier-risk tests.
| Date | Document | Score | As the document writes it | Section |
|---|---|---|---|---|
| 27 Nov 2025 |  DeepSeekMath-V2 technical report | Mean proof scores on CNML-level problems, one-shot, verifier-graded: Algebra 0.60, Geometry 0.52, Number Theory 0.54, Combinatorics 0.47, Inequality 0.59, no overall score (Figure 1) | Capabilities |
More in Math
- IMO-AnswerBench In use 400 olympiad problems with short verifiable answers, robustified against memorization. Scored by answer match. GLM-5.2 91%
- AIME 2026 In use Models solve the 30 integer-answer problems from the 2026 AIME I and II math competitions. Scored by exact answer match. GPT-5.5 100%
- HMMT 2026 In use Models solve the 33 final-answer problems from the February 2026 Harvard-MIT Mathematics Tournament. Scored by exact answer match. GPT-5.5 98.5%
- MathArena (Apex, IMO, USAMO) In use Evaluates models on newly released math competitions after release. Final-answer or human/LLM-judged proof scores. Claude Opus 4.8 81.3%
- PolyMath In use Models solve 9,000 parallel math problems in 18 languages across four difficulty levels, from school math to frontier math. Final answers are checked.
Qwen3.7-Max 86.5% - USAMO 2026 In use Models write full proofs for the six problems of the 2026 USA Mathematical Olympiad. Judges grade each proof from 0 to 7 against rubrics. GPT-5.5 98.2%