解决 - 智狐AI导航

Sky

Sky-T1是由加州大学伯克利分校NovaSky团队开发的开源推理AI模型，具备高性价比和强大推理能力。其训练成本仅450美元，数据来源经过优化处理，可在数学、编程和科学领域表现出色。模型支持用户从零复现，适用于教育、科研及软件开发等场景。在MATH500和LiveCodeBench测试中，Sky-T1表现优于部分早期OpenAI模型，展现出良好的实用价值。

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

Robin AI

Robin AI是一款专注于法律领域的AI工具，通过自然语言处理和机器学习技术，帮助用户高效审查合同、识别风险并优化管理流程。其核心功能包括合同即时审查、条款查询、集成Word、合同分类管理及数据分析。适用于法律事务所、企业法务、金融、房地产和供应链等多个行业，提升合同处理效率与合规性。价格方案灵活，涵盖个人、专业及企业级用户需求。

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

瑞智病理大模型

瑞智病理大模型（RuiPath）是由上海交通大学医学院附属瑞金医院与华为联合开发的国产多模态病理诊断系统，覆盖中国90%的常见癌种及部分罕见病。通过整合图像、文本等多源数据，实现高效、精准的辅助诊断，支持交互式审核流程，提升诊断效率与准确性。模型基于深度学习与华为DCS AI平台，适用于临床诊断、基层医疗、医学教育等多个场景，推动病理诊断智能化发展。

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

PlanGEN

PlanGEN 是谷歌研发的多智能体协作框架，用于解决复杂问题的规划与推理。它包含约束、验证和选择三大智能体，支持多智能体协作、约束引导、算法自适应选择等功能。提供四种实现方式，适用于不同复杂度任务，如日程安排、数学证明、自动驾驶等。具有模型不可知性，可与多种大语言模型结合，具备良好的可扩展性和灵活性。

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

万智

万智是零一万物推出的企业级AI解决方案，支持快速部署大模型，兼容多种硬件和架构，具备本地化部署能力，保障数据安全。平台集成RAG、联网搜索等功能，提升企业决策效率，并提供模型微调工具以满足垂直领域需求。采用Rewrite和Rerank技术优化输出准确性，显著提升性能。

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

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

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