推理

1. 首页
2. 推理

DeepSeek R1

DeepSeek R1-Zero 是一款基于纯强化学习训练的推理模型，无需监督微调即可实现高效推理。在 AIME 2024 竞赛中 Pass@1 分数达到 71.0%，展现强大逻辑与数学推理能力。支持长上下文处理，具备自我进化、多任务泛化等特性，并通过开源和蒸馏技术推动模型应用与优化。

AI项目与工具 2025年06月12日 34 点赞 0 评论 187 浏览

Agentic Reasoning

Agentic Reasoning是由牛津大学开发的增强大型语言模型推理能力的框架，通过整合外部工具（如网络搜索、代码执行和结构化记忆）解决复杂的多步骤推理问题。其核心在于动态调用代理，如Mind Map代理、网络搜索代理和代码代理，以提升推理效率与准确性。该框架在博士级科学推理和深度研究任务中表现优异，具备实时信息检索、逻辑关系组织和计算分析支持等功能，适用于学术、医学、金融等多个领域。

AI项目与工具 2025年06月12日 36 点赞 0 评论 182 浏览

OpenMath

OpenMath-Nemotron是由英伟达推出的一系列开源数学推理模型，专为解决复杂数学问题设计，涵盖从基础到奥林匹克级别的题目。其基于大规模数据集OpenMathReasoning训练，具备长推理、多模式推理和工具集成推理能力。模型支持多种应用场景，包括数学教育、竞赛训练、学术研究和工业应用。项目提供GitHub、HuggingFace和arXiv等资源，适用于需要高精度数学推理的AI系统开发

AI项目与工具 2025年06月11日 56 点赞 0 评论 181 浏览

OLMoE

OLMoE是一款基于混合专家（MoE）架构的开源大型语言模型，具有高效的稀疏激活机制和快速训练能力。它支持自然语言理解、文本生成、多任务处理等功能，并广泛应用于聊天机器人、内容创作、情感分析和问答系统等领域，通过预训练和微调实现高精度任务执行。 ---

AI项目与工具 2025年06月12日 85 点赞 0 评论 180 浏览

Devika

Devika是一款开源的AI编程工具，支持自然语言指令解析、复杂任务分解以及跨平台代码生成。凭借其先进的AI搜索与推理能力，Devika能够协助开发者高效完成从概念到实现的全过程，涵盖新功能开发、代码重构、Bug修复及自动化测试等多个应用场景。同时，其模块化架构便于扩展，确保了在不同项目中的灵活性与实用性。

AI项目与工具 2025年06月12日 67 点赞 0 评论 179 浏览

Step-1V

覆盖了从个人使用到企业级应用的多个方面的多模态大模型。

Ai平台模型 1970年01月01日 0 点赞 0 评论 179 浏览

HiDiffusion

大幅提升扩散模型的图像生成质速度提升6倍，由字节跳动的研究团队开发，只需添加一行代码即可

Ai开源项目 2025年06月05日 10 点赞 0 评论 175 浏览

Kimi探索版

Kimi探索版是一款基于深度推理的AI搜索工具，具备强大的搜索、分析及自我优化能力。它能够将复杂问题分解成多个子问题，通过逐步推理与数据整合生成精确解答，并支持数学建模、编程处理及多语言交流。此外，其自我反思机制进一步提升了答案的准确性，广泛适用于学术研究、市场分析、学习辅导和技术支持等场景。

AI项目与工具 2025年06月12日 24 点赞 0 评论 173 浏览

LaDeCo

LaDeCo是一款基于多模态模型的自动化图形设计工具，通过分层规划与逐步生成的方式，实现从多模态输入到高质量设计输出的转换。其核心功能涵盖层规划、层级设计生成、分辨率调整、元素填充及多样化设计输出，广泛适用于设计师、研究人员、评估人员及开发者等群体，助力提升设计效率与质量。

AI项目与工具 2025年06月12日 53 点赞 0 评论 172 浏览

Math24o

Math24o 是 SuperCLUE 开源的高中奥林匹克数学竞赛级别数学推理测评基准，基于 2024 年全国高中数学竞赛预赛试题，包含 21 道高难度解答题。评测通过程序自动判断答案一致性，客观评估模型正确率。支持自动化评估流程，适用于教育、学术研究和模型优化等领域，为数学推理能力的提升提供重要工具。

AI项目与工具 2025年06月12日 22 点赞 0 评论 169 浏览