VIZ LAB / 266

长推理大模型可视化实验室

从思维链到GRPO强化对齐,从推理时计算到双向语音推理 — 把长推理大模型(LRM)的核心机制以可交互 SVG 呈现。

01

思维链推理:从直接回答到逐步推理

传统模型直接给出答案,长推理模型(LRM)通过显式思维链(Chain-of-Thought)逐步分解问题。点击切换不同推理模式,观察推理深度对结果的影响。

CoT
Chain-of-Thought
显式中间推理步骤
直接回答
Direct Answer
跳过推理 · 易出错
推理深度
Depth = 步骤数
越深越准确但越慢
代表模型
o1 / R1 / Gemini
长推理范式
02

GRPO强化对齐:群体相对策略优化

GRPO(Group Relative Policy Optimization)对同一问题采样多个回答,用奖励模型打分,以组内相对优势更新策略。点击观察多轮自我纠错的训练过程。

GRPO
Group Relative Policy
组内相对优势更新
奖励模型
Reward Model
对推理轨迹打分
优势
无需Critic网络
比PPO更省显存
代表
DeepSeek-R1
GRPO训练长推理
03

推理时计算:算力换来智能

Test-Time Compute 指在推理阶段投入更多计算来提升性能。增加思考时间(生成更多推理token)可以显著提高准确率。点击查看思考时间与准确率的关系。

TTC
Test-Time Compute
推理时增加算力
思考token
Thinking Tokens
显式推理预算
缩放律
近似对数增长
边际收益递减
最优分配
难度自适应
简单题少想难题多想
04

多解搜索:隐空间探索与推理树

LED隐空间探索解码在隐空间中搜索多条推理路径。单次推理只有一条路径,多次采样可探索更广的解空间。点击对比单次推理、多次采样与推理树。

LED
Latent Exploration Decoding
隐空间探索解码
单次
Greedy Decoding
贪心 · 单路径
多次采样
N-Sample Voting
投票选最优
推理树
Tree-of-Thought
分支搜索+回溯
05

自我纠错循环:推理-验证-纠错闭环

长推理模型通过"推理→验证→纠错→再推理"的闭环不断修正错误。验证器检测推理中的错误,纠错器修复并重新推理。点击启动闭环动画。

推理
Reasoning
生成候选解
验证
Verification
检测推理错误
纠错
Correction
修复错误步骤
闭环
Closed Loop
迭代直到收敛
06

双向语音推理:Bidi1并行实时响应

Bidi1是双向并行语音模型,可同时听和说,支持实时打断。传统语音模型必须"听完→处理→回答"单向串行,Bidi1消除单向等待。点击对比单向与双向语音交互。

Bidi1
Bidirectional Voice
双向并行语音模型
单向
Listen→Think→Speak
串行 · 有等待延迟
双向
Listen∥Speak
并行 · 零等待
打断
Barge-in
实时打断响应
07

推理深度vs广度:策略对比

深度推理沿着单条长链路深入思考,广度推理探索多条并行路径。不同问题适合不同策略:数学题需要深度,创意题需要广度。点击对比两种推理策略。

深度
Deep Reasoning
长链路 · 单路径深挖
广度
Breadth Reasoning
多路径 · 并行探索
深度优势
数学/逻辑/证明
需要严格推导
广度优势
创意/规划/搜索
需要发散思维
08

推理能力基准:多维度评估

长推理大模型在数学(AIME)、代码(Codeforces)、定理证明、科研推理等基准上表现卓越。点击查看不同能力维度的评估对比。

数学
AIME / MATH
竞赛级数学推理
代码
Codeforces / SWE
算法与工程能力
定理证明
Lean / Coq
形式化数学证明
科研推理
GPQA / FrontierMath
博士级科研问题