TopKG 权威天梯2026 年度收录 20 款标杆100% 动态加权客观中立

2026 深度推理与长思维链模型天梯

基于强化学习深度推理、完整思考链(CoT)白盒可解释性、AIME 2024奥赛数学正确率与思考Token性价比的全维推理模型天梯。

公理加权公式:形式化逻辑与复杂数学自纠错率 28% / 思考链(CoT)透明度与可解释性 22% / 动态推理预算控制与长程规划 18% / 跨学科科学假设验证能力 14% / 防过度思考与死循环检测 10% / 单Token思考算力开销与性价比 8%

全维对比矩阵总览表 (Benchmark Matrix)

排名标的名称综合得分评级核心护城河 (Moat)
1
DeepSeek-R1 (深度求索)
(100% 开源纯强化学习 CoT 思考链 / AIME 97.3% / 全球蒸馏小模型矩阵)
98.2SSS100% 完整纯强化学习开源白盒 CoT 思考链 / AIME 2024 达 97.3% 逼平前沿闭源 / 极高性价比与开源自由蒸馏
2
OpenAI o3 / o3-mini
(OpenAI 闭源推理皇冠 / Codeforces 2700+ 算法神座 / 三档推理努力)
97.8SSS思考树搜索巅峰 / 竞技编程 Codeforces 2700+ 分 / 支持 low/medium/high 三档推理努力灵活配置
3
Claude 3.7 Sonnet (Extended Thinking)
(首创混合推理架构 / 动态思考 Token 预算精控 / 工业级跨文件纠错)
97SSS业内首创思考与执行混合架构 / 精确控制思考 Token 预算 / 工业级工程纠错与计算机操控能力
4
Gemini 2.0 Flash Thinking
(毫秒级实时流式思考 / 原生多模态思维树 / 极速生成吞吐与免费配额)
94.5SS毫秒级展示思考流 / 原生多模态思维树结合 / 极高每秒 Token 吞吐与宽泛免费配额
5
Qwen QwQ-32B / Qwen 2.5 72B
(32B 紧凑体积越级战力 / 本地双卡满血部署 / 中文逻辑与奥赛题表现优异)
93SS32B 紧凑体积媲美前沿大模型战力 / 本地双卡消费级 GPU 即可满血部署 / 中文数学奥赛深度优化
6
Kimi k1.5 (月之暗面)
(长思维链多模态探索者 / 深入意图多阶段分解 / 中文长文本情境化思考)
91.2S+深度中文情境化意图拆解 / 长达数万步的复杂多阶段推理展开 / 结合百万上下文深度查证
7
OpenAI o1 (开启慢思考与强化学习长思维链纪元的历史性奠基之作)
(强化学习长推理思维链(CoT)的开山宗师)
92.8A开创通过强化学习(RL)自主学会慢思考的科学范式,在国际奥林匹克竞赛级数学与顶尖编程算法上取得历史性突破
8
OpenAI o1-mini (轻量高效的代码与数学慢思考专家模型)
(专注编程与数理逻辑的高性价比慢思考利器)
92A运算速度比完整版 o1 快数倍且价格直降 80%,在编程竞赛(如 LeetCode Hard)中解题准确率惊人
9
智谱 GLM-Zero-Preview (国内开源慢思考强化学习探索先驱)
(国产慢思考长思维链自主探索先锋)
91.3A国内最早实现类似 o1 机制且向社区公开技术探索细节的模型之一,中文复杂逻辑解谜表现亮眼
10
DeepSeek-R1-Distill-Qwen-32B (极高性价比的 32B 慢思考蒸馏小钢炮)
(开源社区单机显卡慢思考事实工业标准)
90.6A32B 适中体量可在双卡 4090 或单卡 A100 上全速运行,数学与代码性能甚至越级逼近甚至战平原版 o1-mini
11
DeepSeek-R1-Distill-Llama-70B (基于 Llama 架构的高保真 R1 蒸馏模型)
(欧美开发者生态首选的 70B 慢思考基座)
89.9A结合了 Llama 3 强悍的英语语言底蕴与 DeepSeek-R1 惊艳的慢思考能力,英语数理题解与逻辑推理首选
12
阶跃星辰 Step-2R (万亿级强化学习长思考多模态专家)
(万亿稀疏大底座驱动的深度长思考模型)
89.2B长思维链展开深度惊人,不仅能进行纯符号数理推演,更能在多模态图表理解与复杂社会科学情境推演中进行深度反思
13
百度文心 Thinking (ERNIE 深度思考与逻辑推演版本)
(百度搜索知识增强的长思维链版本)
88.5B在长思维链思考过程中能够自主调用搜索引擎核实关键事实,避免纯粹基于静态权重死记硬背导致的逻辑前提错误
14
百川智能 Baichuan-Reasoner (复杂医学与法律逻辑链条慢思考推理模型)
(垂直行业临床诊断级慢思考先锋)
87.8B在医学鉴别诊断思维链中能够像三甲医院专家一样列出多种疑似病症、排查依据与排除逻辑,专业度极高
15
腾讯混元 T1 (Hunyuan-T1 工业级强化学习深度思考模型)
(腾讯自研长思维链工业推理新星)
87.1B依托腾讯自研的大规模高质量合成数据与过程奖励模型(PRM),在复杂业务工作流拆解与代码排错上表现优异
16
Marco-o1 (阿里巴巴团队开源的大规模 CoT 慢思考多语言模型)
(阿里国际团队开源的长思维链探索者)
86.4B彻底打破‘慢思考只对数学代码有用’的偏见,将长思维链应用于复杂多语言语境消歧、文化隐喻翻译与复杂逻辑问答
17
DeepSeek-R1-Distill-Qwen-14B (单张 24G 显卡即可跑起的满血慢思考模型)
(单卡 RTX 3090/4090 的终极性价比神模)
85.7B单卡 24G 显存毫无显存溢出风险,数学与逻辑推理水平在同尺寸中一骑绝尘,是本地私人助理与小微企业自建服务器的黄金尺寸
18
Llama-3.1-Nemotron-70B-Reward (英伟达自研对齐与强化学习推理判断模型)
(强化学习裁判员与推理奖励模型金牌标准)
85B具备极高的人类偏好对齐辨别力与逻辑错误识别能力,常被作为慢思考强化学习训练中的核心‘金牌裁判员’
19
DeepSeek-R1-Distill-Qwen-7B (8GB 显存端侧电脑无压力离线跑起的慢思考小模型)
(轻薄笔记本即可离线把玩的掌上推理奇迹)
84.3B把门槛踩碎到极限,哪怕是几年前没有独立显卡的普通电脑也能跑起真实的思维链推演,解决普通代数与代码逻辑题
20
Skywork-o1 (天工自研强化学习数学与代码深度长思考模型)
(开源慢思考技术路线的积极探索先锋)
83.5B开源提供完整的训练思路与过程监督数据清洗方法,为国内开源社区复现类 o1 范式提供了扎实的技术沉淀

全维考据与标的明细档案 (Item Dossiers)

共收录 20 款权威单品
#1

DeepSeek-R1 (深度求索) (100% 开源纯强化学习 CoT 思考链 / AIME 97.3% / 全球蒸馏小模型矩阵)

全球开源深度推理颠覆者
98.2 / 100
SSS
📌 专家评测研判:AI 推理发展史上的里程碑,通过纯强化学习(RL)大规模激励模型的自发反思、验证与长思维链展开,将前沿推理能力完全开源,震撼全球科技界。

AI 推理发展史上的里程碑,通过纯强化学习(RL)大规模激励模型的自发反思、验证与长思维链展开,将前沿推理能力完全开源,震撼全球科技界。

🛡️ 核心护城河 (Moat):100% 完整纯强化学习开源白盒 CoT 思考链 / AIME 2024 达 97.3% 逼平前沿闭源 / 极高性价比与开源自由蒸馏
⚖️ 核心权衡限制 (Trade-off):官方网页端在高峰期偶尔排队限流 / 缺少官方直接托管的原生端到端音频与高保真视频流直出

公理维度测算分解

形式化逻辑与复杂数学自纠错率 (28%)99.6分

在复杂几何证明、数论与形式化代码验证中展现出极高的自我否定与路径回溯纠错能力

思考链(CoT)透明度与可解释性 (22%)99.9分

全球唯一的白盒完整思考链输出,没有任何掩盖或隐藏,是学术与工程分析的无价宝库

动态推理预算控制与长程规划 (18%)95.9分

模型能够根据问题复杂度自主决定展开数百步或上万步思考,长程规划逻辑连贯

跨学科科学假设验证能力 (14%)97.9分

在生物制药分子式推演、量子物理形式化公式推演中展现出惊人的跨学科关联洞察力

防过度思考与死循环检测 (10%)93.9分

极少陷入无意义的 Token 自旋死循环,但针对简单问答的轻量快速退出机制仍有优化空间

单Token思考算力开销与性价比 (8%)99.7分

API 定价仅为西方主流闭源旗舰的几十分之一,每产生一个高价值思考 Token 的成本极低

✓ 共识优势清单 (Pros):
  • 全球首个将万步思考过程(CoT)100% 原始 Token 完全对外透明输出的旗舰级前沿推理模型
  • 在 AIME 2024 数学竞赛与 Codeforces 算法排位上斩获 97.3% 的惊人成绩,数学与逻辑推导处于世界巅峰
  • 完全开源 671B 权重及全套蒸馏小模型(1.5B/7B/8B/14B/32B/70B),支持任何企业免授权私有化部署
⚠ 权衡与注意事项 (Cons):
  • 在遇到过于简单的常识性极短问答时,偶尔存在过度自省推演导致回答略显冗长
  • 官方公开 Web 端高峰期算力负荷大,生产级企业落地推荐通过云厂商或本地私有化集群
#2

OpenAI o3 / o3-mini (OpenAI 闭源推理皇冠 / Codeforces 2700+ 算法神座 / 三档推理努力)

闭源逻辑与算法推理天花板
97.8 / 100
SSS
📌 专家评测研判:OpenAI 强化学习与思维树搜索架构的最高杰作,在竞技编程、奥林匹克数学和跨学科研究生级科学问题中展现出逼近人类顶尖专家的推理逻辑。

OpenAI 强化学习与思维树搜索架构的最高杰作,在竞技编程、奥林匹克数学和跨学科研究生级科学问题中展现出逼近人类顶尖专家的推理逻辑。

🛡️ 核心护城河 (Moat):思考树搜索巅峰 / 竞技编程 Codeforces 2700+ 分 / 支持 low/medium/high 三档推理努力灵活配置
⚖️ 核心权衡限制 (Trade-off):思考过程受安全策略过滤部分隐藏,不可查看完整原始 CoT / 长文件格式对齐偶有固执偏好

公理维度测算分解

形式化逻辑与复杂数学自纠错率 (28%)100.6分

形式化数学与算法证明极度严密,多分支推演与反证法运用浑然天成

思考链(CoT)透明度与可解释性 (22%)92分

对外输出的思考摘要经过安全重构,丢失了模型原始探索过程中的微观 Token 痕迹

动态推理预算控制与长程规划 (18%)100分

三档推理努力调节与内部思维树分支剪枝机制极其高效,复杂任务长程规划能力第一梯队

跨学科科学假设验证能力 (14%)99.5分

在复杂高维空间拓扑、金融量化衍生品定价数学模型中的分析深度无可挑剔

防过度思考与死循环检测 (10%)98.5分

内置成熟的自循环检测机制,遇到死胡同能够极其敏捷地放弃当前分支重新回溯

单Token思考算力开销与性价比 (8%)95分

o3-mini 实现了较好的性价比平衡,但相比完全开源方案在私有化 TCO 上仍属高端消费品

✓ 共识优势清单 (Pros):
  • Codeforces 算法竞赛评分突破 2700 分大关,达到全球顶尖红名特级大师选手的解题水准
  • 支持 API 参数 reasoning_effort 动态微调(低/中/高),开发者可根据预算严格控制单次推理深度
  • 企业级安全基础设施与全球并发吞吐节点极度成熟,单请求高并发处理稳定性卓越
⚠ 权衡与注意事项 (Cons):
  • 思考链经过系统安全策略的重构与脱敏,开发者无法查看原始未经修改的思考原始 Token
  • 全尺寸深度推理计费昂贵,大批量学术推演对非大型机构具有较高财务预算门槛
#3

Claude 3.7 Sonnet (Extended Thinking) (首创混合推理架构 / 动态思考 Token 预算精控 / 工业级跨文件纠错)

工业工程与混合推理巅峰
97 / 100
SSS
📌 专家评测研判:Anthropic 将传统快速响应与扩展思考链融合为单一模型的先锋之作,开发者既能在毫秒间获得极速回答,也能赋予其数万 Token 思考预算进行复杂系统级工程推演。

Anthropic 将传统快速响应与扩展思考链融合为单一模型的先锋之作,开发者既能在毫秒间获得极速回答,也能赋予其数万 Token 思考预算进行复杂系统级工程推演。

🛡️ 核心护城河 (Moat):业内首创思考与执行混合架构 / 精确控制思考 Token 预算 / 工业级工程纠错与计算机操控能力
⚖️ 核心权衡限制 (Trade-off):高并发下思考 Token 消耗计费较快 / 官方 API 具备严格的地理可用性风控

公理维度测算分解

形式化逻辑与复杂数学自纠错率 (28%)96.9分

软件系统逻辑与架构一致性纠错天下第一,纯代数奥赛逻辑推演处于第一梯队

思考链(CoT)透明度与可解释性 (22%)97.4分

对外完整返回 thinking 内容块,文字表述清晰有条理,极度贴近顶级资深工程师的心智

动态推理预算控制与长程规划 (18%)99.4分

预算控制机制全行业最为灵活实用,兼顾了成本控制与极限长程规划深度

跨学科科学假设验证能力 (14%)95.9分

在跨领域文献综合推演与技术规范审计中表现出色,极少产生事实性幻觉

防过度思考与死循环检测 (10%)96.9分

在达到问题解题目标后收口极其干脆,极少产生无意义的自言自语水 Token

单Token思考算力开销与性价比 (8%)92.9分

定价符合前沿闭源模型标准,对于高价值工程交付极其划算,但日常普通闲聊成本稍高

✓ 共识优势清单 (Pros):
  • 业界首个支持动态设定精准思考 Token 上限(如 `budget_tokens: 4096`)的混合架构模型
  • 在 SWE-bench Verified 软件工程真实基准上斩获全球第一,跨几十个文件的大型重构极具严谨性
  • 思考链具有极高的可读性,并且能够自然平滑地调用 Computer Use 与外部终端工具
⚠ 权衡与注意事项 (Cons):
  • 深度思考模式下如果提示词过于开放,生成的思考 Token 账单攀升较快
  • 纯奥赛理论数学极端高阶推导相比专门偏科的 o3/R1 略偏向实用工程落地
#4

Gemini 2.0 Flash Thinking (毫秒级实时流式思考 / 原生多模态思维树 / 极速生成吞吐与免费配额)

多模态极速思考王者
94.5 / 100
SS
📌 专家评测研判:Google 将极速流式生成与思考链结合的典范,在用户提问瞬间即可毫秒级流式吐出思考树细节,配合原生多模态图文视频理解,开辟了低延迟思考新路径。

Google 将极速流式生成与思考链结合的典范,在用户提问瞬间即可毫秒级流式吐出思考树细节,配合原生多模态图文视频理解,开辟了低延迟思考新路径。

🛡️ 核心护城河 (Moat):毫秒级展示思考流 / 原生多模态思维树结合 / 极高每秒 Token 吞吐与宽泛免费配额
⚖️ 核心权衡限制 (Trade-off):长程复杂代码工程单点收口率略弱于 Claude / 安全审核策略偏向敏感

公理维度测算分解

形式化逻辑与复杂数学自纠错率 (28%)93.3分

对常规数学竞赛与物理推演游刃有余,几何图像辅助推理在所有模型中最为优秀

思考链(CoT)透明度与可解释性 (22%)95.7分

API 原生通过独立的 thought 字段完整实时返回思考步骤,集成进 Web 前端极其方便

动态推理预算控制与长程规划 (18%)93.7分

依托 100万 Token 超大容量展开思考树,能够长距离保持上下文不发散

跨学科科学假设验证能力 (14%)96.2分

多模态科学图表、天文望远镜观测数据与生物细胞图谱解析表现惊艳

防过度思考与死循环检测 (10%)93.2分

思考过程推进迅速,偶尔在某些文字字数限制约束题型上产生轻微死循环校验

单Token思考算力开销与性价比 (8%)95.7分

基于 Flash 架构的推理成本极度低廉,高并发多模态思考场景下的性价比极具吸引力

✓ 共识优势清单 (Pros):
  • 思考流以极高的吞吐速率实时喷涌呈现,首字思考延迟通常在 200ms 以内,毫无卡顿感
  • 支持将复杂高难度几何图像、结构拓扑图与多帧连续视频直接投喂进思考树进行联合推演
  • 在 Google AI Studio 中提供极为宽松的免费开发测试配额,个人极客验证想法门槛极低
⚠ 权衡与注意事项 (Cons):
  • 在万行级复杂老旧代码重构时,生成的最终落地方案有时夹杂较多泛化解释
  • 安全机制较为保守,涉及网络渗透测试等安全审计主题时容易触发保守性拒答
#5

Qwen QwQ-32B / Qwen 2.5 72B (32B 紧凑体积越级战力 / 本地双卡满血部署 / 中文逻辑与奥赛题表现优异)

最具实用价值的端侧推理模型
93 / 100
SS
📌 专家评测研判:阿里巴巴通义实验室在紧凑参数强化学习推理领域的杰出成果,用区区 32B 的模型体积实现了逼平早期 o1 的数学推理水平,是本地私有化部署的首选神卡伴侣。

阿里巴巴通义实验室在紧凑参数强化学习推理领域的杰出成果,用区区 32B 的模型体积实现了逼平早期 o1 的数学推理水平,是本地私有化部署的首选神卡伴侣。

🛡️ 核心护城河 (Moat):32B 紧凑体积媲美前沿大模型战力 / 本地双卡消费级 GPU 即可满血部署 / 中文数学奥赛深度优化
⚖️ 核心权衡限制 (Trade-off):32B 体积在极高维度的通用长程战略规划上相比 671B 巨无霸仍有容量上限

公理维度测算分解

形式化逻辑与复杂数学自纠错率 (28%)93.1分

数学奥赛与算法题逻辑严密,在 30B 级别模型中展现出断层式的自纠错与推导能力

思考链(CoT)透明度与可解释性 (22%)96分

本地运行完全白盒输出,所有思考内容实时打印在开发者终端,可解释性无保留

动态推理预算控制与长程规划 (18%)90分

能够独立完成多达数千字的长思维链推导,长程记忆与上下文维持稳健

跨学科科学假设验证能力 (14%)91分

自然科学与基础学科推演表现扎实,在理工科辅助教学与科研解题中极具实用性

防过度思考与死循环检测 (10%)91分

偶尔对简单结论进行多余的反向验证,但整体思考收敛速度控制合理

单Token思考算力开销与性价比 (8%)97分

本地部署无需向任何厂商按 Token 支付 API 费用,边际推理成本几乎等同于本地电费

✓ 共识优势清单 (Pros):
  • 32B 适中体积支持在两张 RTX 4090 或单台高配 Mac Studio 上以 INT4/INT8 本地离线全速运行
  • 在高考数学大题、奥数几何题与中文趣味脑筋急转弯逻辑推演上展现出极高的中文本土思维亲和力
  • 完全开源权重,社区配套的 GGUF、vLLM、Ollama 一键量化镜像极其丰富成熟
⚠ 权衡与注意事项 (Cons):
  • 在面对超过 5 万行的极端超大工程全局架构推演时,受限于 32B 参数容量,知识储备略显收窄
  • 有时在思考链末期会反复确认微小边界条件,导致生成耗时略微拉长
#6

Kimi k1.5 (月之暗面) (长思维链多模态探索者 / 深入意图多阶段分解 / 中文长文本情境化思考)

长上下文与情境推理先锋
91.2 / 100
S+
📌 专家评测研判:月之暗面在大模型长思维链与多模态联合推理上的前沿探索,将 Kimi 标志性的长文本优势与深度反思相结合,擅长在海量复杂中文情境中抽丝剥茧。

月之暗面在大模型长思维链与多模态联合推理上的前沿探索,将 Kimi 标志性的长文本优势与深度反思相结合,擅长在海量复杂中文情境中抽丝剥茧。

🛡️ 核心护城河 (Moat):深度中文情境化意图拆解 / 长达数万步的复杂多阶段推理展开 / 结合百万上下文深度查证
⚖️ 核心权衡限制 (Trade-off):目前主要通过官方网页端与移动 App 体验,独立开放的企业级高并发推理 API 生态仍在建设中

公理维度测算分解

形式化逻辑与复杂数学自纠错率 (28%)89.7分

逻辑论证条理清晰,特别擅长因果关系推理与事实一致性核对,数理计算表现稳定

思考链(CoT)透明度与可解释性 (22%)92.9分

探索版界面将意图分解、检索关键词生成与结果交叉验证过程清晰呈现给用户

动态推理预算控制与长程规划 (18%)91.9分

能够自主触发多次网络事实检索并在获得新证据后动态修正前期思考推论

跨学科科学假设验证能力 (14%)90.9分

在社科人文、宏观经济学与商业战略推演中表现出非常成熟的学者型思考风范

防过度思考与死循环检测 (10%)91.4分

检索与思考结合紧密,能够根据实际收集到的证据快速收敛出结论

单Token思考算力开销与性价比 (8%)90.4分

官方服务模式对最终用户极其友好,多阶段深度检索思考性价比出众

✓ 共识优势清单 (Pros):
  • 在长篇中文研报、复杂商业尽职调查与法律条文冲突分析中,展现出极强的深度事实核查推演力
  • 思考链展开极具耐心,擅长将模糊的用户需求逐层分解为数个具体的执行步骤与推论子目标
  • 在长上下文检索增强与多模态图表细节对齐中,保持极低的遗忘率与虚构率
⚠ 权衡与注意事项 (Cons):
  • 针对极度深奥的国际奥林匹克纯理论数学证明,极限攻坚能力略逊于专精数理竞赛的模型
  • 外部开发者调用工具链与本地开源私有化部署方案相对受限,主打官方托管生态
#7

OpenAI o1 (开启慢思考与强化学习长思维链纪元的历史性奠基之作) (强化学习长推理思维链(CoT)的开山宗师)

stable
92.8 / 100
A
📌 专家评测研判:慢思考范式的始祖与灯塔,以隐藏长思维链自我修正重塑 Scaling Law,人类大模型发展史上的第二奇点。

OpenAI 划时代的里程碑之作,彻底改变了人类与大模型的交互范式,以隐藏的长思维链在回答前进行深度逻辑推演与自我纠错。

🛡️ 核心护城河 (Moat):开创通过强化学习(RL)自主学会慢思考的科学范式,在国际奥林匹克竞赛级数学与顶尖编程算法上取得历史性突破
⚖️ 核心权衡限制 (Trade-off):隐藏思维链明文,思考过程对用户不可见且调用成本与延迟相对常规大模型显著上升

公理维度测算分解

竞赛级数理与算法竞赛精度 (30%)95分

AIME 数学竞赛与 Codeforces 竞赛积分达到人类顶级金牌水准

自主反思纠错与长思维链展开 (25%)94分

学会动态分步推导,推翻死胡同假设并自主重新规划路线

复杂约束遵循与形式化逻辑证明 (20%)94分

对严苛条件限制执行力极强,能进行极其复杂的形式化证明

推理算力消耗与 Token 生成效率 (15%)86分

思考消耗大量推理 Token,首字输出通常需要等待十数秒

思考过程可见度与可解释性 (10%)80分

OpenAI 出于商业机密与安全原因,对详细思维链进行了概括性折叠

✓ 共识优势清单 (Pros):
  • 真正具备‘思考’的感觉,面对复杂难题不再信口开河,能精准推导出正确的深层结论
  • 在复杂跨学科博士级难题上展现出人类高水平专家的审慎与条理
⚠ 权衡与注意事项 (Cons):
  • 无法看到模型每一步原汁原味的内心独白,且计费消耗相比普通模型昂贵得多
#8

OpenAI o1-mini (轻量高效的代码与数学慢思考专家模型) (专注编程与数理逻辑的高性价比慢思考利器)

stable
92 / 100
A
📌 专家评测研判:代码与算法工程师的王牌解题器,以亲民成本与极快速度释放慢思考威力,算法竞赛题通过率极高。

OpenAI 专为代码与 STEM 理工科打造的高速轻量慢思考模型,在保持惊人数理推理能力的同时大幅压缩时延与费用。

🛡️ 核心护城河 (Moat):运算速度比完整版 o1 快数倍且价格直降 80%,在编程竞赛(如 LeetCode Hard)中解题准确率惊人
⚖️ 核心权衡限制 (Trade-off):缺乏多模态视觉能力,且在非数理的人文历史文学常识问答上能力有所裁剪

公理维度测算分解

竞赛级数理与算法竞赛精度 (30%)94分

在编程算法竞赛中逼近 o1 满血版水平,代码语法极其严密

自主反思纠错与长思维链展开 (25%)92分

快速展开思维链,迅速定位代码边界异常并纠正

复杂约束遵循与形式化逻辑证明 (20%)92分

能严格遵循极其繁琐的代码输入输出格式要求

推理算力消耗与 Token 生成效率 (15%)93分

思考耗时大幅压缩至数秒以内,生成吞吐流畅

思考过程可见度与可解释性 (10%)82分

思维链由 OpenAI 官方提炼为精简总结呈现

✓ 共识优势清单 (Pros):
  • 速度极快且性价比高,让慢思考真正具备了嵌入日常生产力流水线的实用价值
  • 写出的复杂算法代码极少出现数组越界或指针空引用的低级 Bug
⚠ 权衡与注意事项 (Cons):
  • 纯文本模型,无法直接传入截图或设计稿要求推导演算
#9

智谱 GLM-Zero-Preview (国内开源慢思考强化学习探索先驱) (国产慢思考长思维链自主探索先锋)

rising
91.3 / 100
A
📌 专家评测研判:国产自主慢思考的破冰之作,验证了强化学习自主涌现长思维链在中文语境下的可行性与巨大潜力。

智谱 AI 在国内率先公布的慢思考研究成果,通过大规模强化学习让模型自主涌现反思、验证与长思维链推理能力。

🛡️ 核心护城河 (Moat):国内最早实现类似 o1 机制且向社区公开技术探索细节的模型之一,中文复杂逻辑解谜表现亮眼
⚖️ 核心权衡限制 (Trade-off):作为 Preview 预览实验版本,在极端冷门物理跨学科计算上的稳定性仍在快速优化迭代中

公理维度测算分解

竞赛级数理与算法竞赛精度 (30%)91分

中文高考试卷、数学逻辑奥赛题推导扎实清晰

自主反思纠错与长思维链展开 (25%)92分

思维链中明确出现‘让我重新检查一下’、‘这个假设不成立’等自主纠错行为

复杂约束遵循与形式化逻辑证明 (20%)90分

能严格把控多步逻辑前提,结论推导逻辑严密

推理算力消耗与 Token 生成效率 (15%)88分

云端算力调度平稳,思考过程输出连贯

思考过程可见度与可解释性 (10%)93分

思维链细节向开发者透明展示,极具学术参考价值

✓ 共识优势清单 (Pros):
  • 思维链完全向用户公开展示,能清清楚楚看到模型是如何从错误思路中自己撞墙并拐弯纠正的
  • 中文母语级逻辑分析,对中文特有的语义陷阱具有免疫力
⚠ 权衡与注意事项 (Cons):
  • 高阶多模态图表复杂结合推理功能仍在后续规划中
#10

DeepSeek-R1-Distill-Qwen-32B (极高性价比的 32B 慢思考蒸馏小钢炮) (开源社区单机显卡慢思考事实工业标准)

rising
90.6 / 100
A
📌 专家评测研判:开源慢思考最耀眼的明星,32B 黄金尺寸以小博大,将满血 R1 的深刻思维链无损带入消费级显卡本地机房。

DeepSeek 官方利用满血 R1 的 80 万高质量慢思考数据蒸馏出的 32B 黄金尺寸模型,成为全球开源社区最火热的本地部署核心。

🛡️ 核心护城河 (Moat):32B 适中体量可在双卡 4090 或单卡 A100 上全速运行,数学与代码性能甚至越级逼近甚至战平原版 o1-mini
⚖️ 核心权衡限制 (Trade-off):继承自蒸馏语料,在面对完全跳出蒸馏分布的极端超新奇学术前沿问题时偶有泛化边界

公理维度测算分解

竞赛级数理与算法竞赛精度 (30%)93.5分

AIME 2024 竞赛得分极高,超越很多早期千亿参数大模型

自主反思纠错与长思维链展开 (25%)91分

完整继承 R1 经典的自省与多角度复核思维模式

复杂约束遵循与形式化逻辑证明 (20%)90分

对严苛输出要求和代码格式遵循非常到位

推理算力消耗与 Token 生成效率 (15%)91分

32B 尺寸推理极其轻快,配合 vLLM AWQ 吞吐极高

思考过程可见度与可解释性 (10%)98分

思维链 100% 完整开源输出,毫无任何黑盒保留

✓ 共识优势清单 (Pros):
  • 完全开源且商用无忧,单台双卡工作站即可私有化部署拥有顶级数学与代码推理大脑
  • 思维链条详尽透彻,极其适合作为辅导学生解题或审查复杂代码逻辑的私人教练
⚠ 权衡与注意事项 (Cons):
  • 长文本处理极限相比满血 671B 在超多步因果归因上略有细微差距
#11

DeepSeek-R1-Distill-Llama-70B (基于 Llama 架构的高保真 R1 蒸馏模型) (欧美开发者生态首选的 70B 慢思考基座)

rising
89.9 / 100
A
📌 专家评测研判:Llama 生态与 R1 慢思考的绝妙合体,英语世界开发者落地本地长思维链推理的首选 70B 底座。

DeepSeek 官方基于 Meta Llama-3.3-70B 底座蒸馏的高保真慢思考模型,在欧美开源开发者生态中拥有极高热度。

🛡️ 核心护城河 (Moat):结合了 Llama 3 强悍的英语语言底蕴与 DeepSeek-R1 惊艳的慢思考能力,英语数理题解与逻辑推理首选
⚖️ 核心权衡限制 (Trade-off):由于基于 Llama 架构,其中文本土生僻典故与政策常识的丰富度略逊于基于 Qwen 架构的蒸馏版

公理维度测算分解

竞赛级数理与算法竞赛精度 (30%)93分

MATH-500 与 GPQA 科学常识评测成绩极其抢眼

自主反思纠错与长思维链展开 (25%)91分

思维链展开极其充分,英文学术推导行云流水

复杂约束遵循与形式化逻辑证明 (20%)90分

对各类复杂指令遵循与论文结构化逻辑论证能力优秀

推理算力消耗与 Token 生成效率 (15%)88分

70B 全尺寸部署建议 2 张 24G 显卡量化或专用云服务器

思考过程可见度与可解释性 (10%)98分

100% 完整开源思考链,无任何阉割遮掩

✓ 共识优势清单 (Pros):
  • 英语学术论文润色、科学逻辑证明与海外数学竞赛题解极其强悍
  • 完美兼容现有的全球 Llama 开源部署流水线与工具链
⚠ 权衡与注意事项 (Cons):
  • 中文复杂生僻字词与中文成语的细微内涵理解相比 Qwen 版稍显中规中矩
#12

阶跃星辰 Step-2R (万亿级强化学习长思考多模态专家) (万亿稀疏大底座驱动的深度长思考模型)

rising
89.2 / 100
B
📌 专家评测研判:万亿参数量与慢思考机制的深度碰撞,多模态长链条反思在复杂社会科学与商业博弈推演中极具洞察力。

阶跃星辰打造的慢思考强化学习旗舰版本,将万亿级参数大模型的深厚常识与测试时算力扩展(Test-time Scaling)相结合。

🛡️ 核心护城河 (Moat):长思维链展开深度惊人,不仅能进行纯符号数理推演,更能在多模态图表理解与复杂社会科学情境推演中进行深度反思
⚖️ 核心权衡限制 (Trade-off):万亿参数量级使得推理资源消耗巨大,思考时间相对较长

公理维度测算分解

竞赛级数理与算法竞赛精度 (30%)90分

数理逻辑严谨,推导过程详实,公式展开步骤清晰

自主反思纠错与长思维链展开 (25%)91分

思维链具有极强的多步假设验证机制,善于从多角度审视问题

复杂约束遵循与形式化逻辑证明 (20%)91分

长逻辑链条下条件约束记忆稳固,不出现前后矛盾

推理算力消耗与 Token 生成效率 (15%)86分

思考 Token 展开充分,深度思考耗时略长

思考过程可见度与可解释性 (10%)91分

提供透明的推演逻辑展示,逻辑推理链条清晰

✓ 共识优势清单 (Pros):
  • 在面对非标准、开放性的复杂宏观决策问题时能展开多层次的利弊博弈推演
  • 中文思维链极具人文色彩与严谨逻辑的平衡感
⚠ 权衡与注意事项 (Cons):
  • 高频简单日常问答使用该模型略显大材小用且等待时间较长
#13

百度文心 Thinking (ERNIE 深度思考与逻辑推演版本) (百度搜索知识增强的长思维链版本)

stable
88.5 / 100
B
📌 专家评测研判:搜索事实核验与慢思考思维链的创新结合,在思考过程中实时查证前提真伪,杜绝虚假假设推导。

百度在文心大模型基础上引入强化学习慢思考能力的最新版本,专注于结合百度搜索全网事实进行长思维链严谨推演。

🛡️ 核心护城河 (Moat):在长思维链思考过程中能够自主调用搜索引擎核实关键事实,避免纯粹基于静态权重死记硬背导致的逻辑前提错误
⚖️ 核心权衡限制 (Trade-off):偏向政企与教育工业端应用,对开源社区开放自建微调权重相对克制

公理维度测算分解

竞赛级数理与算法竞赛精度 (30%)89分

结合中文题库专项调优,在高考数学、物理大题解法上极其规范

自主反思纠错与长思维链展开 (25%)90分

长思维链展开平稳,步骤之间因果衔接逻辑清晰

复杂约束遵循与形式化逻辑证明 (20%)91分

结合法律法规多重约束条件,多维度合规审核细致

推理算力消耗与 Token 生成效率 (15%)88分

云端算力调度平稳,提供清晰的等待反馈机制

思考过程可见度与可解释性 (10%)88分

提供结构化的思考步骤说明与关键推导论据

✓ 共识优势清单 (Pros):
  • 推导步骤极其贴合国内教学与公文规范,给出的解题过程完全可直接用于教学辅导
  • 能自主对前提事实进行搜索验证,极大降低逻辑起点错误的尴尬
⚠ 权衡与注意事项 (Cons):
  • 代码竞赛级底层算法重构能力相比 DeepSeek 与 o3 略显稳妥
#14

百川智能 Baichuan-Reasoner (复杂医学与法律逻辑链条慢思考推理模型) (垂直行业临床诊断级慢思考先锋)

stable
87.8 / 100
B
📌 专家评测研判:垂直专精慢思考的典范,模拟三甲医院专家多步鉴别诊断与排查思维链,专业医学逻辑极其严谨。

百川智能推出的长思维链推理模型,专门在海量临床医学病理推理、鉴别诊断与复杂法律抗辩逻辑上进行强化学习训练。

🛡️ 核心护城河 (Moat):在医学鉴别诊断思维链中能够像三甲医院专家一样列出多种疑似病症、排查依据与排除逻辑,专业度极高
⚖️ 核心权衡限制 (Trade-off):主要侧重医疗、生物医药与法律专业深度推理,在纯粹游戏代码编写上非其第一主场

公理维度测算分解

竞赛级数理与算法竞赛精度 (30%)88分

在执业医师考试与生物医学竞赛题解上准确率拔群

自主反思纠错与长思维链展开 (25%)91分

经典排查式思维链,推演多重并发症的可能性与排除法则

复杂约束遵循与形式化逻辑证明 (20%)92分

严格遵循临床指南与法律程序法实体法双重约束

推理算力消耗与 Token 生成效率 (15%)86分

专业术语思维链较长,推理耗时中等

思考过程可见度与可解释性 (10%)90分

推导逻辑透明完整,每一步诊断假设均有明确循证依据

✓ 共识优势清单 (Pros):
  • 真正懂医学临床鉴别诊断的深层逻辑,绝不轻易下单一妄断,给出多维度审慎推导
  • 循证医学思维链非常符合专业医师的工作习惯,极具临床辅助参考价值
⚠ 权衡与注意事项 (Cons):
  • 非医疗法学通用场景的趣味幽默发挥相对克制
#15

腾讯混元 T1 (Hunyuan-T1 工业级强化学习深度思考模型) (腾讯自研长思维链工业推理新星)

rising
87.1 / 100
B
📌 专家评测研判:过程奖励模型(PRM)驱动的工业级慢思考代表,在复杂企业业务拆解与代码缺陷根因推导中表现出色。

腾讯混元团队针对数学、代码与长逻辑研发的强化学习慢思考大模型,在腾讯内部研发与智能座舱场景深度打磨。

🛡️ 核心护城河 (Moat):依托腾讯自研的大规模高质量合成数据与过程奖励模型(PRM),在复杂业务工作流拆解与代码排错上表现优异
⚖️ 核心权衡限制 (Trade-off):目前主要以内测与腾讯云企业服务形式上线,对独立个人极客的本地开源权重支持仍在推进

公理维度测算分解

竞赛级数理与算法竞赛精度 (30%)88分

常见中高阶算法题求解准确,代码边界条件考虑充分

自主反思纠错与长思维链展开 (25%)89分

基于过程奖励模型指导思维链生长,逻辑收敛方向明确

复杂约束遵循与形式化逻辑证明 (20%)89分

企业级复杂条件规则树匹配能力强,少见规则漏判

推理算力消耗与 Token 生成效率 (15%)88分

腾讯云自研算力调度加速,思考响应流畅

思考过程可见度与可解释性 (10%)87分

提供分步骤的思考拆解概要

✓ 共识优势清单 (Pros):
  • 对企业复杂业务规则和长条件分支判断极其细致,不易被多重嵌套绕晕
  • 工业级代码缺陷排查表现优异,能指出潜在的死锁与边界异常
⚠ 权衡与注意事项 (Cons):
  • 国际高难度纯理论数学竞赛题目冲击力相比满血 R1 略有差距
#16

Marco-o1 (阿里巴巴团队开源的大规模 CoT 慢思考多语言模型) (阿里国际团队开源的长思维链探索者)

rising
86.4 / 100
B
📌 专家评测研判:多语言慢思考的拓荒者,将长思维链引入跨文化语义消歧与多语境翻译,打破慢思考仅限理工科的思维定势。

由阿里巴巴国际数字商业团队开源的慢思考模型,专注于探索在非理科多语言翻译、跨文化推理与复杂常识任务中的慢思考价值。

🛡️ 核心护城河 (Moat):彻底打破‘慢思考只对数学代码有用’的偏见,将长思维链应用于复杂多语言语境消歧、文化隐喻翻译与复杂逻辑问答
⚖️ 核心权衡限制 (Trade-off):针对高难度纯符号微积分竞赛题的专项推导深度略逊于纯理工科特化模型

公理维度测算分解

竞赛级数理与算法竞赛精度 (30%)86分

基础数理逻辑过关,更侧重多语言综合常识推理

自主反思纠错与长思维链展开 (25%)89分

在思维链中反复推敲不同语言的文化内涵与用词地道性

复杂约束遵循与形式化逻辑证明 (20%)88分

对多语言格式规范与本土化法律禁忌词遵循严格

推理算力消耗与 Token 生成效率 (15%)88分

基于 7B 尺寸轻量易跑,个人电脑即可轻松把玩

思考过程可见度与可解释性 (10%)93分

开源开放,完整打印多语言思考推敲过程

✓ 共识优势清单 (Pros):
  • 轻量且完全开源,7B 尺寸就能让普通极客体验长思维链在多语言任务中的神奇效果
  • 对小语种、俚语与跨国文化梗的翻译推导极其精妙地道
⚠ 权衡与注意事项 (Cons):
  • 纯粹竞赛级高等数学证明深度相对中等
#17

DeepSeek-R1-Distill-Qwen-14B (单张 24G 显卡即可跑起的满血慢思考模型) (单卡 RTX 3090/4090 的终极性价比神模)

rising
85.7 / 100
B
📌 专家评测研判:单卡 24G 显存的绝配甜点,无需量化即可跑起高保真慢思考推理,平民硬件上的顶级数理大脑。

DeepSeek 官方蒸馏矩阵中的甜点尺寸,仅需 14B 参数量,单张 24GB 消费级显卡即可毫无压力跑起 FP16/INT8 满血推理。

🛡️ 核心护城河 (Moat):单卡 24G 显存毫无显存溢出风险,数学与逻辑推理水平在同尺寸中一骑绝尘,是本地私人助理与小微企业自建服务器的黄金尺寸
⚖️ 核心权衡限制 (Trade-off):针对极其庞大的超长万字连续长上下文分析能力略逊于 32B 与 70B 兄长

公理维度测算分解

竞赛级数理与算法竞赛精度 (30%)90分

在各类高中与大一微积分数学题目中展现出极高的解题正确率

自主反思纠错与长思维链展开 (25%)88分

具备完整的自审纠错机制,思维链条长达数千 Token 不跑偏

复杂约束遵循与形式化逻辑证明 (20%)87分

结构化输出与编程语法遵循度优秀

推理算力消耗与 Token 生成效率 (15%)94分

14B 推理速度极快,单卡可达 30+ tokens/s

思考过程可见度与可解释性 (10%)98分

100% 开源无保留,思维链条一览无余

✓ 共识优势清单 (Pros):
  • 单张 24G 显卡即刻满血运行,完全不用为了跑 70B 模型而砸钱组双卡或忍受深度量化精度折损
  • 吐字速度飞快,等待十几秒即可完整呈现数千字的深度解题推演
⚠ 权衡与注意事项 (Cons):
  • 对于超复杂跨领域几十步长逻辑推演偶有局部死循环微小概率
#18

Llama-3.1-Nemotron-70B-Reward (英伟达自研对齐与强化学习推理判断模型) (强化学习裁判员与推理奖励模型金牌标准)

stable
85 / 100
B
📌 专家评测研判:强化学习与慢思考对齐的金牌裁判,RewardBench 全球第一的辨别精度,为长思维链训练保驾护航。

英伟达自研的高性能奖励模型与对齐推理基座,在 RewardBench 官方榜单长期霸榜第一,专为指导长思维链对齐而生。

🛡️ 核心护城河 (Moat):具备极高的人类偏好对齐辨别力与逻辑错误识别能力,常被作为慢思考强化学习训练中的核心‘金牌裁判员’
⚖️ 核心权衡限制 (Trade-off):设计重心在于评估与裁判打分,直接用于日常开放域闲聊交互的文风偏严肃裁判风

公理维度测算分解

竞赛级数理与算法竞赛精度 (30%)89分

对数理答案与推理步骤中的细微逻辑硬伤识别极度敏锐

自主反思纠错与长思维链展开 (25%)87分

善于挑出其他模型思维链中的跳步、偷换概念与错误假设

复杂约束遵循与形式化逻辑证明 (20%)90分

对事实性与指令遵循有极高辨别标准

推理算力消耗与 Token 生成效率 (15%)86分

70B 标准体量,推理需要工业级硬件

思考过程可见度与可解释性 (10%)89分

给出详尽的评分理由与逻辑缺陷分析

✓ 共识优势清单 (Pros):
  • 审查其他大模型生成的代码和数学答案准确率极高,几乎逃不过它的法眼
  • 开源权重完全开放,是搭建自动化模型评估与自我演进系统的黄金工具
⚠ 权衡与注意事项 (Cons):
  • 作为生成式助手使用时说话过于严肃挑剔
#19

DeepSeek-R1-Distill-Qwen-7B (8GB 显存端侧电脑无压力离线跑起的慢思考小模型) (轻薄笔记本即可离线把玩的掌上推理奇迹)

rising
84.3 / 100
B
📌 专家评测研判:慢思考普及化的最小原子单元,7B 极限轻量身材让任何一台 8GB 内存电脑都能即刻拥有自主思考与纠错能力。

DeepSeek 官方蒸馏系列中体量最小、普及度最广的小钢炮,仅 7B 参数,8GB 内存轻薄笔记本甚至手机端都能流畅运行。

🛡️ 核心护城河 (Moat):把门槛踩碎到极限,哪怕是几年前没有独立显卡的普通电脑也能跑起真实的思维链推演,解决普通代数与代码逻辑题
⚖️ 核心权衡限制 (Trade-off):7B 小参数量使得思维链在面对极端复杂的国际奥赛题时偶尔出现‘自说自话’或转圈死循环

公理维度测算分解

竞赛级数理与算法竞赛精度 (30%)86分

常规初高中数学、物理大题与 LeetCode 中等题推导演算正确率良好

自主反思纠错与长思维链展开 (25%)86分

成功学会‘让我重新算一遍’的思考模式,简单错误能够自行修正

复杂约束遵循与形式化逻辑证明 (20%)85分

结构清晰,但超出其参数容量的超长约束偶有遗忘

推理算力消耗与 Token 生成效率 (15%)96分

7B 极度轻巧,吐字飞快毫无卡顿

思考过程可见度与可解释性 (10%)98分

完全透明开放的思维链过程

✓ 共识优势清单 (Pros):
  • 对硬件配置几乎毫无要求,老旧办公电脑或轻薄本随便下载就能跑起来
  • 完整的自省纠错思维链,是给中小学生演示大模型如何思考的绝佳教材
⚠ 权衡与注意事项 (Cons):
  • 遇到高难度微积分或复杂系统架构设计等难题时力不从心
#20

Skywork-o1 (天工自研强化学习数学与代码深度长思考模型) (开源慢思考技术路线的积极探索先锋)

stable
83.5 / 100
B
📌 专家评测研判:开源长思维链的扎实工程贡献者,开源的技术文档与模型权重为国内开发者探索强化学习慢思考增添了重要基石。

昆仑万维天工大模型团队研发的强化学习慢思考开源模型,在数学竞赛解题与多步骤逻辑规划上进行了深度实验。

🛡️ 核心护城河 (Moat):开源提供完整的训练思路与过程监督数据清洗方法,为国内开源社区复现类 o1 范式提供了扎实的技术沉淀
⚖️ 核心权衡限制 (Trade-off):社区衍生生态与周边一键整合包丰富度相比 DeepSeek 庞大生态略显小众

公理维度测算分解

竞赛级数理与算法竞赛精度 (30%)86分

数学题解过程清晰规范,公式步骤书写标准完整

自主反思纠错与长思维链展开 (25%)86分

展现出长思维链推演与阶段性反思特征

复杂约束遵循与形式化逻辑证明 (20%)84分

常规编程与逻辑题执行稳定

推理算力消耗与 Token 生成效率 (15%)88分

推理资源消耗适中,部署顺畅

思考过程可见度与可解释性 (10%)92分

开源开放,思考过程完整展现

✓ 共识优势清单 (Pros):
  • 团队开源态度真诚,公开了大量关于如何训练长思维链模型的细节心得
  • 在初等数论和代数几何题型中展现出扎实的推演能力
⚠ 权衡与注意事项 (Cons):
  • 生态知名度与第三方工作流绑定度相比头部巨头有差距

同族相关天梯推荐 (Related Benchmark Ladders)

同属 思考大模 家族关联考据
空间眼镜2026 年度

2026年度轻量化Micro-OLED巨幕观影与光波导空间计算AR智能眼镜十强天梯榜

基于微米级Micro-OLED光机亮度、衍射光波导透光率、佩戴近视屈光度调节及3DoF/6DoF空间悬停投屏稳定性,TopKG评测实验室严选出2026年度十强AR智能眼镜。

查看完整天梯
全景头显2026 年度

2026年度超清Micro-OLED全彩透视与空间计算VR/MR混合现实头显十强天梯榜

基于单眼4K+超清角分辨率(PPD)、高保真超低延迟全彩透视(VST)、毫米级内外追踪及佩戴重心人体工学平衡,TopKG评测实验室严选出2026年度十款混合现实VR/MR头显设备。

查看完整天梯
霍尔手柄2026 年度

2026年度专业电竞级无漂移霍尔摇杆与微动机械按键无线游戏手柄十强天梯榜

基于霍尔电磁感应无接触零漂移摇杆、机械微动按键回弹触发、2000Hz无线超低轮询率及六轴体感映射,TopKG评测实验室对主流专业无线电竞手柄进行综合评测,发布2026年度十强榜单。

查看完整天梯
开源掌机2026 年度

2026年度极客开源复古掌机与高性能PC Windows游戏掌机十强天梯榜

基于便携式APU芯片能效比、OLED高刷屏幕色彩与可变刷新率、霍尔磁感摇杆微控手感及长效续航工学散热,TopKG评测实验室严选出2026年度十强游戏掌机。

查看完整天梯
开源数仓2026 年度

2026年度开源OLAP实时数仓与分布式列存分析型数据库十强天梯榜

针对海量PB级并发分析、向量混合检索支持、存储计算解耦架构及SQL方言兼容度,TopKG评测实验室严选出2026年度十强开源数据仓库与分析型数据库系统。

查看完整天梯
桌面发行2026 年度

2026年度极客开发者桌面与工作站Linux操作系统发行版十强天梯榜

基于现代硬件驱动开箱即用兼容性、Wayland桌面环境平滑度、包管理器生态丰富度及开发者工作流敏捷性,TopKG评测实验室权威甄选出2026年度十强Linux桌面操作系统发行版。

查看完整天梯