OpenAIo4mini–OpenAI推出的小型推理模型
AI工具百科：
OpenAI o4mini是什么
OpenAI o4mini 是OpenAI推出的小型推理模型，专为快速、经济高效的推理而优化。OpenAI o4mini 在数学、编程和视觉任务方面表现出色，是 AIME 2024 ...
OlympicArena–上海交大联合AILab等推出的多学科认知推理基准测试框架
AI工具百科：
OlympicArena是什么
OlympicArena是上海交通大学、上海AI Lab、苏州大学和上海交通大学生成式人工智能实验室（GAIR Lab）联合推出的多学科认知推理基准测试框架。
Oly...
APB–清华联合腾讯等机构推出的分布式长上下文推理框架
AI工具百科：
APB是什么
APB（Accelerating Distributed LongContext Inference by Passing Compressed Context Blocks across GPUs）是清华大学等机构联合提出的分布式长上下文推理框...
DeepSeekProverV2–DeepSeek推出的开源数学推理大模型
AI工具百科：
DeepSeekProverV2是什么
DeepSeekProverV2是深度求索团队 DeepSeek 开源的专注于数学推理的超大规模语言模型。包含两个版本：DeepSeekProverV2671B 和 DeepSeekProverV27...
ReasonGraph–开源可视化与分析LLMs推理过程的AI工具
AI工具百科：
ReasonGraph是什么
ReasonGraph 是用在可视化和分析大语言模型（LLMs）推理过程的开源网络平台。ReasonGraph支持超过 50 种主流模型（如 Anthropic、OpenAI、Google 等）...
ChatDLM–QafindLabs推出的全球最快扩散语言模型
AI工具百科：
ChatDLM是什么
ChatDLM是 Qafind Labs推出的全球最快扩散语言模型，核心定位是突破传统Transformer架构在长上下文处理与推理效率上的瓶颈。模型融合了“区块扩散（Block D...
FoxBrain–鸿海研究院推出的推理大语言模型
AI工具百科：
FoxBrain是什么
FoxBrain 是鸿海研究院推出的繁体中文大型语言模型（LLM），具有强大的推理能力。基于 Meta Llama 3.1 架构，拥有 70B 参数，专注于数学和逻辑推理领域。...
MetaStoneL17B–元石智算推出的轻量级推理模型
AI工具百科：
MetaStoneL17B是什么
MetaStoneL17B 是 MetaStone 系列中的轻量级推理模型，专为提升复杂下游任务的性能而设计。在数学和代码等核心推理基准测试中达到了并行模型的顶尖...
SkyworkR1V2.0–昆仑万维开源的新版多模态推理模型
AI工具百科：
SkyworkR1V 2.0是什么
SkyworkR1V 2.0 是昆仑万维最新开源的多模态推理模型，专为复杂推理任务设计，具备强大的视觉与文本推理能力。模型基于混合强化学习和多模态奖励模...
StepR1VMini–阶跃星辰最新推出的多模态推理模型
AI工具百科：
StepR1VMini是什么
StepR1VMini 是阶跃星辰最新推出的多模态推理模型。支持图文输入和文字输出，具备良好的指令遵循和通用能力，能高精度感知图像完成复杂推理任务。模型...
KiminaProver–月之暗面联合Numina推出的数学定理证明模型
AI工具百科：
KiminaProver是什么
KiminaProver是月之暗面与Numina团队合作推出的大型数学定理证明模型，模型采用大规模强化学习训练，能以类似人类的方式进行推理，在Lean 4语言中严...
AReaLboba–蚂蚁联合清华开源的强化学习训练框架
AI工具百科：
AReaLboba是什么
AReaLboba 是蚂蚁技术研究院和清华大学联合推出的开源强化学习训练框架。AReaLboba是 AReaL 的升级版本，降低了强化学习训练门槛，用户能轻松训练推理模...
