逻辑推理
  1. 首页
  2. 逻辑推理

列表

Skywork o1

Skywork o1

Skywork o1是一款具备中文逻辑推理能力的大规模预训练模型，其核心优势在于内嵌思考、规划和反思能力，显著提升了复杂任务的推理性能。该模型基于开源Llama架构，同时提供增强版以满足更高要求的应用场景。它适用于技术开发者、企业决策者、教育工作者、内容创作者及客户服务等多个领域，助力创新应用开发和高效决策支持。 ---
AI项目与工具 2025年06月12日
讯飞星辰MaaS

讯飞星辰MaaS

讯飞星辰MaaS是一个AI大模型定制微调平台，提供从数据管理到模型微调、评估、托管及推理服务的全流程支持。平台支持多种行业知名模型的零代码微调，具有高度灵活性和可扩展性，适用于逻辑推理、数据管理和多模态应用等场景，为企业提供高效、专业的AI解决方案。
AI项目与工具 2025年06月12日
360Zhinao2

360Zhinao2

360Zhinao2-7B是一款由360公司开发的大规模AI语言模型，具备强大的语言理解和生成能力，支持多语言交流和复杂的数学逻辑推理。其核心特性包括灵活的上下文处理、高效的训练技术和广泛的适用性，可应用于智能客服、教育辅助、内容创作和信息检索等多个领域。
AI项目与工具 2025年06月12日
360gpt2

360gpt2

360gpt2-o1是一款专注于数学与逻辑推理的人工智能大模型，具备强大的推理能力和深度学习能力。它通过合成数据优化、分阶段训练及“慢思考”范式提升了模型的表现，尤其在数学竞赛和基础数学评测中成绩显著。此外，模型还支持编程问题解决、复杂问题分析及教育领域应用，为企业决策提供逻辑支持。
AI项目与工具 2025年06月12日
KAG

KAG

KAG是由蚂蚁集团开发的专业领域知识服务框架，通过知识增强技术提升大型语言模型在特定领域的问答性能。它结合知识图谱与向量检索，优化知识表示与推理过程，支持逻辑推理、多跳问答等功能，提升准确性和效率。适用于金融风控、医疗健康、智能客服、知识管理等多个场景，具备强大的语义理解和跨领域应用能力。
AI项目与工具 2025年06月12日
Step R

Step R

Step R-mini是一款由阶跃星辰推出的推理模型，具备主动规划、尝试与反思能力，适用于数学、逻辑推理、代码开发及文学创作等多种场景。模型基于慢思考机制，支持深度推理与多步骤验证，表现优异。其技术特点包括强化学习、数据质量优化、测试时计算扩展及模型规模增长，实现文理兼修，广泛应用于教育、科研、企业办公等领域。
AI项目与工具 2025年06月12日
TeleAI

TeleAI

TeleAI-t1-preview是中国电信人工智能研究院开发的复杂推理大模型，具有强大的数学与逻辑推理能力。它在多项国际评测中表现优异，尤其在数学竞赛和古籍解析方面表现突出。模型融合了强化学习与思考范式，支持从文言文到现代汉语的数学题解析，并具备策略推理与单位换算等功能。该模型即将上线天翼AI开放平台，未来将在教育、科研等领域广泛应用。
AI项目与工具 2025年06月12日
Lumina

Lumina

Lumina-Image 2.0 是一款开源图像生成模型，基于扩散模型与 Transformer 架构，具有 26 亿参数。它能根据文本描述生成高质量、多风格的图像，支持中英文提示词，并具备强大的复杂提示理解能力。模型支持多种推理求解器，适用于艺术创作、摄影风格图像生成及逻辑推理场景，兼具高效性和灵活性。
AI项目与工具 2025年06月12日
腾讯混元T1

腾讯混元T1

T1（Thinker）是腾讯混元推出的深度思考模型，支持逻辑推理与联网搜索，具备高速响应和长文本处理能力。采用Hybrid-Mamba-Transformer架构，提升推理效率与准确性。适用于教育、医疗、市场分析等多个领域，输出简洁、幻觉低，适合复杂指令处理和多任务场景。
AI项目与工具 2025年06月12日
Agentic Reasoning

Agentic Reasoning

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